2 papers
cs.CV2026
Information Coordination as a Bridge: A Neuro-Symbolic Architecture for Reliable Autonomous Driving Scene Understanding
Shuo Liu, Lei Shi, Haowen Liu +3
Reliable autonomous driving requires scene understanding that is semantically consistent across heterogeneous sensors and verifiable at the reasoning stage. However, many recent LL…
cs.AI2025
Correctness Learning: Deductive Verification Guided Learning for Human-AI Collaboration
Zhao Jin, Lu Jin, Yizhe Luo +5
Despite significant progress in AI and decision-making technologies in safety-critical fields, challenges remain in verifying the correctness of decision output schemes and verific…