Counterexample

Ask about this topic

Momentum

2 papers in the last four weeks, down 33% on the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 23

All topics
CardsList

  1. Counterexamples to Local Reconstruction Gain as a Proxy for Final Fidelity in Residual Completion

    Sep 28, 2026Yasuto Hoshi, Daisuke Miyashita, Jun DeguchiCompletionDynamic Sparse Attention

    Kioxia Corporation

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

    Sep 9, 2026Weifeng YangMonotone Variational InequalitiesMonotonicity

  3. AutoGraphForge: Towards Automated Graph Theory Discovery

    Sep 3, 2026Ján PastorekTheorem ProvingOpen Problems

    Department of Applied Informatics, Comenius University in Bratislava, Bratislava, Slovakia

  4. Metrics That Write Themselves: Evolving an Evaluator from Its Own Blind Spots

    Aug 19, 2026Xing Zhang, Yanwei Cui, Guanghui Wang +2CounterexampleReport

    AWS Generative AI Innovation Center

  5. Self-evolving network verifiers

    Aug 11, 2026Ioannis Protogeros, Tibor Schneider, Laurent VanbeverOptical NetworksCounterexample

    ETH Zürich Zürich, Switzerland

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

    Aug 5, 2026Gautam Neelakantan MemanaRectified Linear UnitCounterexample

  7. Pyramidal Width Can Increase Under Vertex Insertion

    Jul 31, 2026Jinze ZhaoPolytopesLattice

    University of California, San Diego

  8. 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

    Fudan University

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

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

    Shanghai University · Fudan University · AI for Scientific Simulation and Discovery Lab, Westlake University +1

  10. Agentic Synthesis against Counterexample-Supplemented Sketches

    Jul 17, 2026Muness Castle, Eric RubeckCoding AgentsCounterexample

    Independent

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

    Jun 14, 2026Yuanlong ChenBoltzmann PoliciesStochastic Approximation

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

    Jun 13, 2026Octave Oliviers, Glenn VinnicombeMonte CarloMarkov Chain Monte Carlo

    Department of Engineering · University of Cambridge · Cambridge, UK

  13. Counterexample Guided Learning in the Large using Reasoning Agents

    Jun 9, 2026Hongyi Liu, Frederic Sala, Thomas Reps +1InductionCounterexample

    Department of Computer Sciences, University of Wisconsin-Madison

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

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

    University of Calabria, Rende, Italy

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

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

    School of Electrical Engineering and Robotics, Faculty of Engineering, −Queensland University of Technology, Brisbane, Queensland, Australia

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

    May 17, 2026Meng Li, Xiaohua Yang, Jie Liu +1Algebraic StructuresMetamorphic Relation Adequacy

    School of Computing, University of South China, Hengyang, 421001, China · Hunan Engineering Research Center of Software Evaluation and Testing for Intellectual Equipment, Hengyang, 421001, China · CNNC Key Laboratory on High Trusted Computing, Hengyang, 421001, China +2

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

    May 12, 2026Hongmin LiGeneration ProvenanceOut-Of-Distribution

    School of Life Science and Technology, Institute of Science Tokyo · Department of Computational Biology and Medical Sciences, Graduate School of Frontier Sciences, The University of Tokyo

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

    May 10, 2026Kevin Dao, Jose Israel RodriguezCounterexampleOpen Problems

    Department of Mathematics, University of Wisconsin-Madison, Wisconsin, USA.

  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

    Rochester Institute of Technology, Rochester, NY, USA · Lawrence Livermore National Laboratory, Livermore, CA, USA

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

    May 8, 2026Shuren Xia, Qiwei Li, Taqiya Ehsan +1Multi-Agent CoordinationProtocol

    Rutgers University Piscataway, NJ, USA

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

    May 5, 2026Daniel Drucker, Kyle MahowaldLLM Reasoning StrategiesCounterexample

    Department of Philosophy The University of Texas at Austin · Department of Linguistics The University of Texas at Austin

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

    Apr 18, 2026Antonio Valerio Miceli Barone, Poon Tsz NokEquivalenceLlm-Driven Code Synthesis

    School of Informatics, University of Edinburgh

  23. Characterizing Language Generation in the Limit: Finite Witnesses and a Separation-Width Hierarchy

    Date pendingXiaoyu Li, Andi Han, Jiaojiao Jiang +1InfinitiesContext-Free Grammars

    University of New South Wales · University of Sydney