Haozhe Sun
- 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ü, Lu, Wangyue, Lun Du +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
- The Research and Development of New Electronics System and its Testing on the JNE-1ton Prototype Detector
2026/07/21 by Haoyan Yang, Yuzi Yang, Yapeng Wang +10
Physics and Astronomy · #physics.ins-det #hep-ex