Lu, Wangyue
- 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 Lu, Wangyue, Du, Lun, Li, Sirui +6 · 3 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)