Picture for Xinde Yu

Xinde Yu

Correctness Learning: Deductive Verification Guided Learning for Human-AI Collaboration

Add code
Mar 10, 2025
Viaarxiv icon