PPaperPicks

Théo Matricon

2 papers at tracked venues · 1 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1MSR ×1

Frequent coauthors

Romain Robbes
×1
Thomas Degueule
×1
Andre Hora
×1
Stefano Zacchiroli
×1
Nathanaël Fijalkow
×1
Guillaume Lagarde
×1

Papers

  1. Promises, Perils, and (Timely) Heuristics for Mining Coding Agent Activity
    MSR 2026 ·
    Romain Robbes
    , Théo Matricon,
    Thomas Degueule
    ,
    Andre Hora
    ,
    Stefano Zacchiroli
  2. Eco Search: A No-delay Best-First Search Algorithm for Program Synthesis
    AAAI 2025 · Théo Matricon,
    Nathanaël Fijalkow
    ,
    Guillaume Lagarde