Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
☆13Jul 6, 2023Updated 2 years ago
Alternatives and similar repositories for dbn_upper_bound
Users that are interested in dbn_upper_bound are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Collection of sudoku tools☆20Sep 24, 2023Updated 2 years ago
- DartMinHash: Fast Sketching for Weighted Sets☆12Dec 8, 2025Updated 3 months ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Aug 31, 2017Updated 8 years ago
- a collection of tools for GR(1) synthesis and related activities☆21Dec 12, 2025Updated 3 months ago
- Fork of https://github.com/niklasf/fishnet Supports variants playable on https://www.pychess.org☆13Mar 5, 2026Updated 2 weeks ago
- Bayesian Optimization for very Noisy functions☆18Aug 12, 2021Updated 4 years ago
- RealAnalysisGame☆58Feb 13, 2026Updated last month
- book for Halide language programming☆13Sep 8, 2021Updated 4 years ago
- List of awesome works that use AI for mathematical discoveries.☆33Mar 16, 2026Updated last week
- I moved this folder. Keeping this repo up for archival purposes only.☆17Jun 5, 2024Updated last year
- Catalog Of Math Problems Formalized In Lean☆238Updated this week
- Code for FormulaNet in NIPS 2017☆30Apr 10, 2018Updated 7 years ago
- Reinforcement learning in pure JAX.☆13Dec 24, 2025Updated 2 months ago
- AI for CodeNames☆18Feb 1, 2017Updated 9 years ago
- ☆13Dec 31, 2023Updated 2 years ago
- FlowFree puzzles solver & generator☆12Jul 8, 2022Updated 3 years ago
- A project to map out the relations between different equational theories of Magmas.☆501Mar 10, 2026Updated last week
- ☆21Oct 6, 2021Updated 4 years ago
- Scala staging framework☆18Jul 13, 2018Updated 7 years ago
- Different approaches for finetuning, evaluating, optimizations for code generation model - codestral☆11Jun 18, 2024Updated last year
- The Mixing method: coordinate descent for low-rank semidefinite programming☆15Apr 30, 2021Updated 4 years ago
- Code for reproducing the results in "Forecasting Human Dynamics from Static Images"☆13Jun 16, 2024Updated last year
- Frobenius Additive Fourier Transform☆13Jan 22, 2025Updated last year
- ☆14Aug 15, 2024Updated last year
- Zero-Shot Translation implemented by Transformer☆14Mar 24, 2023Updated 2 years ago
- maxas Scott Grey's maxas assembler sgemm explaining the (for me) missing parts https://github.com/NervanaSystems/maxas☆17Dec 22, 2018Updated 7 years ago
- GAPT: General Architecture for Proof Theory☆108Updated this week
- Real number computation software☆129Aug 16, 2022Updated 3 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- Fast C++ implementation of https://github.com/yahoo/lopq: Locally Optimized Product Quantization (LOPQ) model and searcher for approximat…☆35Apr 25, 2020Updated 5 years ago
- ☆19Feb 20, 2023Updated 3 years ago
- GitHub star history graph☆12Jan 29, 2026Updated last month
- Counterexample-Driven Genetic Programming☆18Jun 11, 2022Updated 3 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Blueprint for the PNT+ Project☆281Updated this week
- ☆18Updated this week
- Utilities for efficient fine-tuning, inference and evaluation of code generation models☆21Oct 3, 2023Updated 2 years ago