3 results for "mathematics"
ZENODO
Constraints That Compute: A Unified Framework for Efficient Intelligence
This paper introduces a domain-agnostic framework that replaces brute-force computation with structural efficiency by translating systems into their intrinsic, dimensionless geometries. Validated acro…
ARXIV CS.AI
When VLMs 'Fix' Students: Identifying and Penalizing Over-Correction in the Evaluation of Multi-line Handwritten Math OCR
Accurate transcription of handwritten mathematics is crucial for educational AI systems, yet current benchmarks fail to evaluate this capability properly. Most prior studies focus on single-line expre…
ARXIV.ORG
QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems
We explore a central question in AI for mathematics: can AI systems produce original, nontrivial proofs for open research problems? Despite strong benchmark performance, producing genuinely novel proo…