50 citations · 79 across the 15 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
math.NT2026
Arithmetic jet spaces and the unramified Zilber--Pink conjecture for subvarieties of abelian varieties
Netan Dogra, Arnab Saha
We show how the methods of delta geometry can be used to bound the degree of points in the Zilber--Pink locus of a subvariety of an abelian variety, if the varieties are defined ov…
cs.SE2026
Ockhamareto: Pareto-Gated Segment-Level Credit Assignment for Concise Unit-Test Generation with Reinforcement Learning
Dong Huang, Mark Harman, Jie M. Zhang +3
We introduce \textbf{Ockhamareto}, a single-shot GRPO framework for unit-test generation and selection, based on the principles of \emph{Ockham's Razor} and \emph{Pareto Optimality…
math.NT2026
p-adic elliptic polylogarithms and cubic Chabauty
Jennifer S. Balakrishnan, Francesca Bianchi, Netan Dogra
The Chabauty--Coleman--Kim method, under favourable circumstances, describes the set of integral points of a hyperelliptic curve inside the -adic zeroes of certain transcendenta…