PetriBench: Benchmarking LLM Reasoning over Dynamic State Spaces
cs.CL, cs.AI, cs.LO
Submitted: 2026-09-17
Updated: 2026-09-17
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Terminology
Sources
- GPT-4 Technical Report
- ARC-AGI-2: A New Challenge for Frontier AI Reasoning Systems
- Training Verifiers to Solve Math Word Problems
- Measuring Massive Multitask Language Understanding
- Measuring Mathematical Problem Solving With the MATH Dataset
- Lost in Serialization: Invariance and Generalization of LLM Graph Reasoners
- A Two-Stage Reflection and Reprompting Framework for LLM-Based Solution of Petri Net Reachability Problems in Industrial Applications
- LLM CHESS: Benchmarking Reasoning and Instruction-Following in LLMs through Chess
- Holistic Evaluation of Language Models
- GPQA: A Graduate-Level Google-Proof Q&A Benchmark
- Exploring State Tracking Capabilities of Large Language Models
- The Illusion of Procedural Reasoning: Measuring Long-Horizon FSM Execution in LLMs
- Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters
- Computational Reasoning of Large Language Models
Related papers
- Exploring Solution Divergence and Its Effect on Large Language Model Problem Solving
- Ishigaki-IDS-Bench: A Benchmark for Generating Information Delivery Specification from BIM Information Requirements
- Subliminal Steering: Stronger Encoding of Hidden Signals
- MedStruct-S: A Benchmark for Key Discovery, Key-Conditioned QA and Semi-Structured Extraction from OCR Clinical Reports
- The End of Transformers? On Challenging Attention and the Rise of Sub-Quadratic Architectures
- Untangling the Mechanisms of Misleading Context in Medical Question Answering