3 citations · 4 across the 5 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.AI2026
Stellar Colosseum: A Many-Agent Harness for Long-Horizon Research in Mathematics and Theoretical Computer Science
Honghao Lin, David P. Woodruff, Yuan Deng +3
Language models can produce plausible short proofs, but may still be unreliable on long-horizon research problems, where progress depends on a sequence of uncertain and interdepend…
cs.GT2026
Forging Self-Funded Marketplaces among Strategic Agents
Yuan Deng, Vasilis Gkatzelis, Xizhi Tan +2
We introduce the problem of designing mechanisms that incentivize strategic agents to form self-funded marketplaces. In our model, if agent exerts effort , they i…
cs.CL2026★ 3 cited
Accelerating Scientific Research with Gemini: Case Studies and Common Techniques
David P. Woodruff, Vincent Cohen-Addad, Lalit Jain +33
Recent advances in large language models (LLMs) have opened new avenues for accelerating scientific research. While models are increasingly capable of assisting with routine tasks,…