Jacobian matrices of Y-seed mutations. - Yuma Mizuno (Adv. Appl. Math., 2020)

Lean Formalization of Generalization Error Bound by Rademacher Complexity. - Sho Sonoda; Kazumi Kasaura; Yuma Mizuno; Kei Tsukamoto; Naoto Onda (CoRR, 2025)