3 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.CL2024
From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
A M Muntasir Rahman, Junyi Ye, Wei Yao +5
Consider the math problem: "Lily received 3 cookies from her best friend yesterday and ate 5 for breakfast. Today, her friend gave her 3 more cookies. How many cookies does Lily ha…
cs.CG2022★ 2 cited
Automated Discovery of Geometrical Theorems in GeoGebra
Zoltán Kovács, Jonathan H. Yu
We describe a prototype of a new experimental GeoGebra command and tool, Discover, that analyzes geometric figures for salient patterns, properties, and theorems. This tool is a ba…
cs.AI2020★ 3 cited
Towards Automated Discovery of Geometrical Theorems in GeoGebra
Zoltán Kovács, Jonathan H. Yu
We describe a prototype of a new experimental GeoGebra command and tool Discover that analyzes geometric figures for salient patterns, properties, and theorems. This tool is a basi…