Follow
Guillaume Lagarde
Guillaume Lagarde
LaBRI
Verified email at labri.fr - Homepage
Title
Cited by
Cited by
Year
The complexity of learning linear temporal formulas from examples
N Fijalkow, G Lagarde
International Conference on Grammatical Inference, 237-250, 2021
322021
Non-commutative computations: lower bounds and polynomial identity testing
G Lagarde, G Malod, S Perifel
Chicago Journal of Theoretical Computer Science 2 (1-19), 10, 2019
202019
Scaling neural program synthesis with distribution-based search
N Fijalkow, G Lagarde, T Matricon, K Ellis, P Ohlmann, AN Potta
Proceedings of the AAAI Conference on Artificial Intelligence 36 (6), 6623-6630, 2022
172022
Lempel-Ziv: a “one-bit catastrophe” but not a tragedy
G Lagarde, S Perifel
Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete …, 2018
172018
Lower bounds and PIT for non-commutative arithmetic circuits with restricted parse trees
G Lagarde, N Limaye, S Srinivasan
computational complexity 28, 471-542, 2019
132019
Improving ultrametrics embeddings through coresets
V Cohen-Addad, RDJ De Verclos, G Lagarde
International Conference on Machine Learning, 2060-2068, 2021
92021
On efficient low distortion ultrametric embedding
V Cohen-Addad, CS Karthik, G Lagarde
International Conference on Machine Learning, 2078-2088, 2020
92020
Learning temporal formulas from examples is hard
C Mascle, N Fijalkow, G Lagarde
arXiv preprint arXiv:2312.16336, 2023
42023
Lower bounds for arithmetic circuits via the hankel matrix
N Fijalkow, G Lagarde, P Ohlmann, O Serre
computational complexity 30, 1-60, 2021
42021
Trade-offs between size and degree in polynomial calculus
G Lagarde, J Nordström, D Sokolov, J Swernofsky
11th Innovations in Theoretical Computer Science Conference (ITCS 2020), 72 …, 2020
42020
Tight bounds using hankel matrix for arithmetic circuits with unique parse trees
N Fijalkow, G Lagarde, P Ohlmann
Electronic Colloquium on Computational Complexity (ECCC) 25, 38, 2018
42018
De Bruijn–Erdős-type theorems for graphs and posets
P Aboulker, G Lagarde, D Malec, A Methuku, C Tompkins
Discrete Mathematics 340 (5), 995-999, 2017
42017
Deepsynth: Scaling neural program synthesis with distribution-based search
T Matricon, N Fijalkow, G Lagarde, K Ellis
Journal of Open Source Software 7 (78), 4151, 2022
22022
Lower bounds and PIT for non-commutative arithmetic circuits with restricted parse trees (extended version)
G Lagarde, N Limaye, S Srinivasan
Computational Complexity, 0
2
-Galvin families
J Håstad, G Lagarde, J Swernofsky
arXiv preprint arXiv:1901.02652, 2019
12019
A -Approximation for Ultrametric Embedding in Subquadratic Time
G Bathie, G Lagarde
arXiv preprint arXiv:2503.13409, 2025
2025
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis
T Matricon, N Fijalkow, G Lagarde
arXiv preprint arXiv:2412.17330, 2024
2024
Improving Ultrametrics Embeddings Through Coresets
G Lagarde, RDJ de Verclos, VP Cohen-addad
2021
Contributions to arithmetic complexity and compression
G Lagarde
Université Sorbonne Paris Cité, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–19