Yuta Oriike

According to our database, Yuta Oriike authored at least 2 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