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
This work develops a quantization strategy for queries, keys, and values to FP8 and uses explicit FP8 matrix multiplication instructions to speed up the attention calculation and finds that it is crucial to align the quantization error in the test rows with the quantization error in the training rows, as otherwise the...
Jonas M. Kübler, Benjamin Jäger, Klemens Flöge et al.· 0 citations
This first release of Prior Labs in relational learning opens-source three pieces of software that expect to accelerate research in the field towards meaningful real-world impact and releases an initial version of RPI, an open-source, model-agnostic interface that enables early adopters to easily define problems on new...
A. Hayler, Klemens Flöge, Alan Arazi et al.· 3 citations· ⚡1
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.