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.โ16Updated 2 months ago
- Fast singularity detection with kernelโ37Updated last year
- The Energy Transformer block, in JAXโ61Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language modelsโ137Updated 6 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
- An environment for learning formal mathematical reasoning from scratchโ71Updated last year
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.โ58Updated last week
- Scalable training and inference for Probabilistic Circuitsโ86Updated last week
- A centralized place for deep thinking code and experimentsโ87Updated 2 years ago
- Probabilistic programming with large language modelsโ141Updated last week
- โ34Updated 11 months 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
- โ32Updated 7 months ago
- Meta-learning inductive biases in the form of useful conserved quantities.โ37Updated 2 years ago
- How to Turn Your Knowledge Graph Embeddings into Generative Modelsโ53Updated last year
- Code implementing "Efficient Parallelization of a Ubiquitious Sequential Computation" (Heinsen, 2023)โ95Updated 11 months ago
- Code associated to papers on superposition (in ML interpretability)โ33Updated 3 years ago
- unofficial re-implementation of "Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets"โ79Updated 3 years ago
- Neural theorem proving tutorial, version IIโ39Updated last year
- Genetic programming using LLMsโ49Updated 8 months ago
- โ59Updated last month
- DISCS: The code base for the Benchmark for Discrete Samplingโ62Updated last year
- Design and analyze optimal deep learning models.โ25Updated 3 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generatโฆโ29Updated last year
- โ33Updated last year
- Scalable Convex Neural Networksโ24Updated 6 months ago
- โ36Updated 10 months ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inferenceโ16Updated 9 months ago
- Geometric Algebra package for JAXโ52Updated 4 years ago