activity
20002026
collaborators

6 papers

cs.LG2026

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…

cs.AI2026

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…

math.AG2026

-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…

math.NT2021

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…

stat.ML2013

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…

math.AG2000

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…