[TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search", Wenqing Zheng*, S P Sharan*, Zhiwen Fan, Kevin Wang, Yihan Xi, Atlas Wang
☆18Jan 4, 2023Updated 3 years ago
Alternatives and similar repositories for DiffSES
Users that are interested in DiffSES are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Logic Reinforcement Learning☆21Oct 20, 2025Updated last year
- ☆12Dec 15, 2024Updated last year
- ☆12Dec 12, 2021Updated 4 years ago
- ICLR'22 Programmatic Reinforcement Learning☆17Apr 15, 2023Updated 3 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆26Jun 30, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆24Mar 4, 2024Updated 2 years ago
- Code for the paper "Goals as Reward Producing Programs"☆14Dec 5, 2024Updated last year
- ROS wrapper for AirDet☆12Jul 24, 2022Updated 4 years ago
- a collection of Gymnasium environments for saturation provers☆24Dec 25, 2025Updated 10 months ago
- ☆26Aug 23, 2024Updated 2 years ago
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆12Updated this week
- a Carpentries-style lesson introducing the basics of data visualization☆11Updated this week
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 3 years ago
- A portable parser combinator library that does not require a runtime☆13Sep 16, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆40Sep 16, 2025Updated last year
- FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits☆14Aug 5, 2025Updated last year
- ☆14Dec 31, 2023Updated 2 years ago
- Online Binary Image Index☆13Nov 14, 2016Updated 9 years ago
- Code for "From the Real World to Logic and Back: Learning Symbolic World Models for Long Horizon Planning". CoRL 2025.☆14Nov 6, 2025Updated 11 months ago
- Building your GPT-based private knowledge hub using zkSNARK & PLONK☆13Jun 20, 2023Updated 3 years ago
- ☆10Oct 22, 2024Updated 2 years ago
- PyTorch implementation of Count-Based Exploration with Neural Density Models☆10Mar 22, 2018Updated 8 years ago
- Mahjong Soul assistant with the game built in — releases only☆31Sep 23, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Aug 11, 2025Updated last year
- Generic Linear Algebra Porting of PyDMD [Ongoing]☆11Aug 11, 2023Updated 3 years ago
- ☆11Jan 23, 2017Updated 9 years ago
- Generate sentences from a probabilistic context-free grammar.☆17Nov 8, 2024Updated last year
- [ICLR 2023] “ Layer Grafted Pre-training: Bridging Contrastive Learning And Masked Image Modeling For Better Representations”, Ziyu Jian…☆24Feb 16, 2023Updated 3 years ago
- [Neurips 2022] “ Back Razor: Memory-Efficient Transfer Learning by Self-Sparsified Backpropogation”, Ziyu Jiang*, Xuxi Chen*, Xueqin Huan…☆19Mar 14, 2023Updated 3 years ago
- The Neuro-Symbolic Forward Reasoner☆30Jun 19, 2023Updated 3 years ago
- dimensionality-recursive vector quantization☆10Jan 9, 2014Updated 12 years ago
- Building the Bi-LSTM & the CNN-GAN models to compose Classical Music in different eras☆12Aug 2, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- My solution to FashionAI Key Points Detection of Apparel.☆13May 31, 2018Updated 8 years ago
- A random map generator for Doom (community maintenance repo)☆16Jun 28, 2021Updated 5 years ago
- 🧮 Algebraic Positional Encodings.☆21Jun 5, 2026Updated 4 months ago
- thrml implementation skill for agents☆13Jun 9, 2026Updated 4 months ago
- ShapePP is a rewrite of ShapeOp, a header-only C++ library for static and dynamic geometry processing.☆16Sep 22, 2016Updated 10 years ago
- End-to-end formally verified solvers for the isothermal Euler and full compressible Euler equations in 1D, 2D, and 3D.☆14Aug 10, 2026Updated 2 months ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆17Dec 19, 2023Updated 2 years ago