Arthur Rodrigues and Alfredo Goldman. 2026.
 Verifying the minimal cubic graph without Gallai vertice in parallel with code generated by LLM: An initial study. In <em>Anais da XVII Escola Regional de Alto Desempenho de São Paulo</em>, setembro 02, 2026, São Paulo/SP, Brasil. SBC, Porto Alegre, Brasil, 49-52. DOI: <a href="https://doi.org/10.5753/eradsp.2026.31019">https://doi.org/10.5753/eradsp.2026.31019</a>.