3 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.DS2025
The Trichotomy of Regular Property Testing
Gabriel Bathie, Nathanaël Fijalkow, Corto Mascle
Property testing is concerned with the design of algorithms making a sublinear number of queries to distinguish whether the input satisfies a given property or is far from having t…
cs.DS2025
A -Approximation for Ultrametric Embedding in Subquadratic Time
Gabriel Bathie, Guillaume Lagarde
Efficiently computing accurate representations of high-dimensional data is essential for data analysis and unsupervised learning. Dendrograms, also known as ultrametrics, are widel…