Rodrigues, Arthur, E 		Goldman, Alfredo.
" Verifying the minimal cubic graph without Gallai vertice in parallel with code generated by LLM: An initial study" <em>Anais da Escola Regional de Alto Desempenho de São Paulo (ERAD-SP)</em> [Online], (2 setembro 2026)