Mengzhou Sun
- Proving Olympiad Algebraic Inequalities without Human Demonstrations
2024/06/20 by Chenrui Wei, Wei, Chenrui, Mengzhou Sun +3 · 3 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