dpaleka / cross-entropy-for-combinatoricsLinks
Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
☆19Updated 4 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".☆57Updated 4 years ago
- 🧮 Algebraic Positional Encodings.☆18Updated 5 months ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- ☆35Updated last year
- Neural theorem proving tutorial, version II☆40Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆140Updated 8 months ago
- The Energy Transformer block, in JAX☆63Updated 2 years ago
- Language-annotated Abstraction and Reasoning Corpus☆99Updated 2 years ago
- LLMs + Lean, on your laptop or in the cloud☆199Updated 3 months ago
- Official code for the paper `Neural Algorithmic Reasoning for Combinatorial Optimisation`☆21Updated 2 years ago
- Fast singularity detection with kernel☆38Updated 2 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 3 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Updated last year
- ☆44Updated 2 years ago
- Benchmark for undergraduate-level formal mathematics☆115Updated last year
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆25Updated last year
- Code associated to papers on superposition (in ML interpretability)☆35Updated 3 years ago
- Neural Algorithmic Reasoning Tutorial☆12Updated 3 years ago
- This repository includes code to reproduce the tables in "Loss Landscapes are All You Need: Neural Network Generalization Can Be Explaine…☆40Updated 2 years ago
- ☆74Updated 3 years ago
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆61Updated 3 years ago
- ☆36Updated last year
- Harmonic Datasets☆52Updated last year
- ☆200Updated 3 years ago
- Meta-learning inductive biases in the form of useful conserved quantities.☆39Updated 3 years ago
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆59Updated 2 months ago
- Tutorial on neural theorem proving☆177Updated 2 years ago
- ☆183Updated last month
- ☆31Updated 10 months ago
- A scalable abstraction learning library☆84Updated 4 months ago