Zaoyu Chen
- Papers
- 3
Cite
Notes
Only stored in your browser.
3papers
Authored papers
3Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
arXiv 2025
Teaching LLMs According to Their Aptitude: Adaptive Reasoning for Mathematical Problem Solving
arXiv 2025
Probing Scientific General Intelligence of LLMs with Scientist-Aligned Workflows
arXiv 2025
Affiliations
No known affiliations.
Frequent co-authors
10from 3 papers