eBPF-supervised execution of binary controllers/models for Runtime Verification
Mathematics Distillation Challenge, Equational Theories. Stage 1 cheatsheet and Stage 2 Lean 4 certificate solver for the SAIR Foundation competition.
QuickCheck-like testing framework for Isabelle/ML
A high-performance C/AVX2 computational framework for exhaustively searching for counterexamples to the Beal Conjecture — pushing significantly deeper than previous published records.
example of a nowhere continuous (weakly) Picard operator
Local property-testing workbench for deterministic counterexamples, shrink traces, reruns, and JS/TS debugging.
construction of a nowhere convex, non-negative, strictly increasing, continuously differentiable function tightly bounded from above by a convex one
Lean 4 + mathlib review library of mathematical formalizations: semantic errors, hidden assumptions, quantifier failures, counterexamples, repair strategies, and executable validation.
An infinite family disproving Warnaar–Zudilin Conjecture 5, with a self-contained proof and independent exact verifiers.
A resumable, parallel research loop for attacking open mathematics problems.
Add a description, image, and links to the counterexamples topic page so that developers can more easily learn about it.
To associate your repository with the counterexamples topic, visit your repo's landing page and select "manage topics."