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
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.
construction of a nowhere convex, non-negative, strictly increasing, continuously differentiable function tightly bounded from above by a convex one
Forty review cases for formalizations that compile and still say the wrong thing.
Finite-graph counterexample search with inspectable certificates, independent Python replay, and eight shared WebMCP tools.
To associate your repository with the counterexamples topic, visit your repo's landing page and select "manage topics."