Alternatives and similar repositories for Nesy-Programming:

Users that are interested in Nesy-Programming are comparing it to the libraries listed below

• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆34Updated 11 months ago
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆18Updated 2 years ago
• IBM / TensorLNN
  Scalable Training of Propositional Logical Neural Networks.
  ☆13Updated 3 years ago
• jysohn1108 / Looped-Transformer
  Official implementation of the transformer (TF) architecture suggested in a paper entitled "Looped Transformers as Programmable Computers…
  ☆24Updated 2 years ago
• Yujun-Yan / Neural-Execution-Engines
  Code for Neural Execution Engines: Learning to Execute Subroutines
  ☆17Updated 4 years ago
• reactive-systems / ml2
  Machine Learning for Mathematics and Logics
  ☆11Updated 3 weeks ago
• Thinklab-SJTU / BiLAF
  Official implementation of Our NeurIPS 2024 Paper "Boundary Matters: A Bi-Level Active Finetuning Method"
  ☆11Updated 2 months ago
• NVIDIA / GraphQSat
  Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver
  ☆52Updated 4 years ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• GATECH-EIC / SuperTickets
  [ECCV 2022] SuperTickets: Drawing Task-Agnostic Lottery Tickets from Supernets via Jointly Architecture Searching and Parameter Pruning
  ☆20Updated 2 years ago
• zhaoxlpku / SubgoalXL
  ☆25Updated 8 months ago
• Jungyhuk / latent-execution
  ☆25Updated 3 years ago
• thuwzy / Neural-Symbolic-and-Probabilistic-Logic-Papers
  A curated paper list on neural symbolic and probabilistic logic.
  ☆125Updated last year
• shihui2010 / symbolic_simplifier
  PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge
  ☆14Updated 4 years ago
• JiaxuanYou / G2SAT
  G2SAT: Learning to Generate SAT Formulas
  ☆50Updated 4 years ago
• wiio12 / LEGO-Prover
  Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
  ☆59Updated last year
• facebookresearch / miniF2F
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆83Updated 3 months ago
• VITA-Group / Data-Efficient-Scaling
  [ICML 2023] "Data Efficient Neural Scaling Law via Model Reusing" by Peihao Wang, Rameswar Panda, Zhangyang Wang
  ☆14Updated last year
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆42Updated 6 months ago
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆44Updated last year
• google-research / crossbeam
  ☆43Updated 2 years ago
• facebookresearch / LA-MCTS
  High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm
  ☆27Updated 2 years ago
• RUNCSP / RUN-CSP
  ☆9Updated 2 years ago
• microsoft / DFOL-VQA
  Differentiable First-Order Logic Reasoning for Visual Question Answering
  ☆39Updated 4 years ago
• ellisk42 / humanlike_fewshot_learning
  ☆28Updated last year
• shi27feng / transformers.satisfy
  propositional satisfiability problem (SAT) goes neural and deep
  ☆12Updated 3 years ago
• facebookresearch / Ternary_Binary_Transformer
  ACL 2023
  ☆39Updated last year
• albertqjiang / draft_sketch_prove
  ☆65Updated last year
• yuzeng2333 / autoGenILA
  Automatic generation of architecture-level models for hardware from its RTL design.
  ☆14Updated 2 years 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 11 months ago