Salem, M., Böhm, L., Reis, H., Carvalho, L., Ferrugem, T., & Ferrugem, A. (2026). Sampling Is Not Selecting: Verifiability as the Bottleneck of Inference-Time Scaling. In Anais do XXIII Encontro Nacional de Inteligência Artificial e Computacional, (pp. 3570-3581). Porto Alegre: SBC. doi:10.5753/eniac.2026.31463