PetriBench: Benchmarking LLM Reasoning over Dynamic State Spaces

Pyrros Koussios, Benjamin Jäger, John Hua Yao +3

Characterizing LLM reasoning remains an open challenge, as many existing benchmarks isolate specific reasoning skills, rely on external knowledge, or are costly to extend. We intro…