@misc{indiciae2770d2a2e7ec,
  title = {Correctness Learning: Deductive Verification Guided Learning for Human-AI Collaboration},
  author = {Zhao Jin and Lu Jin and Yizhe Luo and Shuo Feng and Yucheng Shi and Kai Zheng and Xinde Yu and Mingliang Xu},
  year = {2025},
  url = {https://arxiv.org/abs/2503.07096},
  note = {Source identifier: 2503.07096}
}