44 citations · 91 across the 7 of their papers we have counts for
9 papers
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
Santiago Gonzalez, Alireza Amiri Bavandpour, Peter Ye +48
As Large Language Models (LLMs) saturate elementary benchmarks, the research frontier has shifted from generation to the reliability of automated evaluation. We demonstrate that st…
Integer Dynamics
Dino Lorenzini, Mentzelos Melistas, Arvind Suresh +2
Let be an integer, and write the base expansion of any non-negative integer as , with and for $i=0,\dots,…
Discriminant groups of wild cyclic quotient singularities
Dino Lorenzini, Stefan Schröer
Let p be prime. We describe explicitly the resolution of singularities of several families of wild Z/pZ-quotient singularities in dimension two, including families that generalize…
Moderately ramified actions in positive characteristic
Dino Lorenzini, Stefan Schröer
In characteristic two and dimension two, wild Z/2Z-actions on k[[u,v]] ramified precisely at the origin were classified by Artin, who showed in particular that they induce hypersur…
New Points on Curves
Qing Liu, Dino Lorenzini
Let K be a field and let L/K be a finite extension. Let X/K be a scheme of finite type. A point of X(L) is said to be new if it does not belong to the union of X(F), when F runs ov…
Hypersurfaces in projective schemes and a moving lemma
Ofer Gabber, Qing Liu, Dino Lorenzini
Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique for proving the existence of closed subschemes H/S of X/S with various favorable…