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

• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆57Updated 3 years ago
• konstantinosKokos / ape
  🧮 Algebraic Positional Encodings.
  ☆16Updated last month
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆58Updated 4 years ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆136Updated 5 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated last year
• bhoov / energy-transformer-jax
  The Energy Transformer block, in JAX
  ☆58Updated last year
• Silent-Zebra / twisted-smc-lm
  ☆32Updated 6 months ago
• aks2203 / easy-to-hard
  Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"
  ☆59Updated 3 years ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆39Updated last year
• google-research / crossbeam
  ☆43Updated 2 years ago
• EdinburghNLP / torch-adaptive-imle
  ☆34Updated 10 months ago
• dylandoblar / noether-networks
  Meta-learning inductive biases in the form of useful conserved quantities.
  ☆37Updated 2 years ago
• glassroom / heinsen_sequence
  Code implementing "Efficient Parallelization of a Ubiquitious Sequential Computation" (Heinsen, 2023)
  ☆94Updated 10 months ago
• uzulim / hades
  Fast singularity detection with kernel
  ☆37Updated last year
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆79Updated last year
• plai-group / gsdm
  Graphically structured diffusion model.
  ☆20Updated 2 years ago
• edwardjhu / TP4
  Code accompanying our paper "Feature Learning in Infinite-Width Neural Networks" (https://arxiv.org/abs/2011.14522)
  ☆63Updated 4 years ago
• lio-wong / dreamcoder
  ☆73Updated 3 years ago
• RobinKa / jaxga
  Geometric Algebra package for JAX
  ☆51Updated 3 years ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆29Updated last year
• harmonic-ai / datasets
  Harmonic Datasets
  ☆51Updated last year
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆93Updated 2 years ago
• nicholaslourie / opda
  Design and analyze optimal deep learning models.
  ☆25Updated 2 months ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated 2 months ago
• kitft / funsearch
  Genetic programming using LLMs
  ☆48Updated 7 months ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 9 months ago
• facebookresearch / recur
  symbolic regression
  ☆40Updated 3 years ago
• Ping-C / optimizer
  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
• shehper / AC-Solver
  A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…
  ☆30Updated 2 months ago