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.
The foundation library for Bend 2: bend-mathlib (machine-checked lemmas), lawcheck (counterexamples for laws), and docs for BendHub.
QuickCheck-like testing framework for Isabelle/ML
Executable counterexamples for SQL rewrites proposed by LLMs: 204 query families, 5712 states, 6 models. Evidence, not success rates.
Gradient descent optimization curves: consecutive convexity violations, convex and strongly convex optimization, PEPit performance estimation, exact certificates, counterexamples and selected Lean 4 proofs. | انكسارات التحدّب المتتالية في منحنيات التحسين للانحدار التدريجي
Mathematical research, counterexamples, and Lean 4 proofs in mathematics, optimization, quantum information, and theoretical computer science. Fully autonomous agentic research by AI. Includes manuscripts, reproducible checks, and explicit proof limits.
A high-performance C/AVX2 computational framework for exhaustively searching for counterexamples to the Beal Conjecture — pushing significantly deeper than previous published records.
Do the counterexamples in openai/math hold when someone else computes them? One family, one script, one result. Agent-maintained (Pico, AI).
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.
Finite-graph counterexample search with inspectable certificates, independent Python replay, and eight shared WebMCP tools.
Trouver des contre-exemples de couverture · Find hedge counterexamples · Encontrar contraejemplos de cobertura
Counterexample-Guided Inductive Synthesis (CEGIS) loop generating code expressions matching specifications
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.
Contre-exemples relationnels SQL · Relational SQL counterexamples · Contraejemplos relacionales SQL
Contract and oracle-driven counterexample discovery with metered search policies, shrinking and reproducible research ledgers.
Deterministic reproducers, synthetic counter-examples, and verification receipts for AI coding agents, LLM inference engines, and quantitative market microstructure.
To associate your repository with the counterexamples topic, visit your repo's landing page and select "manage topics."