TY  - JOUR
AU  - Araújo Aguiar, Matheus
AU  - Hernández-Cerezo, Alejandro
AU  - Kirchner, Daniel
AU  - Rubio, Albert
AU  - Albert Albiol, Elvira María
AU  - Genaim, Samir
AU  - Gordillo Alguacil, Pablo
PY  - 2025
DO  - 10.1016/j.infsof.2025.107800
UR  - https://hdl.handle.net/20.500.14352/121892
T2  - Information and Software Technology
LA  - eng
M2  - 107800
PB  - Elsevier
TI  - Neural-guided superoptimization in Ethereum
TY  - journal article
VL  - 186
ER  -