Marcus J. Min

prof_pic.jpg

CIS PhD Student

University of Pennsylvania

Philadelphia, PA

I am a Computer Science Ph.D. student at the University of Pennsylvania, where I’m fortunate to be advised by Prof. Osbert Bastani. Prior to my PhD studies, I earned my B.S. in Computer Science from Columbia University, where I had the pleasure of working with Prof. Robin Ding, Prof. Baishakhi Ray, and Prof. Suman Jana.

My research interests lie in the intersection of deep learning, logic, and formal verification, with a particular focus on on AI for Formal Mathematics including Autoformalization, Theorem Proving, and Abstraction Learning. I am also interested in the applications of AI in Software Engineering, Hardware Verification, and broader scientific discovery.

Email Google Scholar GitHub X LinkedIn

News

Jan 26, 2026 Our work Divide and Abstract, an autoformalization framework leveraging decomposition and abstraction learning, is accepted to ICLR 2026!

Selected Publications

  1. Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
    A. Einstein*†, B. Podolsky*, and N. Rosen*
    Phys. Rev., New Jersey. More Information can be found here , May 1935

Teaching Experiences

Spring 2024 COMS 6998: Generative Models for Code, Columbia University
Head Teaching Assistant
Fall 2023 CSEE 6863: Formal Verification, Columbia University
Teaching Assistant
Fall 2023 COMS 4115: Programming Languages & Translators, Columbia University
Teaching Assistant

Academic Services

Conference Reviewer ICLR 2025–2026
NeurIPS 2025–2026
Workshop Reviewer ICLR DL4C 2025
NeurIPS DL4C 2025
NeurIPS MATH-AI 2024

Awards & Grants

2026 Amazon Web Services (AWS) ASSET Fellowship
2024–2026 OpenAI Researcher Access Program