RT Journal Article T1 Neural-guided superoptimization in Ethereum A1 Araújo Aguiar, Matheus A1 Hernández-Cerezo, Alejandro A1 Kirchner, Daniel A1 Rubio, Albert A1 Albert Albiol, Elvira María A1 Genaim, Samir A1 Gordillo Alguacil, Pablo PB Elsevier YR 2025 FD 2025-06-16 LK https://hdl.handle.net/20.500.14352/121892 UL https://hdl.handle.net/20.500.14352/121892 LA eng DS Docta Complutense RD 27 jun 2025