Fernández, Fröhlich, and Sokal give an overview of a rigorous analysis of critical phenomena based on random-walk expansions, in their 1992 monograph.
A field theory approach to fermionic systems is reviewed in Gentle introduction to rigorous Renormalization Group (2021). For a very recent brief overview see Rigorous renormalization group (2023).