Siyang Gao
2 papers · Latest:
Artificial Intelligence
Learning to Reason with Insight for Informal Theorem Proving
A new framework and dataset enable LLMs to perform insightful informal theorem proving by learning to recognize core techniques.
2604.16278
Unified Precision-Guaranteed Stopping Rules for Contextual Learning
This paper introduces unified, precision-guaranteed stopping rules for contextual learning, enabling efficient data collection with assured policy accuracy.
2604.07913
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.