Resultados de búsqueda - Uezato, Yuya

  • Mostrando 1 - 4 Resultados de 4
Limitar resultados
  1. 1
    Imagen de Portada

    Regular Expressions with Backreferences and Lookaheads Capture NLOG por Uezato, Yuya

    Publicado 2024
    Fuente: arXiv
    Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

    On the Complexity of the Matching Problem of Regular Expressions with Backreferences por Kumabe, Soh, Uezato, Yuya

    Publicado 2026
    Fuente: arXiv
    Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  3. 3
    Imagen de Portada

    Exponential Sample Complexity Separation between Flat and Hierarchical Agentic Theorem Provers por Sonoda, Sho, Akiyama, Shunta, Uezato, Yuya

    Publicado 2026
    Fuente: arXiv
    Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  4. 4
    Imagen de Portada

    Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models por Sonoda, Sho, Akiyama, Shunta, Uezato, Yuya

    Publicado 2026
    Fuente: arXiv
    Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: