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…