Bolt (Blazingly Fast LTLf Learning), with an LTLf learning benchmark suite
Abstract
Artifact for the paper LTLf Learning Meets Boolean Set Cover, by Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon, and Pierre Vandenhove, accepted to the proceedings of TACAS 2026. It contains our tool Bolt, a consolidated benchmark suite for LTLf learning, and additional instructions to reproduce results from the paper.
Fields of Study & Subjects
Machine Learning and Algorithms
Machine Learning and Data Classification
Natural Language Processing Techniques
Publication details
- Journal / source
- ORBi UMONS
- Publication date
- 7 January 2026
- Language
- EN