counterexample

Privacy-safe Hermes researcher for web, GitHub, YouTube, Reddit, documents, source-lineage checks, counterexamples, and decision-ready briefs

A friendly functional language for finding counterexamples 🎯

Precomposition on continuous alternating maps is not analytic in characteristic 2: the paper and its Lean 4 / Mathlib formalization

MIRROR of https://codeberg.org/catseye/Eightebed : A C-like language with explicit free which is nonetheless safe

AI-Assisted Discovery and Construction of a Counterexample to the Convergence of Three-Block ADMM with the Identity Matrix as Its Third Constraint Block

Adversarial patch verification with executable evidence, minimized counterexamples, regression synthesis, and CI/VS Code integrations.

MATLAB experiments for a counterexample to global convergence of classical DFP under strong Wolfe conditions.

Lean 4 counterexample to Lemma 64 of Kahrs and Smith (FSCD 2016), the lemma behind their published proof of RTA open problem 79.

Lean-checked explicit counterexample to six-matrix trace positivity (Δ₆ > 0) in Sra's quantum coupon collector problem (MathOverflow 263833). The failure follows from Sra's published Theorem 8.4; no novelty claim.

A 13-vertex disproof of the Annor–Howerton graph conjecture, with a structural proof, machine-readable witnesses, and exact verification

Proof that 20 glasses of Ouzo don't matter by Mathematical Induction

Behavioral verification for GitHub Actions. Write what your CI must guarantee, get a concrete counterexample when it doesn't. No execution, no secrets, no LLM.

Exact counterexamples to a Lorentzianity conjecture for border-strip E-polynomials

An explicit C^4 counterexample to the Jacobian Conjecture via a normalized linear-times-cubic quartic factorization.

Exact counterexample to the Greedy Superstring Conjecture, with Python verifiers, Lean 4 certificate, and formal paper

Graph-theoretic discovery and formal verification laboratory: an exact enumeration/counterexample engine (Rust), a Python control plane, and a Lean 4 / Mathlib proof pipeline with a kernel-checked witness bridge.

Lean 4 certificates for C5[K4] counterexamples to WOWII Graph Conjectures 63 and 85

Exact verification code for the counterexample to Goemans' unsplittable-flow cost conjecture and the suprema of its three-parameter family (companion to Zenodo record)

Exact counterexample (22 July 2026) and unbounded family (24 July 2026) for line-graph inertia Conjecture 4.12, with reproducible exact certificates.

Stochastic parallelised search for counter- and extreme examples to inequalities between "nonbities" of 2 polynomials with nonnegative coefficients and of their product, where a nonbity of a polynomial quantifies its "distinctiveness" from a {0,1}-one. Related to unfair 0-1-polynomials conjecture.