Author

John Hua Yao

h-index 0 View on Semantic Scholar

We have 1 of 3 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Sep 2026

PetriBench: Benchmarking LLM Reasoning over Dynamic State Spaces

PetriBench is introduced, a compact, fully self-contained, and scalable benchmark for evaluating LLM reasoning over dynamic state spaces using Petri nets, a mature formalism for modeling real-world concurrent and distributed systems.

Pyrros Koussios, Benjamin Jäger, John Hua Yao et al. · 0 citations