Salem, Murilo, 		Böhm, Luísa, 		Reis, Henrique dos, 		Carvalho, Lúcio Vagner, 		Ferrugem, Theo, E 		Ferrugem, Anderson.
" Sampling Is Not Selecting: Verifiability as the Bottleneck of Inference-Time Scaling" <em>Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)</em> [Online], (19 outubro 2026)