Sun, Mengzhou
- Proving Olympiad Algebraic Inequalities without Human Demonstrations
2024/06/20 by Chenrui Wei, Mengzhou Sun, Wei, Chenrui +3 · 6 citations
Chemistry · Social Sciences · #03B35 #68T05 #68T20 #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #History and advancements in chemistry #I.2.3 #I.2.6 #I.2.8 #Mathematics Education and Teaching Techniques
- REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
2025/05/27 by Ziju Shen, Shen, Ziju, Fanyi Yang +22 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing