PPaperPicks

Haotian Zhang

2 papers at tracked venues · 2 at CORE A* · active 20252025

Venues

Frequent coauthors

Papers

  1. MathMistake Checker: A Comprehensive Demonstration for Step-by-Step Math Problem Mistake Finding by Prompt-Guided LLMs
  2. Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine