3 papers
cs.AI2025
FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming
Gal Beniamini, Yuval Dor, Alon Vinnikov +10
Frontier AI models demonstrate formidable breadth of knowledge. But how close are they to true human -- or superhuman -- expertise? Genuine experts can tackle the hardest problems…
math.LO2025
Specialization of Difference Equations and High Frobenius Powers
Yuval Dor, Ehud Hrushovski
We study valued fields equipped with an automorphism which is locally infinitely contracting in the sense that for all . We show that various notions of…
math.LO2025
Contracting Endomorphisms of Valued Fields
Yuval Dor, Yatir Halevi
We prove that the class of separably algebraically closed valued fields equipped with a distinguished Frobenius endomorphism is decidable, uniformly in . The res…