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".
  ☆56Updated 3 years ago
• konstantinosKokos / ape
  🧮 Algebraic Positional Encodings.
  ☆16Updated 2 weeks ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated last year
• harmonic-ai / datasets
  Harmonic Datasets
  ☆46Updated last year
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• dylandoblar / noether-networks
  Meta-learning inductive biases in the form of useful conserved quantities.
  ☆37Updated 2 years ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆176Updated last month
• facebookresearch / recur
  symbolic regression
  ☆40Updated 3 years ago
• uzulim / hades
  Fast singularity detection with kernel
  ☆36Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆39Updated last year
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆58Updated 4 years ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 7 months ago
• google-deepmind / neural_networks_chomsky_hierarchy
  Neural Networks and the Chomsky Hierarchy
  ☆208Updated 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
  ☆22Updated last year
• AllanYangZhou / universal_neural_functional
  ☆52Updated last year
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆108Updated 10 months ago
• DatenVorsprung / GoTube
  Scalable stochastic verification of continuous-depth models
  ☆11Updated 2 years ago
• Silent-Zebra / twisted-smc-lm
  ☆30Updated 5 months ago
• EdinburghNLP / torch-adaptive-imle
  ☆35Updated 8 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
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆174Updated last year
• openai / lean-gym
  ☆191Updated 2 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…
  ☆38Updated 2 years ago
• lindermanlab / elk
  Scalable and Stable Parallelization of Nonlinear RNNS
  ☆20Updated this week
• lio-wong / dreamcoder
  ☆71Updated 3 years ago
• joshuacnf / paradox-learning2reason
  ☆35Updated 8 months ago
• plai-group / gsdm
  Graphically structured diffusion model.
  ☆20Updated 2 years ago
• bhoov / energy-transformer-jax
  The Energy Transformer block, in JAX
  ☆59Updated last year
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆133Updated 4 months ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆79Updated last year