TY  - RPRT
TI  - Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
AU  - Jianhong Zhao
AU  - Everett Hildenbrandt
AU  - Juan Conejero
AU  - Yongwang Zhao
PY  - 2025
UR  - https://arxiv.org/abs/2509.21793
ID  - 2509.21793
ER  -