G. Salvi, A. Braga, G. Dal Bianco, and S. Feitosa. " SolForge: A Large Language Model-Based Approach for the Differential Testing of Solidity Compilers", in Anais do XXX Simpósio Brasileiro de Linguagens de Programação, São Paulo/SP, 2026, pp. 133-140, doi: https://doi.org/10.5753/sblp.2026.29638.