TY  - RPRT
TI  - Toward a Lean Formalization of Analog Computing with Microwaves
AU  - Matteo Nerini
AU  - Xuekang Liu
AU  - Bruno Clerckx
PY  - 2026
UR  - https://arxiv.org/abs/2610.04774
ID  - 2610.04774
ER  -