TY  - RPRT
TI  - An LLM-Orchestrated Neuro-Symbolic Framework for Verifying Diagnostic Signal Reachability in Electronic Systems
AU  - Heba Jaradat
AU  - Mohammed-Khalil Ghali
AU  - Saurabh Kulkarni
AU  - Rohan Kulkarni
AU  - Sangwon Yoon
PY  - 2026
UR  - https://arxiv.org/abs/2611.07040
ID  - 2611.07040
ER  -