zawagner22 / cross-entropy-for-combinatorics
Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
☆55Updated 3 years ago
Alternatives and similar repositories for cross-entropy-for-combinatorics
Users that are interested in cross-entropy-for-combinatorics are comparing it to the libraries listed below
Sorting:
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆19Updated 3 years ago
- Convex optimization modeling in Lean 4☆46Updated 11 months ago
- Python talking to the Lean theorem prover☆44Updated 3 years ago
- ☆23Updated last month
- Python package for Sentential Decision Diagrams (SDD)☆59Updated 2 months ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆159Updated 2 weeks ago
- Fermat's Last Theorem for regular primes☆58Updated this week
- ☆27Updated 3 years ago
- 💧 Liquid Tensor Experiment☆194Updated last year
- Interactive neural theorem proving in Lean☆122Updated 3 years ago
- ☆52Updated this week
- plasTeX plugin to build formalization blueprints.☆214Updated last week
- Scrapes public lean repositories for recently added sorries.☆13Updated this week
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆83Updated 2 months ago
- Lean mathzoo☆24Updated 3 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- Catalog Of Math Problems Formalized In Lean☆154Updated this week
- Proof recording for Lean 3☆26Updated 3 years ago
- Template for blueprint-driven formalization projects in Lean.☆50Updated last week
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Proof artifact co-training for Lean☆44Updated 2 years ago
- All the math/tex files for the Automorphic Project☆18Updated last year
- Formalization of the existence of sphere eversions☆40Updated this week
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- ☆17Updated 2 years ago
- Scientific computing in Lean 4☆392Updated last month
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 2 weeks ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆251Updated 5 months ago