6 papers
Continuous Optimization for p-adic Models
Julian Salazar, Dimitri Kanevsky, Matt Harvey +2
We present the first method for native, continuous gradient descent for machine learning models with -adic parameters. Existing native optimizers are discrete, mostly combinator…
AI co-mathematician: Accelerating mathematicians with agentic AI
Daniel Zheng, Ingrid von Glehn, Yori Zwols +15
We introduce the AI co-mathematician, a workbench for mathematicians to interactively leverage AI agents to pursue open-ended research. The AI co-mathematician is optimized to prov…
-equivalence on Cubic Surfaces I: Existing Cases with Non-Trivial Universal Equivalence
Dimitri Kanevsky, Julian Salazar, Matt Harvey
Let be a smooth cubic surface over a -adic field with good reduction. Swinnerton-Dyer (1981) proved that -equivalence is trivial on except perhaps if is on…
An example of a non-associative Moufang loop of point classes on a cubic surface
Dimitri Kanevsky
Let be a cubic surface defined by the equation over a quadratic extension of 3-adic numbers , where . We show that a rela…
Semistochastic Quadratic Bound Methods
Aleksandr Y. Aravkin, Anna Choromanska, Tony Jebara +1
Partition functions arise in a variety of settings, including conditional random fields, logistic regression, and latent gaussian models. In this paper, we consider semistochastic…
Composition of points and Mordell-Weil problem for cubic surfaces
D. Kanevsky, Yu. Manin
Let be a plane smooth cubic curve over a finitely generated field The Mordell-Weil theorem for states that there is a finite subset such that the whole…