Verification

Recent momentum

-54%

40 papers in the last 28 days · 1.0% 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-14

14 new papers

A weekly snapshot of new work published in Verification.

Period ending 2026-09-07

19 new papers

A weekly snapshot of new work published in Verification.

435 papers

Latest in Verification

Open your feed →
CardsList
  1. CoVer: Conflict-Aware Claim Verification

    Sep 1, 2026Shuning Zhang, Dai Shi, Bohao Chu +7Fact-CheckingIncomplete Evidence

  2. Self-evolving network verifiers

    Aug 11, 2026Ioannis Protogeros, Tibor Schneider, Laurent VanbeverFormal VerificationNeural Network Verification