2 papers
cs.AI2025
LTL Learning Meets Boolean Set Cover
Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon +2
Learning formulas in Linear Temporal Logic (LTLf) from finite traces is a fundamental research problem which has found applications in artificial intelligence, software engineering…
cs.LG2024
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis
Théo Matricon, Nathanaël Fijalkow, Guillaume Lagarde
Many approaches to program synthesis perform a combinatorial search within a large space of programs to find one that satisfies a given specification. To tame the search space blow…