LeWRON is a new agentic framework that automates construction, auditing, and exploration of finite-temperature effective potentials and gravitational-wave predictions for electroweak phase transitions starting from an input Lagrangian.
Robust approach to thermal re- summation: Standard Model meets a singlet,
5 Pith papers cite this work. Polarity classification is still indexing.
5
Pith papers citing it
citation-role summary
background 2
citation-polarity summary
fields
hep-ph 5years
2026 5verdicts
UNVERDICTED 5roles
background 2polarities
background 2representative citing papers
SIRENA automates IBP reduction of sum-integrals in finite-temperature QFT, reproduces known results to 3 loops, supplies new 3-loop fermionic reductions, and derives an analytic factorization formula for arbitrary 2-loop fermionic sum-integrals.
Applies high-T dimensional reduction for the first time to a classically scale-invariant model, computes NLO nucleation rate via determinants, and predicts LISA-detectable GW from supercooled PT in SU(2)cSM.
Matchotter automates one-loop finite-temperature dimensional reduction and supersoft matching for generic Lagrangians using functional techniques.
Real scalar singlet extension of SM permits strong first-order EWPT for singlet masses up to ~1 TeV; HL-LHC tests large fraction of space while FCC offers discovery reach.
citing papers explorer
-
LeWRON: Agentic Analysis of Electroweak Phase Transitions
LeWRON is a new agentic framework that automates construction, auditing, and exploration of finite-temperature effective potentials and gravitational-wave predictions for electroweak phase transitions starting from an input Lagrangian.
-
SIRENA -- Sum-Integral REductioN Algorithm
SIRENA automates IBP reduction of sum-integrals in finite-temperature QFT, reproduces known results to 3 loops, supplies new 3-loop fermionic reductions, and derives an analytic factorization formula for arbitrary 2-loop fermionic sum-integrals.
-
Theoretical consistency and phenomenology of supercooled cosmological phase transitions
Applies high-T dimensional reduction for the first time to a classically scale-invariant model, computes NLO nucleation rate via determinants, and predicts LISA-detectable GW from supercooled PT in SU(2)cSM.
-
Matchotter: An Automated Tool for Dimensional Reduction at Finite Temperature
Matchotter automates one-loop finite-temperature dimensional reduction and supersoft matching for generic Lagrangians using functional techniques.
-
Constraining the real scalar singlet extension of the SM
Real scalar singlet extension of SM permits strong first-order EWPT for singlet masses up to ~1 TeV; HL-LHC tests large fraction of space while FCC offers discovery reach.