Correctness

Recent momentum

+0%

6 papers in the last 28 days · 0.1% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Weekly history

Recent digests

What was published in this topic, kept on the site without email delivery.

Period ending 2026-09-21

2 new papers

A weekly snapshot of new work published in Correctness.

Period ending 2026-09-14

2 new papers

A weekly snapshot of new work published in Correctness.

Period ending 2026-09-07

2 new papers

A weekly snapshot of new work published in Correctness.

66 papers

Latest in Correctness

Open your feed →
CardsList
  1. CodeTD: Topology of Attention Detects Hallucinations in Code LLMs

    Sep 7, 2026Daria Voronkova, Ilya Trofimov, Anton Dmitriev +3Code GenerationCorrectness

  2. On the Robustness of LLMs' Internal Representation of Code Correctness

    Aug 8, 2026Francisco Ribeiro, Sohaila Abdulsattar, Renata Gonzalez +2Correctness

  3. The Alignment Problem in Constrained Code Generation

    Jun 19, 2026Matteo Biagiola, Jahrim Gabriele Cesario, Luca Di Grazia +2Code GenerationLarge Language Model Performance

  4. Spiking the training data to correct for test set contamination

    May 24, 2026Johnny Tian-Zheng Wei, Jerry Li, Ameya Godbole +1ContaminationTraining Data

  5. SMT-Based Active Learning of Weighted Automata

    May 8, 2026Tiago Ferreira, Kevin Batz, Alexandra SilvaAutomataActive Learning