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 4 years ago
• konstantinosKokos / ape
  🧮 Algebraic Positional Encodings.
  ☆17Updated 4 months ago
• nicholaslourie / opda
  Design and analyze optimal deep learning models.
  ☆27Updated 4 months ago
• Silent-Zebra / twisted-smc-lm
  ☆31Updated 8 months ago
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆59Updated last month
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 3 years ago
• uzulim / hades
  Fast singularity detection with kernel
  ☆37Updated last year
• dylandoblar / noether-networks
  Meta-learning inductive biases in the form of useful conserved quantities.
  ☆38Updated 3 years ago
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆113Updated last year
• bhoov / energy-transformer-jax
  The Energy Transformer block, in JAX
  ☆62Updated 2 years ago
• aks2203 / easy-to-hard
  Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"
  ☆60Updated 3 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated last year
• HEmile / a-nesi
  A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
  ☆17Updated 10 months ago
• Tractables / pyjuice
  Scalable training and inference for Probabilistic Circuits
  ☆89Updated this week
• pilancilab / scnn
  Scalable Convex Neural Networks
  ☆24Updated 7 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆197Updated 2 months ago
• EdinburghNLP / torch-adaptive-imle
  ☆35Updated last year
• shehper / AC-Solver
  A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…
  ☆31Updated 4 months ago
• google-research / discs
  DISCS: The code base for the Benchmark for Discrete Sampling
  ☆63Updated last year
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆138Updated 7 months ago
• cambridge-mlg / EinsumNetworks
  ☆53Updated 2 years ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆52Updated last year
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆177Updated last year
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆24Updated last year
• Sea-Snell / grokking
  unofficial re-implementation of "Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets"
  ☆81Updated 3 years ago
• glassroom / heinsen_sequence
  Code implementing "Efficient Parallelization of a Ubiquitious Sequential Computation" (Heinsen, 2023)
  ☆98Updated last year
• kitft / funsearch
  Genetic programming using LLMs
  ☆53Updated 9 months ago
• joshuacnf / paradox-learning2reason
  ☆37Updated last year
• AllanYangZhou / universal_neural_functional
  ☆53Updated last year
• algo-reasoning / algo-reasoning.github.io
  Neural Algorithmic Reasoning Tutorial
  ☆12Updated 3 years ago