dpaleka / cross-entropy-for-combinatorics
Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
☆16Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for cross-entropy-for-combinatorics
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆54Updated 3 years ago
- The Energy Transformer block, in JAX☆53Updated 11 months ago
- PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020☆15Updated 3 years ago
- Graphically structured diffusion model.☆18Updated last year
- Codes for the Numerical Results of the paper "Tangent Bundle Neural Networks: from Manifolds to Celullar Sheaves and Back"☆11Updated last year
- This repository includes code to reproduce the tables in "Loss Landscapes are All You Need: Neural Network Generalization Can Be Explaine…☆34Updated last year
- Benchmark for undergraduate-level formal mathematics☆94Updated last month
- An environment for learning formal mathematical reasoning from scratch☆53Updated 3 months ago
- The Mixing method: coordinate descent for low-rank semidefinite programming☆15Updated 3 years ago
- Geometric Algebra package for JAX☆48Updated 3 years ago
- Implementation of approximate free-energy minimization in PyTorch☆18Updated 3 years ago
- Official code for the paper `Neural Algorithmic Reasoning for Combinatorial Optimisation`☆16Updated 11 months ago
- ☆43Updated last year
- Lossless compression using Probabilistic Circuits☆16Updated 2 years ago
- LLMs + Lean, on your laptop or in the cloud☆125Updated 3 weeks ago
- unofficial re-implementation of "Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets"☆64Updated 2 years ago
- Measuring generalization properties of graph neural networks☆14Updated last year
- ☆50Updated last year
- TARDIS: Topological Algorithms for Robust DIscovery of Singularities☆39Updated last year
- Code for paper "Compositional Sculpting of Iterative Generative Processes"☆20Updated last year
- ☆33Updated 8 months ago
- ☆19Updated last year
- ☆34Updated 11 months ago
- Prototype for a Category Theory-based GNN Library☆12Updated 2 years ago
- Code for "Bayesian Structure Learning with Generative Flow Networks"☆80Updated 2 years ago
- Meta-learning inductive biases in the form of useful conserved quantities.☆37Updated 2 years ago
- Harmonic Datasets☆32Updated 4 months ago
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆60Updated 2 years ago
- Code for the paper: https://arxiv.org/pdf/2309.06979.pdf☆16Updated 3 months ago
- A library for subgraph GNN based on pyg☆39Updated 5 months ago