Author

David Semedo

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#natural language process... Preprint Sep 2026

Does CoT-Pass@k Really Check the CoT? A Multilingual Mathematical Audit

Pass@k measures whether a model reaches a correct answer under repeated sampling, but never how: a lucky guess counts the same as sound reasoning. CoT-Pass@k was proposed to close that gap, adding an LLM-as-judge that must assess a solution's reasoning chain before it counts. Its value rests entirely on one assumption:...

Tarık Tuna Taşaltı, Burcu Hudaverdi, David Semedo · 0 citations

#artificial intelligence Preprint Sep 2026

Fine PT-PT Web: A High-Quality 41 Billion Tokens Data Collection of the European Portuguese Web

An efficient pipeline to curate a production-ready PT-PT corpus from the Portuguese Web, spanning 411 TB of raw data from Arquivo.pt, with a novel post-scraping block that removes boilerplate and line duplicates prior to filtering.

Gonçalo Vinagre, Rui Guerra, Pedro Gomes et al. · 0 citations