Zhang, Tiancheng
- Autoformalization in the Era of Large Language Models: A Survey
2025/05/29 by Ke Weng, Lun Du, Weng, Ke +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
- Differentiable Discrete Elastic Rods for Real-Time Modeling of Deformable Linear Objects
2024/06/09 by Chen, Yizhou, Zhang, Yiting, Brei, Zachary +4 · 4 citations
#FOS: Computer and information sciences #Robotics (cs.RO)
- Can't Touch This: Real-Time, Safe Motion Planning and Control for Manipulators Under Uncertainty
2023/01/30 by Jonathan Michaux, Michaux, Jonathan, Patrick Holmes +17 · 1 citation
Computer Science · #Formal Methods in Verification #Robotic Path Planning Algorithms #AI-based Problem Solving and Planning
- 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)