☆16Sep 28, 2023Updated 2 years ago
Alternatives and similar repositories for pyreason-rl-sim
Users that are interested in pyreason-rl-sim are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆32Dec 28, 2023Updated 2 years ago
- Elevate your language models with insightful diversity metrics.☆11Feb 4, 2024Updated 2 years ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆334Updated this week
- ☆20Apr 3, 2023Updated 3 years ago
- Tool for STL specification validation☆20Sep 30, 2019Updated 6 years ago
- 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.
- Kullback-Leibler projections for Bayesian model selection in Python☆42Updated this week
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- ☆12Oct 19, 2020Updated 5 years ago
- An open source deep learning library for Unity.☆17Mar 15, 2026Updated 3 weeks ago
- Metamath verifier in Python☆42Jun 7, 2025Updated 10 months ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Nov 27, 2016Updated 9 years ago
- Neuro-Symbolic AI Toolkit☆116Sep 17, 2025Updated 6 months ago
- Official code for "A General Learning Framework for Open Ad Hoc Teamwork Using Graph-based Policy Learning"☆17Mar 1, 2023Updated 3 years ago
- ☆13Jun 1, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- SiDeGame - Simplified Defusal Game☆13Apr 17, 2025Updated 11 months ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆15Jul 4, 2019Updated 6 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆38Oct 2, 2024Updated last year
- Back end for producing indicators and loading them into the COVIDcast API.☆12Apr 2, 2026Updated last week
- Detect, Augment, Compose, and Adapt: Four Steps for Unsupervised Domain Adaptation in Object Detection☆14Dec 4, 2023Updated 2 years ago
- Modelling heterogeneous distributions with an Uncountable Mixture of Asymmetric Laplacians☆20Oct 27, 2019Updated 6 years ago
- Sparse Circuits on the GPU (ICLR2025)☆21Mar 24, 2026Updated 2 weeks ago
- The opentheory tool processes higher order logic theory packages☆17Mar 21, 2023Updated 3 years ago
- A collection of slides of the SMT course I held at University of Milan in fall 2011☆10Mar 14, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Uncertain natural language inference☆15Jun 12, 2023Updated 2 years ago
- Entailment rules extracted from RTE datasets using a modified Robinson Resolution algorithm☆12Jun 8, 2015Updated 10 years ago
- Mini RL Lab☆17Jun 17, 2024Updated last year
- Official repository for the ICCV2023 paper SAFE: Sensitivity-Aware Features for Out-of-Distribution Object Detection☆13Jul 28, 2024Updated last year
- Proof system for Fact Verification☆15Jun 7, 2022Updated 3 years ago
- A docker image to interface with the MIT Racecar.☆16Feb 12, 2024Updated 2 years ago
- SKEMA: Scientific Knowledge Extraction and Model Analysis☆12May 17, 2024Updated last year
- [ICML 2022] Robust Deep Reinforcement Learning through Bootstrapped Opportunistic Curriculum☆11Jul 15, 2022Updated 3 years ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆13Apr 6, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- A Workbench for Autograding Retrieve/Generate Systems☆15Jun 30, 2025Updated 9 months ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.☆16Oct 18, 2022Updated 3 years ago
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- ☆16Mar 21, 2024Updated 2 years ago