2 papers
cs.AI2026
AI co-mathematician: Accelerating mathematicians with agentic AI
Daniel Zheng, Ingrid von Glehn, Yori Zwols +15
We introduce the AI co-mathematician, a workbench for mathematicians to interactively leverage AI agents to pursue open-ended research. The AI co-mathematician is optimized to prov…
cs.LG2024
Amplifying human performance in combinatorial competitive programming
Petar VeliÄkoviÄ, Alex Vitvitskyi, Larisa Markeeva +4
Recent years have seen a significant surge in complex AI systems for competitive programming, capable of performing at admirable levels against human competitors. While steady prog…