2 papers
math.NT2026
Divisibility by for Markoff-like Surfaces
Matthew de Courcy-Ireland, Matthew Litman, Yuma Mizuno
We study orbits in a family of Markoff-like surfaces with extra off-diagonal terms over prime fields . It is shown that, for a typical surface of this form, every non…
cs.LG2026
Lean Formalization of Generalization Error Bound by Rademacher Complexity and Dudley's Entropy Integral
Sho Sonoda, Kazumi Kasaura, Yuma Mizuno +2
Understanding and certifying the generalization performance of machine learning algorithms -- i.e. obtaining theoretical estimates of the test error from the training error -- is a…