Resultados de búsqueda - Uezato, Yuya
- Mostrando 1 - 4 Resultados de 4
-
1
Regular Expressions with Backreferences and Lookaheads Capture NLOG por Uezato, Yuya
Publicado 2024Fuente: arXivPreprintAcceso al recurso -
2
On the Complexity of the Matching Problem of Regular Expressions with Backreferences por Kumabe, Soh, Uezato, Yuya
Publicado 2026Fuente: arXivPreprintAcceso al recurso -
3
Exponential Sample Complexity Separation between Flat and Hierarchical Agentic Theorem Provers por Sonoda, Sho, Akiyama, Shunta, Uezato, Yuya
Publicado 2026Fuente: arXivPreprintAcceso al recurso -
4
Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models por Sonoda, Sho, Akiyama, Shunta, Uezato, Yuya
Publicado 2026Fuente: arXivPreprintAcceso al recurso