mlsanityData to 14 Oct 2026

LTLf Learning Meets Boolean Set Cover

arXiv 2509.24616 ↗First posted 29 Sep 2025cs.AI cs.FL cs.LOcited by 1

Not on the map. Why?

Abstract (arXiv)

Learning formulas in Linear Temporal Logic (LTLf) from finite traces is a fundamental research problem which has found applications in artificial intelligence, software engineering, programming languages, formal methods, control of cyber-physical systems, and robotics. We implement a new CPU tool called Bolt improving over the state of the art by learning formulas more than 100x faster over 70% of the benchmarks, with smaller or equal formulas in 98% of the cases. Our key insight is to leverage a problem called Boolean Set Cover as a subroutine to combine existing formulas using Boolean connectives. Thanks to the Boolean Set Cover component, our approach offers a novel trade-off between efficiency and formula size.

Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 12 of its 61 references that are in the map. First posted on arXiv 29 Sep 2025.

Builds on

12 of 61 references.

References · 12

  1. 2018Learning Linear Temporal Propertiescited by 41
  2. 2022From Spot 2.0 to Spot 2.10: What's New?cited by 22
  3. 2020Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrationscited by 13
  4. 2021The Complexity of Learning Linear Temporal Formulas from Examplescited by 12
  5. 2024Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimizationcited by 10
  6. 2021Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logiccited by 9
  7. 2022The Reactive Synthesis Competition (SYNTCOMP): 2018-2021cited by 8
  8. 2024Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Controlcited by 8
  9. 2023Search-Based Regular Expression Inference on a GPUcited by 6
  10. 2024LTL learning on GPUscited by 6
  11. 2023Learning temporal formulas from examples is hardcited by 4
  12. 2025Learning Probabilistic Temporal Logic Specifications for Stochastic Systemscited by 2

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 1.

1 paper.

  1. 2026On Synthesis of Metric Interval Temporal Logicscited by 0