TY  - RPRT
TI  - Correctness Learning: Deductive Verification Guided Learning for Human-AI Collaboration
AU  - Zhao Jin
AU  - Lu Jin
AU  - Yizhe Luo
AU  - Shuo Feng
AU  - Yucheng Shi
AU  - Kai Zheng
AU  - Xinde Yu
AU  - Mingliang Xu
PY  - 2025
UR  - https://arxiv.org/abs/2503.07096
ID  - 2503.07096
ER  -