Sun, Haozhe
- Autoformalization in the Era of Large Language Models: A Survey
2025/05/29 by Ke Weng, Weng, Ke, Lun Du +11 · 10 citations
Computer Science · Mathematics · Social Sciences · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #History and Theory of Mathematics #Mathematics Education and Teaching Techniques #Mathematics, Computing, and Information Processing
- Automated Formalization via Conceptual Retrieval-Augmented LLMs
2025/08/09 by Weiming Lü, Lun Du, Lu, Wangyue +15 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, programming, and type systems #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing #Polynomial and algebraic computation