Yuya Uezato

According to our database, Yuya Uezato authored at least 9 papers between 2013 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

On the Complexity of the Matching Problem of Regular Expressions with Backreferences.

Soh Kumabe, Yuya Uezato

CoRR, May, 2026

Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models.

Sho Sonoda, Shunta Akiyama, Yuya Uezato

CoRR, February, 2026

Don't Eliminate Cut: Exponential Separations in LLM-Based Theorem Proving.

Sho Sonoda, Shunta Akiyama, Yuya Uezato

CoRR, February, 2026

Matching Regular-Typed Pattern Languages: Quadratic-Time Algorithms.

Yuya Uezato

Proceedings of the 37th Annual Symposium on Combinatorial Pattern Matching, 2026

2024

Regular Expressions with Backreferences and Lookaheads Capture NLOG.

Yuya Uezato

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2021

Accelerating XOR-based erasure coding using program optimization techniques.

Yuya Uezato

Proceedings of the International Conference for High Performance Computing, 2021

2016

Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata.

Yuya Uezato, Yasuhiko Minamide

Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015

Synchronized Recursive Timed Automata.

Yuya Uezato, Yasuhiko Minamide

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2013

Pushdown Systems with Stack Manipulation.

Yuya Uezato, Yasuhiko Minamide

Proceedings of the Automated Technology for Verification and Analysis, 2013