Roozbeh Yousefzadeh
- APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
2025/05/09 by Azim Ospanov, Ospanov, Azim, Farzan Farnia +3 · 10 citations
Computer Science · Materials Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning in Materials Science #Mathematics, Computing, and Information Processing
- Decision boundaries and convex hulls in the feature space that deep learning functions learn from images
2022/02/05 by Roozbeh Yousefzadeh, Yousefzadeh, Roozbeh · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Optimization and Control (math.OC)
- Mathesis: Towards Formal Theorem Proving from Natural Languages
2025/06/08 by Yu Xuejun, Jianyuan Zhong, Xuejun, Yu +32 · 7 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Topic Modeling
- A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems
2024/11/28 by Roozbeh Yousefzadeh, Xuenan Cao, Yousefzadeh, Roozbeh +2 · 4 citations
Computer Science · Engineering · #AI-based Problem Solving and Planning #Artificial Intelligence in Education #FOS: Computer and information sciences #Machine Learning (cs.LG) #Manufacturing Process and Optimization
- Large Language Models' Understanding of Math: Source Criticism and Extrapolation
2023/11/12 by Roozbeh Yousefzadeh, Xuenan Cao, Yousefzadeh, Roozbeh +1 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO) #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Topic Modeling