About me
Since June 2026, I am pursuing a Ph.D. at the Secure, Reliable, and Intelligent Systems Lab at ETH Zürich, advised by Prof. Martin Vechev.
Education
- ETH Zurich, September 2023 - May 2026 M.Sc. Data Science
- University of Iceland, August 2020 - June 2023 B.Sc. Mathematics
Publications
2026
Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean
Kári Rögnvaldsson*, Chenhao Sun*, Jasper Dekoninck, Martin Vechev
ArXiv
2026
* Equal contribution
Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs
Jasper Dekoninck, Nikola Jovanović, Tim Gehrunger, Kári Rögnvaldsson, Ivo Petrov, Chenhao Sun, Martin Vechev
ArXiv
2026
Work experience
- Optiver, AmsterdamQuantitative Research Intern, May 2025 - July 2025
Awards
| 2025 | Iceland Chamber of Commerce Student Fund: Fund awarded every year for outstanding students in STEM fields. |
| 2023 | Helga's and Sigurliði's Memorial Fund: Fund founded in memory of Helga Jónsdóttir and Sigurliði Kristjánsson that awards outstanding Icelandic graduate students of engineering and natural sciences that are studying abroad. |
| 2022 | Sigurður Helgason Award: Grant founded by Sigurður Helgason, former Professor of Mathematics at MIT, to inspire young students of mathematics for further studies and/or research. |