Alternatives and similar repositories for symbolic_simplifier:

Users that are interested in symbolic_simplifier are comparing it to the libraries listed below

• Jungyhuk / latent-execution
  ☆25Updated 3 years ago
• ahjwang / messenger-emma
  Implements the Messenger environment and EMMA model.
  ☆23Updated last year
• bunelr / GandRL_for_NPS
  Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  ☆38Updated last year
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 2 years ago
• JindongJiang / GNM
  Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"
  ☆35Updated 11 months ago
• anirudh9119 / neural_production_systems
  ☆15Updated 4 years ago
• machelreid / can-wikipedia-help-offline-rl
  Official code for "Can Wikipedia Help Offline Reinforcement Learning?" by Machel Reid, Yutaro Yamada and Shixiang Shane Gu
  ☆102Updated 2 years ago
• karthikncode / Grounded-RL-Transfer
  ☆13Updated 6 years ago
• google-research / crossbeam
  ☆43Updated last year
• VITA-Group / DiffSES
  [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…
  ☆15Updated 2 years ago
• IDSIA / recurrent-fwp
  Official repository for the paper "Going Beyond Linear Transformers with Recurrent Fast Weight Programmers" (NeurIPS 2021)
  ☆48Updated last year
• shrivastavadisha / N-PEPS
  ☆18Updated 3 years ago
• trishullab / near
  ☆24Updated 4 years ago
• gblackout / NLIL
  Neural Logic Inductive Learning
  ☆41Updated 2 years ago
• micahcarroll / uniMASK
  Codebase for "Uni[MASK]: Unified Inference in Sequential Decision Problems"
  ☆54Updated 7 months ago
• JiaxuanYou / G2SAT
  G2SAT: Learning to Generate SAT Formulas
  ☆48Updated 4 years ago
• taylorwwebb / emergent_symbols
  Code for 'Emergent Symbols through Binding in External Memory'.
  ☆20Updated last year
• twitter-research / hyperbolic-rl
  ☆55Updated 2 years ago
• evgenii-nikishin / omd
  JAX code for the paper "Control-Oriented Model-Based Reinforcement Learning with Implicit Differentiation"
  ☆43Updated 3 years ago
• maxreciprocate / offline
  Offline RL experiments
  ☆14Updated 2 years ago
• henry-prior / multimodal-rl
  Solving reinforcement learning tasks which require language and vision
  ☆32Updated 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
• phy-q / benchmark
  Phy-Q: A Testbed for Physical Reasoning
  ☆43Updated 6 months ago
• princeton-nlp / XTX
  [ICLR 2022 Spotlight] Multi-Stage Episodic Control for Strategic Exploration in Text Games
  ☆14Updated 2 years ago
• Kaixhin / GUDRL
  Generalised UDRL
  ☆37Updated 2 years ago
• rfeinman / GNS-Modeling
  Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)
  ☆26Updated 3 years ago
• liqing-ustc / NGS
  Neural-Grammar-Symbolic Learning with Back-Search
  ☆52Updated 6 months ago
• reactive-systems / deepltl
  Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
  ☆31Updated 3 years ago
• yilundu / ebm_compositionality
  [NeurIPS'20] Code for the Paper Compositional Visual Generation and Inference with Energy Based Models
  ☆44Updated last year
• Hwhitetooth / jax_muzero
  An implementation of MuZero in JAX.
  ☆54Updated 2 years ago