Tiancheng Zhang
- Differentiable Discrete Elastic Rods for Real-Time Modeling of Deformable Linear Objects
2024/06/09 by Yizhou Chen, Yiting Zhang, Chen, Yizhou +11 · 5 citations
Earth and Planetary Sciences · Engineering · #Advanced Numerical Analysis Techniques #FOS: Computer and information sciences #Geological Modeling and Analysis #Manufacturing Process and Optimization #Robotics (cs.RO)
- 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
- 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