Banri Yanahama - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Mon 13 Apr 2026

Name:Banri Yanahama

Country:Japan

Affiliation:Nyx Foundation

X (Twitter): https://x.com/banr1_

GitHub: https://github.com/banr1

Contributions

2026

FM

Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization

Show activities from other conferences

FM 2026-profile
View general profile