Yousefzadeh, Roozbeh

1. APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
   2025/05/09 by Azim Ospanov, Farzan Farnia, Ospanov, Azim +3 · 8 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
2. Investigating Decision Boundaries of Trained Neural Networks
   2019/08/07 by Yousefzadeh, Roozbeh, O'Leary, Dianne P · 1 citation
   #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
3. Decision boundaries and convex hulls in the feature space that deep learning functions learn from images
   2022/02/05 by Yousefzadeh, Roozbeh · 1 citation
   #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)
4. Mathesis: Towards Formal Theorem Proving from Natural Languages
   2025/06/08 by Yu Xuejun, Jianyuan Zhong, Xuejun, Yu +32 · 5 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Topic Modeling
5. Large Language Models' Understanding of Math: Source Criticism and Extrapolation
   2023/11/12 by Yousefzadeh, Roozbeh, Cao, Xuenan · 1 citation
   #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)
6. An Ambiguity Measure for Recognizing the Unknowns in Deep Learning
   2023/12/11 by Yousefzadeh, Roozbeh · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
7. A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems
   2024/11/28 by Yousefzadeh, Roozbeh, Cao, Xuenan, Ospanov, Azim · 2 citations
   #FOS: Computer and information sciences #Machine Learning (cs.LG)