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".☆56Updated 3 years ago
- The Energy Transformer block, in JAX☆59Updated last year
- 🧮 Algebraic Positional Encodings.☆16Updated 7 months ago
- ☆30Updated 4 months ago
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆59Updated 3 years ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆132Updated 3 months ago
- DISCS: The code base for the Benchmark for Discrete Sampling☆59Updated 11 months ago
- Code accompanying our paper "Feature Learning in Infinite-Width Neural Networks" (https://arxiv.org/abs/2011.14522)☆62Updated 4 years ago
- Fast singularity detection with kernel☆36Updated last year
- Harmonic Datasets☆45Updated last year
- ☆68Updated 3 years ago
- A centralized place for deep thinking code and experiments☆85Updated 2 years ago
- This repository includes code to reproduce the tables in "Loss Landscapes are All You Need: Neural Network Generalization Can Be Explaine…☆37Updated 2 years ago
- ☆43Updated 2 years ago
- unofficial re-implementation of "Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets"☆78Updated 3 years ago
- ☆35Updated 8 months ago
- Meta-learning inductive biases in the form of useful conserved quantities.☆37Updated 2 years ago
- Code associated to papers on superposition (in ML interpretability)☆29Updated 2 years ago
- Scalable Convex Neural Networks☆24Updated 3 months ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated 11 months ago
- Genetic programming using LLMs☆40Updated 5 months ago
- Language-annotated Abstraction and Reasoning Corpus☆90Updated 2 years ago
- Neural theorem proving tutorial, version II☆38Updated last year
- JAX implementation of "Fine-Tuning Language Models with Just Forward Passes"☆19Updated 2 years ago
- Learning Universal Predictors☆78Updated last year
- Omnigrok: Grokking Beyond Algorithmic Data☆61Updated 2 years ago
- Code implementing "Efficient Parallelization of a Ubiquitious Sequential Computation" (Heinsen, 2023)☆94Updated 8 months ago
- Geometric Algebra package for JAX☆50Updated 3 years ago
- LLMs + Lean, on your laptop or in the cloud☆175Updated 3 weeks ago
- Design and analyze optimal deep learning models.☆23Updated last week