Yuya Uezato

Identifiers

• name variant Yuya Uezato 0.60 · backfill

Papers (3)

1. On the Complexity of the Matching Problem of Regular Expressions with Backreferences cs.DS · 2026 · author #2
2. Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models stat.ML · 2026 · author #3
3. Exponential Sample Complexity Separation between Flat and Hierarchical Agentic Theorem Provers cs.LG · 2026 · author #3

Mentions

• 2602.10538 #3 · arxiv_oai · confidence 0.70 Yuya Uezato

Frequent Coauthors

• Sho Sonoda 2 shared papers
• Shunta Akiyama 2 shared papers
• Soh Kumabe 1 shared papers