Yansi Li
According to our database1,
Yansi Li
authored at least 5 papers
between 2024 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning.
CoRR, May, 2025
Dancing with Critiques: Enhancing LLM Reasoning with Stepwise Natural Language Self-Critique.
CoRR, March, 2025
2024