@misc{indiciae34efbc0dc19a, title = {PetriBench: Benchmarking LLM Reasoning over Dynamic State Spaces}, author = {Pyrros Koussios and Benjamin Jäger and John Hua Yao and Ajay Sridhar and Violet Xiang and Chenhao Li}, year = {2026}, url = {https://arxiv.org/abs/2609.19883}, note = {Source identifier: 2609.19883} }