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.

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.

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.

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

Counterexamples to Ashbaugh's higher-index PPW conjecture for Dirichlet Laplacian eigenvalue ratios, with exact-arithmetic verification.

Kernel-checked Lean counterexample to restricted Bell real-rootedness: B_(800,<=5) has a nonreal zero (Moll–Ramírez–Villamizar Conjecture 6.4).

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)

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

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