Min, Marcus J.

3 publications

ICLR 2026 Divide and Abstract: Autoformalization via Decomposition and Abstraction Learning Marcus J. Min, Yeqi Gao, Wilson Sy, Zhaoyu Li, Xujie Si, Osbert Bastani

ICLR 2024 Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain Marcus J. Min, Yangruibo Ding, Luca Buratti, Saurabh Pujar, Gail Kaiser, Suman Jana, Baishakhi Ray

NeurIPS 2024 SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning Yangruibo Ding, Jinjun Peng, Marcus J. Min, Gail Kaiser, Junfeng Yang, Baishakhi Ray