Counterexample

Ask about this topic

Recent momentum

-67%

2 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-14

1 new paper

A weekly snapshot of new work published in Counterexample.

22 papers

Latest in Counterexample

Open your feed →
CardsList

  1. Nonmaximal sums of maximally monotone operators under Rockafellar's constraint qualification

    Sep 9, 2026Weifeng YangMonotonicityCounterexample

  2. AutoGraphForge: Towards Automated Graph Theory Discovery

    Sep 3, 2026Ján PastorekTheoremCounterexample

  3. Self-evolving network verifiers

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

  4. A Counterexample to Fourier Alignment in Single-Neuron Modular Addition

    Aug 5, 2026Gautam Neelakantan MemanaModular AdditionCounterexample

  5. Pyramidal Width Can Increase Under Vertex Insertion

    Jul 31, 2026Jinze ZhaoPolytopesLattice

  6. An Exact Counterexample to Carlson's Associated-Prime Depth Conjecture from a Group of Order 128

    Jul 26, 2026Xinan Dai, Wenhao Deng, Yingdong Shi +2Finite GroupsCounterexample

  7. An Explicit Counterexample to Stanley's Rankwise Lower-Bound Conjecture for Differential Posets

    Jul 25, 2026Xinan Dai, Wenhao Deng, Yingdong Shi +2Lower BoundsCounterexample

  8. Verify, Repair, Repeat, or Stop? Robust Stopping for Noisy Verify-Repair Loops in LLM Agents

    Jul 20, 2026Yitao Wu, Si Shen, Rui Yang +2VerificationAgentic Loop

  9. Agentic Synthesis against Counterexample-Supplemented Sketches

    Jul 17, 2026Muness Castle, Eric RubeckCoding AgentsCounterexample

  10. Adaptive Search in Collatz Exponent-Code Space via 2-adic and 3-adic Constraints

    Jul 10, 2026Oliver KramerConflict-Based SearchCounterexample

  11. Scalar-Stepsize Nonuniform Monte Carlo Optimistic Policy Iteration: A Certified Counterexample

    Jun 14, 2026Yuanlong ChenStochastic ApproximationMonte Carlo

  12. Exploring Starts Are Not Enough: Counterexamples and a Fix for Monte Carlo Exploring Starts

    Jun 13, 2026Octave Oliviers, Glenn VinnicombeMonte CarloOptimization Convergence Analysis

  13. Counterexample Guided Learning in the Large using Reasoning Agents

    Jun 9, 2026Hongyi Liu, Frederic Sala, Thomas Reps +1CounterexampleLarge Language Model Agents

  14. 2-ASP(Q) programs with weak constraints: Complexity and efficient implementation

    May 26, 2026Andrea Cuteri, Giuseppe Mazzotta, Francesco RiccaAnswer Set ProgrammingCounterexample

  15. When Rule Violations Are Rare: Chimera Training for Logical Anomaly Detection

    May 25, 2026Alejandro Ascarate, Leo Lebrat, Rodrigo Santa Cruz +2Anomaly DetectionUnsupervised Detectors

  16. NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras

    May 17, 2026Meng Li, Xiaohua Yang, Jie Liu +1Time-Resolved Volumetric Metamorphic Relation ImagingCounterexample

  17. A Controlled Counterexample to Strong Proxy-Based Explanations of OOD Performance: in a Fixed Pretraining-and-Probing Setup

    May 12, 2026Hongmin LiModel ProvenancePredictive Performance

  18. Minimal Filling Architectures of Polynomial Neural Networks: Counterexamples, Frontier Search, and Defects

    May 10, 2026Kevin Dao, Jose Israel RodriguezPolynomialsCounterexample

  19. Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators

    May 9, 2026Ali Baheri, Ignacio Laguna PeraltaFourier Neural OperatorsNeural Network Verification

  20. TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples

    May 8, 2026Shuren Xia, Qiwei Li, Taqiya Ehsan +1Multi-Agent CoordinationMulti-Agent Large Language Model Systems

  21. The Counterexample Game: Iterated Conceptual Analysis and Repair in Language Models

    May 5, 2026Daniel Drucker, Kyle MahowaldPhilosophyCounterexample

  22. Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification

    Apr 18, 2026Antonio Valerio Miceli Barone, Poon Tsz NokLlm-Driven Code SynthesisEquivalence