Publications

• Functional Pearl: Binding Boolean Expressions and Extended Pattern Matching
  A. Charguéraud, Y. Lefki
  Submitted, 2026
  paper
• A Core Language for Extended Pattern Matching and Binding Boolean Expressions
  A. Charguéraud, Y. Lefki
  ML Family Workshop 2025
  paper - workshop slides
• Overcomming brittleness in Pareto-optimal learning-augmenting algorithms
  S. Angelopoulos, C. Dürr, A. Elenter, Y. Lefki
  NeurIPS 2024
  paper