SALEM, Murilo; BÖHM, Luísa; REIS, Henrique dos; CARVALHO, Lúcio Vagner; FERRUGEM, Theo; FERRUGEM, Anderson. Sampling Is Not Selecting: Verifiability as the Bottleneck of Inference-Time Scaling. In: ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC), 23. , 2026, Cuiabá/MT. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2026 . p. 3570-3581. ISSN 2763-9061. DOI: https://doi.org/10.5753/eniac.2026.31463.