Salem, Murilo, Luísa Böhm, Henrique dos Reis, Lúcio Vagner Carvalho, Theo Ferrugem, and Anderson Ferrugem.
" Sampling Is Not Selecting: Verifiability as the Bottleneck of Inference-Time Scaling." <em>Anais do XXIII Encontro Nacional de Inteligência Artificial e Computacional,
Cuiabá/MT, 2026</em>. SBC, 2026,  
pp.3570-3581.