Sho Sonoda -

Registered user since Fri 15 May 2026

Name:Sho Sonoda

Country:Japan

Affiliation:RIKEN / CyberAgent

Personal website: https://sites.google.com/view/shosonoda/home

Research interests:Machine Learning, Theorem Proving, Harmonic Analysis

Contributions

2026

FM

Author of Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models within the Workshop: AIPV-track