K\'ari R\"ognvaldsson

Identifiers

• name variant K\'ari R\"ognvaldsson 0.60 · backfill

Papers (2)

1. Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean cs.CL · 2026 · author #1
2. Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs cs.CL · 2026 · author #4

Mentions

• 2606.04883 #1 · arxiv_oai · confidence 0.70 K\'ari R\"ognvaldsson
• 2605.00674 #4 · arxiv_oai · confidence 0.70 K\'ari R\"ognvaldsson

Frequent Coauthors

• Chenhao Sun 2 shared papers
• Jasper Dekoninck 2 shared papers
• Martin Vechev 2 shared papers
• Ivo Petrov 1 shared papers
• Nikola Jovanovi\'c 1 shared papers
• Tim Gehrunger 1 shared papers