Roozbeh Yousefzadeh

CoRR, July, 2025

Mathesis: Towards Formal Theorem Proving from Natural Languages.

[BibT_eX]

[DOI]

CoRR, June, 2025

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning.

[BibT_eX]

[DOI]

Azim Ospanov

Farzan Farnia

CoRR, May, 2025

A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems.

[BibT_eX]

[DOI]

Trans. Mach. Learn. Res., 2025

2023

Extrapolation and AI transparency: Why machine learning models should reveal when they make decisions beyond their training.

[BibT_eX]

[DOI]

Big Data Soc., January, 2023

An Ambiguity Measure for Recognizing the Unknowns in Deep Learning.

[BibT_eX]

[DOI]

CoRR, 2023

Large Language Models' Understanding of Math: Source Criticism and Extrapolation.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Should Machine Learning Models Report to Us When They Are Clueless?

[BibT_eX]

[DOI]

CoRR, 2022

Over-parameterization: A Necessary Condition for Models that Extrapolate.

[BibT_eX]

[DOI]

CoRR, 2022

Deep Learning Generalization, Extrapolation, and Over-parameterization.

[BibT_eX]

[DOI]

CoRR, 2022

Decision boundaries and convex hulls in the feature space that deep learning functions learn from images.

[BibT_eX]

[DOI]

CoRR, 2022

To what extent should we trust AI models when they extrapolate?

[BibT_eX]

[DOI]

CoRR, 2022

Community Detection in Medical Image Datasets: Using Wavelets and Spectral Methods.

[BibT_eX]

[DOI]

Proceedings of 2022 International Conference on Medical Imaging and Computer-Aided Diagnosis, 2022

2021

A Homotopy Algorithm for Optimal Transport.

[BibT_eX]

[DOI]

CoRR, 2021

Extrapolation Frameworks in Cognitive Psychology Suitable for Study of Image Classification Models.

[BibT_eX]

[DOI]

Jessica A. Mollick

CoRR, 2021

Federated Learning without Revealing the Decision Boundaries.

[BibT_eX]

[DOI]

CoRR, 2021

A Sketching Method for Finding the Closest Point on a Convex Hull.

[BibT_eX]

[DOI]

CoRR, 2021

Deep Learning Generalization and the Convex Hull of Training Sets.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Using Wavelets and Spectral Methods to Study Patterns in Image-Classification Datasets.

[BibT_eX]

[DOI]

Furong Huang

CoRR, 2020

Using wavelets to analyze similarities in image datasets.

[BibT_eX]

[DOI]

CoRR, 2020

Auditing and Debugging Deep Learning Models via Decision Boundaries: Individual-level and Group-level Analysis.

[BibT_eX]

[DOI]

CoRR, 2020

Deep learning interpretation: Flip points and homotopy methods.

[BibT_eX]

[DOI]

Proceedings of Mathematical and Scientific Machine Learning, 2020

2019

Interpreting Machine Learning Models and Application of Homotopy Methods.

[BibT_eX]

[DOI]

PhD thesis, 2019

Investigating Decision Boundaries of Trained Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2019

Refining the Structure of Neural Networks Using Matrix Conditioning.

[BibT_eX]

[DOI]

CoRR, 2019

Interpreting Neural Networks Using Flip Points.

[BibT_eX]

[DOI]

CoRR, 2019

Learning Diverse Gaussian Graphical Models and Interpreting Edges.

[BibT_eX]

[DOI]