TY  - RPRT
TI  - PetriBench: Benchmarking LLM Reasoning over Dynamic State Spaces
AU  - Pyrros Koussios
AU  - Benjamin Jäger
AU  - John Hua Yao
AU  - Ajay Sridhar
AU  - Violet Xiang
AU  - Chenhao Li
PY  - 2026
UR  - https://arxiv.org/abs/2609.19883
ID  - 2609.19883
ER  -