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
FM 2026-profile
View general profile
View general profile