☆64Jul 17, 2026Updated 3 months ago
Alternatives and similar repositories for zero-order-bounds-lean-verification
Users that are interested in zero-order-bounds-lean-verification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Dec 12, 2023Updated 2 years ago
- ☆14Sep 12, 2026Updated last month
- AutoOPT related skills and code☆17Aug 28, 2026Updated 2 months ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆18Apr 16, 2026Updated 6 months ago
- Lean formalizations of IMO problem statements☆37Apr 23, 2026Updated 6 months ago
- This repository hosts the SAIR Mathematics Distillation Challenge: Equational Theories Stage 2, providing Lean 4 problem sets, judging to…☆28Aug 27, 2026Updated 2 months ago
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated last month
- LLM-driven proof search on Erdős problems (2 solutions accepted on erdosproblems.com)☆17Apr 21, 2026Updated 6 months ago
- An experimental solver for (disjunctive) mixed-integer programming☆11Aug 27, 2021Updated 5 years ago
- A Rational Defense of Reasonable Reflection (LICS'26 Keynote)☆10Jul 21, 2026Updated 3 months ago
- ☆21Mar 4, 2026Updated 8 months ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆108Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆11Mar 2, 2022Updated 4 years ago
- Quantum-Assisted Restricted Boltzmann Machine Framework☆12Aug 9, 2025Updated last year
- ☆242Jul 20, 2026Updated 3 months ago
- Minimal, readable LLM post-training experiments on one 8GB GPU. Measures forgetting, seed variance, and RL emergence.☆31Aug 4, 2026Updated 3 months ago
- guarded interaction trees☆14Jul 6, 2026Updated 4 months ago
- Unit and Integration Tests for JuMP NLP and MINLP solvers☆12Oct 14, 2026Updated 3 weeks ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- ☆40Sep 27, 2026Updated last month
- ☆14Apr 12, 2026Updated 6 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆50Updated this week
- ☆10Jul 6, 2021Updated 5 years ago
- ☆31Apr 3, 2026Updated 7 months ago
- Local-first knowledge graph that gives your AI assistant durable, provenance-backed memory across sessions and agents/LLMs☆15Updated this week
- ☆10Jul 30, 2024Updated 2 years ago
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆28Jul 27, 2026Updated 3 months ago
- Modified version of QPBO algorithm by Vladimir Kolmogorov for very large graphs.☆12Dec 14, 2018Updated 7 years ago
- Your engineering taste, in every coding agent. Shadowclone learns your rules and delivers them as skills to Claude Code, Codex, Cursor, P…☆24Updated this week
- ☆13Mar 14, 2026Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Cloning the Mac's built-in speech synthesizer☆12May 20, 2025Updated last year
- Run a Unikernel on microvm.nix host☆16Apr 5, 2024Updated 2 years ago
- This is the official implementation of the ICML 2023 paper - Can Forward Gradient Match Backpropagation ?☆13May 31, 2023Updated 3 years ago
- Structured data extraction and programmatic interaction with Lean 4.☆20May 7, 2026Updated 6 months ago
- Go ahead and axolotl questions☆11Feb 6, 2024Updated 2 years ago
- 🔵 QUBO Annealing & Sampling MOI Interfaces☆15Apr 4, 2023Updated 3 years ago
- SRViT: Satellite to Radar Vision Transformer☆12Jun 28, 2024Updated 2 years ago