P
PaperPicks
Conferences
Haotian Zhang
2 papers at tracked venues · 2 at CORE A* · active 2025–2025
DBLP profile ↗
ORCID search ↗
Venues
AAAI
×1
ACL
×1
Frequent coauthors
Tianyang Zhang
DBLP profile ↗
ORCID search ↗
×1
Zhuoxuan Jiang
DBLP profile ↗
ORCID search ↗
×1
Papers
MathMistake Checker: A Comprehensive Demonstration for Step-by-Step Math Problem Mistake Finding by Prompt-Guided LLMs
AAAI 2025
·
Tianyang Zhang
DBLP profile ↗
ORCID search ↗
Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine
ACL 2025
·
Zhuoxuan Jiang
DBLP profile ↗
ORCID search ↗