Search Results - Uezato, Yuya

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Cover Image

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

    Published 2024
    Get full text
    Preprint

    Save to List
    Saved in:
  2. 2
    Cover Image

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

    Published 2026
    Get full text
    Preprint

    Save to List
    Saved in:
  3. 3
    Cover Image

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

    Published 2026
    Get full text
    Preprint

    Save to List
    Saved in:
  4. 4
    Cover Image

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

    Published 2026
    Get full text
    Preprint

    Save to List
    Saved in:

Search Tools: