wird geladen
PetriBench: Neuer Benchmark testet LLM-Reasoning über dynamische Zustandsräume · Lumeric