Effective Field Theories (EFTs) play a pivotal role in our search for new physics. Any weekly-coupled UV theory can be matched to the so-called Standard Model EFT which can then be compared to data via several fitting tools. The automation of one-loop matching is a milestone in this pipeline that aims at comparing generic new models with data in record time through computer tools.
I will present Matchete, a Mathematica program using functional methods, that takes as input a UV Lagrangian, integrates out heavy degrees of freedom and outputs an EFT Lagrangian. The output is then reduced to a minimal basis using integration by parts, simplification of Dirac and group structures, Fierz identities, and finally, field redefinitions.
After reviewing the underlying theory of functional matching, I will showcase the present capabilities of the package and discuss future plans.