@article{correctnesslearningdeductiveverification,
  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},
  eprint = {2503.07096},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2503.07096v1},
}