4 papers
Agent Bazaar: Enabling Economic Alignment in Multi-Agent Marketplaces
Seth Karten, Cameron Crow, Chi Jin
The deployment of Large Language Models (LLMs) as autonomous economic agents introduces systemic risks that extend beyond individual capability failures. As agents transition to di…
DataFactory: Collaborative Multi-Agent Framework for Advanced Table Question Answering
Tong Wang, Chi Jin, Yongkang Chen +3
Table Question Answering (TableQA) enables natural language interaction with structured tabular data. However, existing large language model (LLM) approaches face critical limitati…
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
Yong Lin, Shange Tang, Bohan Lyu +17
We introduce Goedel-Prover-V2, a series of open-source language models that set a new state-of-the-art in automated theorem proving. Built on the standard expert iteration and rein…
Frontier LLMs Still Struggle with Simple Reasoning Tasks
Alan Malek, Jiawei Ge, Nevena Lazic +3
While state-of-the-art large language models (LLMs) demonstrate advanced reasoning capabilities-achieving remarkable performance on challenging competitive math and coding benchmar…