Naoto Onda

According to our database, Naoto Onda authored at least 3 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean.

Kazumi Kasaura, Naoto Onda, Yuta Oriike, Masaya Taniguchi, Akiyoshi Sannai, Sho Sonoda

CoRR, September, 2025

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving.

Naoto Onda, Kazumi Kasaura, Yuta Oriike, Masaya Taniguchi, Akiyoshi Sannai, Sho Sonoda

CoRR, June, 2025

Lean Formalization of Generalization Error Bound by Rademacher Complexity.

Sho Sonoda, Kazumi Kasaura, Yuma Mizuno, Kei Tsukamoto, Naoto Onda

CoRR, March, 2025