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