Marcus J. Min
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.
| Google Scholar | GitHub | X |
News
| Jan 26, 2026 | Our work Divide and Abstract, an autoformalization framework leveraging decomposition and abstraction learning, is accepted to ICLR 2026! |
|---|
Selected Publications
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 |