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".
  ☆55Updated 3 years ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• konstantinosKokos / ape
  🧮 Algebraic Positional Encodings.
  ☆14Updated 5 months ago
• kitft / funsearch
  Genetic programming using LLMs
  ☆31Updated 3 months ago
• opallab / neural_networks_and_computation
  Computational abilities and efficiency of neural networks
  ☆45Updated last week
• bhoov / energy-transformer-jax
  The Energy Transformer block, in JAX
  ☆58Updated last year
• barakeel / oeis-synthesis
  ☆23Updated this week
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆38Updated last year
• morph-labs / lean-abc-true-almost-always
  ☆70Updated last week
• algo-reasoning / algo-reasoning.github.io
  Neural Algorithmic Reasoning Tutorial
  ☆12Updated 2 years ago
• ml-jku / DIffUCO
  ☆49Updated 2 weeks ago
• EdinburghNLP / torch-adaptive-imle
  ☆35Updated 6 months ago
• dylandoblar / noether-networks
  Meta-learning inductive biases in the form of useful conserved quantities.
  ☆37Updated 2 years ago
• wattenberg / superposition
  Code associated to papers on superposition (in ML interpretability)
  ☆28Updated 2 years ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆40Updated 11 months ago
• Silent-Zebra / twisted-smc-lm
  ☆29Updated 3 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆70Updated 10 months ago
• google-research / discs
  DISCS: The code base for the Benchmark for Discrete Sampling
  ☆56Updated 10 months ago
• IDSIA / neuraldiffeq-fwp
  Official repository for the paper "Neural Differential Equations for Learning to Program Neural Nets Through Continuous Learning Rules" (…
  ☆22Updated 2 weeks ago
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆22Updated last year
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated this week
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆164Updated 2 weeks 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
• cambridge-mlg / EinsumNetworks
  ☆52Updated last year
• maxencefaldor / learned-qd
  Discovering Quality-Diversity Algorithms via Meta-Black-Box Optimization
  ☆15Updated 2 months ago
• HEmile / a-nesi
  A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
  ☆15Updated 5 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆80Updated this week
• ExtensityAI / benchmark
  Evaluation of neuro-symbolic engines
  ☆35Updated 10 months ago
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆30Updated 3 months ago