Roozbeh Yousefzadeh

30 papers A 1Journal 26Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems. Trans. Mach. Learn. Res. Roozbeh Yousefzadeh, Xuenan Cao
2025	J	`jnl`	APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning. CoRR Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh
2025	J	`jnl`	Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs. CoRR Roozbeh Yousefzadeh, Xuenan Cao
2025	J	`jnl`	Mathesis: Towards Formal Theorem Proving from Natural Languages. CoRR Xuejun Yu, Jianyuan Zhong, Zijin Feng, Pengyi Zhai, Roozbeh Yousefzadeh, Wei Chong Ng, Haoxiong Liu, Ziyi Shou, Jing Xiong, Yudong Zhou, Claudia Ong, Austen Jeremy Sugiarto, Yaoxi Zhang, Wai Ming Tai, Huan Cao, Dongcai Lu, Jiacheng Sun, Qiang Xu, Shen Xin, Zhenguo Li
2025	J	`jnl`	miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward. CoRR Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh
2024	J	`jnl`	A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems. CoRR Roozbeh Yousefzadeh, Xuenan Cao
2023	J	`jnl`	An Ambiguity Measure for Recognizing the Unknowns in Deep Learning. CoRR Roozbeh Yousefzadeh
2023	J	`jnl`	Extrapolation and AI transparency: Why machine learning models should reveal when they make decisions beyond their training. Big Data Soc. Xuenan Cao, Roozbeh Yousefzadeh
2023	J	`jnl`	Large Language Models' Understanding of Math: Source Criticism and Extrapolation. CoRR Roozbeh Yousefzadeh, Xuenan Cao
2022	—	`conf`	Community Detection in Medical Image Datasets: Using Wavelets and Spectral Methods. MICAD Roozbeh Yousefzadeh
2022	J	`jnl`	Decision boundaries and convex hulls in the feature space that deep learning functions learn from images. CoRR Roozbeh Yousefzadeh
2022	J	`jnl`	Deep Learning Generalization, Extrapolation, and Over-parameterization. CoRR Roozbeh Yousefzadeh
2022	J	`jnl`	Over-parameterization: A Necessary Condition for Models that Extrapolate. CoRR Roozbeh Yousefzadeh
2022	J	`jnl`	Should Machine Learning Models Report to Us When They Are Clueless? CoRR Roozbeh Yousefzadeh, Xuenan Cao
2022	J	`jnl`	To what extent should we trust AI models when they extrapolate? CoRR Roozbeh Yousefzadeh, Xuenan Cao
2021	J	`jnl`	A Homotopy Algorithm for Optimal Transport. CoRR Roozbeh Yousefzadeh
2021	J	`jnl`	A Sketching Method for Finding the Closest Point on a Convex Hull. CoRR Roozbeh Yousefzadeh
2021	J	`jnl`	Community Detection in Medical Image Datasets: Using Wavelets and Spectral Methods. CoRR Roozbeh Yousefzadeh
2021	J	`jnl`	Deep Learning Generalization and the Convex Hull of Training Sets. CoRR Roozbeh Yousefzadeh
2021	J	`jnl`	Extrapolation Frameworks in Cognitive Psychology Suitable for Study of Image Classification Models. CoRR Roozbeh Yousefzadeh, Jessica A. Mollick
2021	J	`jnl`	Federated Learning without Revealing the Decision Boundaries. CoRR Roozbeh Yousefzadeh
2020	J	`jnl`	Auditing and Debugging Deep Learning Models via Decision Boundaries: Individual-level and Group-level Analysis. CoRR Roozbeh Yousefzadeh, Dianne P. O'Leary
2020	—	`conf`	Deep learning interpretation: Flip points and homotopy methods. MSML Roozbeh Yousefzadeh, Dianne P. O'Leary
2020	J	`jnl`	Using Wavelets and Spectral Methods to Study Patterns in Image-Classification Datasets. CoRR Roozbeh Yousefzadeh, Furong Huang
2020	J	`jnl`	Using wavelets to analyze similarities in image datasets. CoRR Roozbeh Yousefzadeh
2019	—	`—`	Interpreting Machine Learning Models and Application of Homotopy Methods. Roozbeh Yousefzadeh
2019	J	`jnl`	Interpreting Neural Networks Using Flip Points. CoRR Roozbeh Yousefzadeh, Dianne P. O'Leary
2019	J	`jnl`	Investigating Decision Boundaries of Trained Neural Networks. CoRR Roozbeh Yousefzadeh, Dianne P. O'Leary
2019	A	`conf`	Learning Diverse Gaussian Graphical Models and Interpreting Edges. SDM Roozbeh Yousefzadeh, Diane Oyen, Nina Lanza
2019	J	`jnl`	Refining the Structure of Neural Networks Using Matrix Conditioning. CoRR Roozbeh Yousefzadeh, Dianne P. O'Leary