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 3 years ago
- ๐งฎ Algebraic Positional Encodings.โ16Updated last month
- Neural theorem proving tutorial, version IIโ39Updated last year
- Fast singularity detection with kernelโ37Updated last year
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"โ59Updated 3 years ago
- The Energy Transformer block, in JAXโ59Updated last year
- Harmonic Datasetsโ47Updated last year
- Genetic programming using LLMsโ46Updated 6 months ago
- LLMs + Lean, on your laptop or in the cloudโ179Updated 2 months ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Provingโ39Updated 2 years ago
- Benchmark for undergraduate-level formal mathematicsโ108Updated 11 months ago
- An environment for learning formal mathematical reasoning from scratchโ72Updated last year
- โ35Updated 9 months ago
- Meta-learning inductive biases in the form of useful conserved quantities.โ37Updated 2 years ago
- Graphically structured diffusion model.โ20Updated 2 years ago
- A domain-specific probabilistic programming language for modeling and inference with language modelsโ135Updated 4 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdfโ22Updated last year
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inferenceโ16Updated 7 months ago
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.โ57Updated 4 years ago
- Tutorial on neural theorem provingโ177Updated last year
- โ31Updated 5 months ago
- โ72Updated 3 years ago
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for reinโฆโ30Updated last month
- Hierarchical Associative Memory User Experienceโ103Updated 2 months ago
- This repository includes code to reproduce the tables in "Loss Landscapes are All You Need: Neural Network Generalization Can Be Explaineโฆโ38Updated 2 years ago
- โ43Updated 2 years ago
- Design and analyze optimal deep learning models.โ24Updated last month
- Learning Universal Predictorsโ79Updated last year
- Scalable training and inference for Probabilistic Circuitsโ76Updated 2 months ago
- How to Turn Your Knowledge Graph Embeddings into Generative Modelsโ53Updated last year