Rodrigues, Arthur, and Alfredo Goldman.
" Verifying the minimal cubic graph without Gallai vertice in parallel with code generated by LLM: An initial study." <em>Anais da XVII Escola Regional de Alto Desempenho de São Paulo,
São Paulo/SP, 2026</em>. SBC, 2026,  
pp.49-52.