Sho Sonoda
Scholar

Sho Sonoda

Google Scholar ID: zrox37AAAAAJ
RIKEN Center for Advanced Intelligence Project (AIP)
machine learningharmonic analysis
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
719
 
H-index
11
 
i10-index
11
 
Publications
20
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
8 items
Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models
2026
Cited
0
Don't Eliminate Cut: Exponential Separations in LLM-Based Theorem Proving
2026
Cited
0
Why High-rank Neural Networks Generalize?: An Algebraic Framework with RKHSs
2025
Cited
0
Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
2025
Cited
0
LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
2025
Cited
0
Generalization Through Growth: Hidden Dynamics Controls Depth Dependence
2025
Cited
0
Lean Formalization of Generalization Error Bound by Rademacher Complexity
2025
Cited
0
Unified Universality Theorem for Deep and Shallow Joint-Group-Equivariant Machines
2024
Cited
0
Resume (English only)
Co-authors
9 total
Noboru Murata
Noboru Murata
Waseda University
Masahiro Ikeda
Masahiro Ikeda
The University of Osaka
Co-author 3
Co-author 3
Sathyawageeswar Subramanian
Sathyawageeswar Subramanian
Royal Society University Research Fellow, University of Oxford
Co-author 5
Co-author 5
Shotaro Akaho
Shotaro Akaho
AIST
Hajime Asama
Hajime Asama
University of Tokyo
Stefano Massaroli
Stefano Massaroli
RIKEN