Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
What Will Happen Next: Large Models-Driven Deduction for Emergency Instances
Zhengqing Hu, Dong Chen, Junkun Yuan +6
Traditional simulation methods reproduce occurred emergency instances through presetting to assist people in risk assessment and emergency decision-making. However, due to the lack…
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…