2 citations · 2 across the 5 of their papers we have counts for
5 papers
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs
Guijin Son, Seungone Kim, Catherine Arnett +73
Following the recent achievement of gold-medal performance on the IMO by frontier LLMs, the community is searching for the next meaningful and challenging target for measuring LLM…
The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
Anna Käferböck, Zoltán Kovács
We give an example of automated geometry reasoning for an imaginary classroom project by using the free software package GeoGebra Discovery. The project is motivated by a publicly…
Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
Belén Ariño-Morera, Zoltán Kovács, Tomás Recio +1
We address, through the automated reasoning tools in GeoGebra Discovery, a problem from a regional phase of the Austrian Mathematics Olympiad 2023. Trying to solve this problem giv…
Proceedings 14th International Conference on Automated Deduction in Geometry
Pedro Quaresma, Zoltán Kovács
ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction…
Towards understanding the central limit theorem by learning Python basics
Zoltán Kovács, Alexander Thaller
We report on a first experiment about an email based course that connects learning Python basics and introductory probability theory. In the experiment 7 short sequences of homewor…