Théo Matricon

19 papers A* 2A 1B 1Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Agentic Much? Adoption of Coding Agents on GitHub.
CoRR
Romain Robbes, Théo Matricon, Thomas Degueule, André C. Hora, Stefano Zacchiroli
2026 — conf
LTL
TACAS (1)
Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon, Pierre Vandenhove
2026 J jnl
Promises, Perils, and (Timely) Heuristics for Mining Coding Agent Activity.
CoRR
Romain Robbes, Théo Matricon, Thomas Degueule, André C. Hora, Stefano Zacchiroli
2025 A* conf
Eco Search: A No-delay Best-First Search Algorithm for Program Synthesis.
AAAI
Théo Matricon, Nathanaël Fijalkow, Guillaume Lagarde
2025 J jnl
Efficiently Ranking Software Variants with Minimal Benchmarks.
CoRR
Théo Matricon, Mathieu Acher, Helge Spieker, Arnaud Gotlieb
2025 J jnl
LTL
CoRR
Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon, Pierre Vandenhove
2025 B conf
Prompting for Performance: Exploring LLMs for Configuring Software.
ICTAI
Helge Spieker, Théo Matricon, Nassim Belmecheri, Jørn Eirik Betten, Gauthier Le Bartz Lyan, Heraldo Borges, Quentin Mazouni, Dennis Gross, Arnaud Gotlieb, Mathieu Acher
2025 J jnl
Prompting for Performance: Exploring LLMs for Configuring Software.
CoRR
Helge Spieker, Théo Matricon, Nassim Belmecheri, Jørn Eirik Betten, Gauthier Le Bartz Lyan, Heraldo Borges, Quentin Mazouni, Dennis Gross, Arnaud Gotlieb, Mathieu Acher
2025 J jnl
Re-evaluating metamorphic testing of chess engines: A replication study.
Inf. Softw. Technol.
Axel Martin, Djamel Eddine Khelladi, Théo Matricon, Mathieu Acher
2024 — —
Domain agnostic techniques for scaling up program synthesis. (Techniques agnostiques au domaine pour l'accélération de la synthèse de programmes).
Théo Matricon
2024 J jnl
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis.
CoRR
Théo Matricon, Nathanaël Fijalkow, Guillaume Lagarde
2024 J jnl
Theoretical foundations for programmatic reinforcement learning.
CoRR
Guruprerana Shabadi, Nathanaël Fijalkow, Théo Matricon
2023 — conf
WikiCoder: Learning to Write Knowledge-Powered Code.
SPIN
Théo Matricon, Nathanaël Fijalkow, Gaëtan Margueritte
2023 J jnl
WikiCoder: Learning to Write Knowledge-Powered Code.
CoRR
Théo Matricon, Nathanaël Fijalkow, Gaëtan Margueritte
2022 — conf
Challenges of Acquiring Compositional Inductive Biases via Meta-Learning.
Meta-Knowledge Transfer @ ECML/PKDD
Marie Anastacio, Théo Matricon, Holger H. Hoos
2022 J jnl
DeepSynth: Scaling Neural Program Synthesis with Distribution-based Search.
J. Open Source Softw.
Théo Matricon, Nathanaël Fijalkow, Guillaume Lagarde, Kevin Ellis
2022 A* conf
Scaling Neural Program Synthesis with Distribution-Based Search.
AAAI
Nathanaël Fijalkow, Guillaume Lagarde, Théo Matricon, Kevin Ellis, Pierre Ohlmann, Akarsh Nayan Potta
2021 J jnl
Scaling Neural Program Synthesis with Distribution-based Search.
CoRR
Nathanaël Fijalkow, Guillaume Lagarde, Théo Matricon, Kevin Ellis, Pierre Ohlmann, Akarsh Potta
2021 A conf
Statistical Comparison of Algorithm Performance Through Instance Selection.
CP
Théo Matricon, Marie Anastacio, Nathanaël Fijalkow, Laurent Simon, Holger H. Hoos