Conditional Lean formalization and numerical certificate for prime gaps at most 186.
☆165Sep 2, 2026Updated 3 weeks ago
Alternatives and similar repositories for PrimeGaps186
Users that are interested in PrimeGaps186 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16May 28, 2026Updated 3 months ago
- ☆11Apr 21, 2025Updated last year
- ☆10May 23, 2026Updated 4 months ago
- [NSDI'26] PolyRL is a reinforcement learning framework for LLM that harvest spot instances on the cloud to reduce cost.☆19Mar 30, 2026Updated 5 months ago
- The moderator for Discrete Mathematics contests. Implemented in Django.☆12Jul 8, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- An external lean checker with a proof of consistency☆119Updated this week
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year
- Data and code for ACL 2026 Paper "Rethinking Reasoning-Intensive Retrieval: Evaluating and Advancing Retrievers in Agentic Search Systems…☆22Apr 30, 2026Updated 4 months ago
- UEval: A Benchmark for Unified Multimodal Generation☆26Apr 20, 2026Updated 5 months ago
- code for the paper, "flexible multitask computation in recurrent networks utilizes shared dynamical motifs"☆13Mar 2, 2025Updated last year
- Particle-based and nonparametric variational methods for approximate Bayesian inference and Probabilistic Programming☆18Apr 18, 2026Updated 5 months ago
- Code for paper *AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning*☆17Jul 19, 2025Updated last year
- Formalization of IMO shortlist problems in Lean 4☆26Sep 18, 2026Updated last week
- Official repository for "TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving"☆23Sep 1, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10Apr 26, 2023Updated 3 years ago
- [ICLR 2026] Polynomial, trigonometric, and tropical activations☆18Feb 23, 2026Updated 7 months ago
- ☆23Updated this week
- A desktop pet developed for claude code users.☆34May 18, 2026Updated 4 months ago
- Cooperative Language-Guided Inverse Plan Search (CLIPS).☆21Aug 22, 2025Updated last year
- The Newton-Muon optimizer☆33Jun 5, 2026Updated 3 months ago
- Lean4 benchmark on 1 category.☆27Jun 19, 2026Updated 3 months ago
- Tree prompting: easy-to-use scikit-learn interface for improved prompting.☆41Oct 24, 2023Updated 2 years ago
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆12Dec 20, 2024Updated last year
- Martingale posterior neural networks for fast sequential decision making @ Neurips 2025☆25Nov 13, 2025Updated 10 months ago
- Linux kernel source tree of developing SMDK kernel for CXL Memory☆10Oct 26, 2023Updated 2 years ago
- ☆37Dec 31, 2025Updated 8 months ago
- Minimal, dependency free implementation of the ctor crate☆17Aug 1, 2024Updated 2 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- [ICML 2025] Streamline Without Sacrifice - Squeeze out Computation Redundancy in LMM☆20May 22, 2025Updated last year
- Privacy-first AI memory layer - Signal for AI Memory. E2EE, local-first, works with Claude, Cursor, and any MCP-compatible AI.☆23Jun 12, 2026Updated 3 months ago
- [SIGGRAPH Asia 2025] The official implementation of the paper "DvD: Unleashing a Generative Paradigm for Document Dewarping via Coordinat…☆34Mar 10, 2026Updated 6 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- My attempt to improve the speed of the newton schulz algorithm, starting from the dion implementation.☆42Apr 30, 2026Updated 4 months ago
- Hand-written verified Lean solutions for the HumanEval benchmark☆31Mar 27, 2026Updated 6 months ago
- High-performance batched Top-K selection for CPU inference. Up to 80x faster than PyTorch, optimized for LLM sampling with AVX2 SIMD.☆18Mar 20, 2026Updated 6 months ago
- Accelerator Zoo☆21Oct 14, 2025Updated 11 months ago
- Flash Attention in 300-500 lines of CUDA/C++☆39Aug 22, 2025Updated last year
- The Lean Machine Learning Library☆43Updated this week
- ☆35Dec 7, 2025Updated 9 months ago