Research author

Tim Gehrunger

2 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Tim Gehrunger

Jul 10, 2026
cs.AI

ProofCouncil: An LLM Agent for Solving Open Mathematical Problems

Johannes Schmitt, Tim Gehrunger, Jasper Dekoninck, et al.

May 1, 2026
cs.CL

Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs

Jasper Dekoninck, Nikola Jovanović, Tim Gehrunger, et al.

Tim Gehrunger — AI Research Papers | One9Founders