Ax Eric Jiang, Xiao Liang, Yikai Zhang, Yingjia Wan, Mengting Li, Haikang Deng, Alexander K. Taylor, Justin Baker, Rushil Raghavan, Junyi Zhang, Ying Nian Wu, Andrea L. Bertozzi, Kai-Wei Chang, Raghu Meka, Matthew Sottile, Nanyun Peng, Amit Sahai, Terence Tao, Wei Wang 19d ago

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier

LLM-driven formal mathematics system for frontier research using interactive theorem proving, advancing beyond well-defined problems.

Ax Nivasini Ananthakrishnan, Mark Bedaywi, Michael I. Jordan, Stuart Russell, Nika Haghtalab 19d ago

Provably Optimal Learning Algorithms for Assistance Games

Provably efficient learning algorithms for repeated assistance games where informed and uninformed agents optimize shared rewards.

Ax Dhruv Agarwal, Anya Shukla, Tanya Goyal, Aditya Vashistha 19d ago

PLURAL: A Global Dataset for Value Alignment

PLURAL dataset with 92 countries of value-aligned preference data from Integrated Values Survey to reduce Western bias in LLMs.

Ax Weiming Sheng, Jinlang Wang, Manuel Barros, Aldrin Montana, Jacopo Tagliabue, Luca Bigon 19d ago

GitLake: Git-for-data for the agentic lakehouse

Git-based versioning system for data lakehouse enabling agents to work on isolated branches with human review. Production system with atomic publishing.