Preprints

(α-β order) denotes alphabetical ordering, * denotes equal contribution.

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction [arXiv]

• Yong Lin, Shange Tang, Bohan Lyu, Ziran Yang, Jui-Hui Chung, Haoyu Zhao, Lai Jiang, Yihan Geng, Jiawei Ge, Jingruo Sun, Jiayun Wu, Jiri Gesi, Ximing Lu, David Acuna, Kaiyu Yang, Hongzhou Lin, Yejin Choi, Danqi Chen, Sanjeev Arora, Chi Jin

• ArXiv Preprint

LLM Economist: Large Population Models and Mechanism Design in Multi-Agent Generative Simulacra [arXiv]

• Seth Karten, Wenzhe Li, Zihan Ding, Samuel Kleiner, Yu Bai, Chi Jin

• ArXiv Preprint

Learning World Models for Interactive Video Generation [arXiv]

• Taiye Chen*, Xun Hu*, Zihan Ding*, Chi Jin

• ArXiv Preprint

Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities [arXiv]

• Haoyu Zhao, Yihan Geng, Shange Tang, Yong Lin, Bohan Lyu, Hongzhou Lin, Chi Jin, Sanjeev Arora

• ArXiv Preprint

Frontier LLMs Still Struggle with Simple Reasoning Tasks [arXiv]

• Alan Malek, Jiawei Ge, Nevena Lazic, Chi Jin, András György, Csaba Szepesvári

• ArXiv Preprint

Principled Out-of-Distribution Generalization via Simplicity [arXiv]

• Jiawei Ge, Amanda Wang, Shange Tang, Chi Jin

• ArXiv Preprint

Is Elo Rating Reliable? A Study Under Model Misspecification [arXiv]

• Shange Tang, Yuanhao Wang, Chi Jin

• ArXiv Preprint

Rethinking Mixture-of-Agents: Is Mixing Different Large Language Models Beneficial? [arXiv]

• Wenzhe Li*, Yong Lin*, Mengzhou Xia, Chi Jin

• ArXiv Preprint

Generative Diffusion Modeling: A Practical Handbook [arXiv]

• Zihan Ding, Chi Jin

• ArXiv Preprint

DOLLAR: Few-Step Video Generation via Distillation and Latent Reward Optimization [arXiv]

• Zihan Ding, Chi Jin, Difan Liu, Haitian Zheng, Krishna Kumar Singh, Qiang Zhang, Yan Kang, Zhe Lin, Yuchen Liu

• ArXiv Preprint

On Limitation of Transformer for Learning HMMs [arXiv]

• Jiachen Hu, Qinghua Liu, Chi Jin

• ArXiv Preprint

Learning a Universal Human Prior for Dexterous Manipulation from Human Preference. [arXiv]

• Zihan Ding, Yuanpei Chen, Allen Z Ren, Shixiang Shane Gu, Hao Dong, Chi Jin

• ArXiv Preprint

Thinking Fast and Slow: Data-Driven Adaptive DeFi Borrow-Lending Protocol. [arXiv]

• Mahsa Bastankhah, Viraj Nadkarni, Xuechao Wang, Chi Jin, Sanjeev Kulkarni, Pramod Viswanath 

• ArXiv Preprint