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".☆55Updated 3 years ago
- 🧮 Algebraic Positional Encodings.☆16Updated 6 months ago
- The Energy Transformer block, in JAX☆59Updated last year
- Fast singularity detection with kernel☆33Updated last year
- How to Turn Your Knowledge Graph Embeddings into Generative Models☆51Updated last year
- Harmonic Datasets☆40Updated last year
- Official code for the paper `Neural Algorithmic Reasoning for Combinatorial Optimisation`☆18Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆132Updated 2 months ago
- ☆29Updated 3 months ago
- ☆35Updated 7 months ago
- Official repository for the paper "Neural Differential Equations for Learning to Program Neural Nets Through Continuous Learning Rules" (…☆23Updated last month
- Meta-learning inductive biases in the form of useful conserved quantities.☆37Updated 2 years ago
- ☆120Updated last year
- Differentiable Euler Characteristic Transform☆17Updated last year
- Code associated to papers on superposition (in ML interpretability)☆28Updated 2 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- ☆34Updated 6 months ago
- Neural Algorithmic Reasoning Tutorial☆12Updated 2 years ago
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆59Updated 3 years ago
- ☆43Updated 2 years ago
- ☆45Updated 9 months ago
- Python library for working with graphons☆22Updated 7 years ago
- ☆32Updated 9 months ago
- ☆13Updated last month
- ☆22Updated last year
- Fine-grained, dynamic control of neural network topology in JAX.☆21Updated last year
- Neural theorem proving tutorial, version II☆38Updated last year
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆15Updated 5 months ago
- Geometric Algebra package for JAX☆49Updated 3 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 6 months ago