shihui2010 / symbolic_simplifier

Related projects: ⓘ

• Jungyhuk / latent-execution
  ☆25Updated 2 years ago
• taylorwwebb / emergent_symbols
  Code for 'Emergent Symbols through Binding in External Memory'.
  ☆18Updated last year
• JindongJiang / GNM
  Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"
  ☆34Updated 6 months ago
• trishullab / near
  ☆23Updated 3 years ago
• google-research / crossbeam
  ☆41Updated last year
• flxsosa / ProgramSearch
  A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…
  ☆36Updated 4 years ago
• bunelr / GandRL_for_NPS
  Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  ☆37Updated last year
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 2 years ago
• ssnl / poisson_quasimetric_embedding
  Open source code for paper "On the Learning and Learnability of Quasimetrics".
  ☆32Updated last year
• sail-sg / hloenv
  an environment based on XLA for deep learning compiler optimization research.
  ☆22Updated last year
• wouterkool / estimating-gradients-without-replacement
  Estimating Gradients for Discrete Random Variables by Sampling without Replacement
  ☆39Updated 4 years ago
• JiaxuanYou / G2SAT
  G2SAT: Learning to Generate SAT Formulas
  ☆48Updated 4 years ago
• NVIDIA / GraphQSat
  Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver
  ☆50Updated 3 years ago
• yilundu / ebm_compositionality
  [NeurIPS'20] Code for the Paper Compositional Visual Generation and Inference with Energy Based Models
  ☆43Updated last year
• ahjwang / messenger-emma
  Implements the Messenger environment and EMMA model.
  ☆22Updated last year
• Yujun-Yan / Neural-Execution-Engines
  Code for Neural Execution Engines: Learning to Execute Subroutines
  ☆16Updated 3 years ago
• 95616ARG / SyReNN
  SyReNN: Symbolic Representations for Neural Networks
  ☆40Updated last year
• rfeinman / GNS-Modeling
  Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)
  ☆26Updated 3 years ago
• geraudnt / boolean_composition
  Code for the paper "A Boolean Task Algebra For Reinforcement Learning"
  ☆11Updated last year
• gblackout / NLIL
  Neural Logic Inductive Learning
  ☆41Updated 2 years ago
• liqing-ustc / NGS
  Neural-Grammar-Symbolic Learning with Back-Search
  ☆53Updated last month
• quasimetric-learning / torch-quasimetric
  PyTorch Package For Quasimetric Learning
  ☆38Updated last year
• shi27feng / transformers.satisfy
  propositional satisfiability problem (SAT) goes neural and deep
  ☆12Updated 3 years ago
• anirudh9119 / neural_production_systems
  ☆14Updated 3 years ago
• phy-q / benchmark
  Phy-Q: A Testbed for Physical Reasoning
  ☆38Updated last month
• RUNCSP / RUN-CSP
  ☆9Updated last year
• joschu / jax-exp
  ☆24Updated 5 years ago
• shrivastavadisha / N-PEPS
  ☆18Updated 2 years ago
• emreyolcu / sat
  Learning local search heuristics for Boolean satisfiability
  ☆37Updated 4 months ago
• NNReasoning / What-Can-Neural-Networks-Reason-About
  ☆44Updated 4 years ago