RU-Automated-Reasoning-Group

All

16 repositories

CE2
Public
NeurIPS'24 Exploring the Edges of Latent State Clusters for Goal-Conditioned Reinforcement Learning
reinforcement-learning robotics model-based-reinforcement-learning world-models unsupervised-reinforcement-learning go-explore sparse-reward-algorithms goal-conditioned-rl
Python
•0•0•0•0•Updated Oct 29, 2024Oct 29, 2024
MUN
Public
NeurIPS'24 Learning World Models for Unconstrained Goal Navigation
reinforcement-learning robotics model-based-reinforcement-learning world-models sparse-reward-algorithms goal-conditioned-rl
Python
•0•0•0•0•Updated Oct 29, 2024Oct 29, 2024
VELM
Public
CAV'24: Safe Exploration in Reinforcement Learning by Reachability Analysis over Learned Models
MATLAB
•
GNU General Public License v3.0
•0•1•0•0•Updated May 17, 2024May 17, 2024
ReGuS
Public
PLDI'24: Reward-guided Synthesis of Intelligent Agent with Control Structures
Python
•
GNU General Public License v3.0
•1•4•0•0•Updated Apr 16, 2024Apr 16, 2024
GCRL-LTL
Public
NeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives
reinforcement-learning
Python
•
GNU General Public License v3.0
•2•18•0•0•Updated Jan 5, 2024Jan 5, 2024
MicroCaml
Public
CS 314 MicroCaml Lexer Parser Type Inference
OCaml
•0•1•0•0•Updated Dec 16, 2023Dec 16, 2023
Minigrid
Public
Simple and easily configurable grid world environments for reinforcement learning
Python
•
Other
•611•0•0•0•Updated Aug 20, 2023Aug 20, 2023
pi-PRL
Public
ICLR'22 Programmatic Reinforcement Learning
program-synthesis differentiable-programming interpretable-machine-learning reinforcement-learning
Python
•
MIT License
•3•15•1•0•Updated Apr 15, 2023Apr 15, 2023
VEL
Public
TACAS'23: Verification-guided Programmatic Controller Synthesis
reinforcement-learning program-synthesis program-verification differentiable-programming
C++
•1•2•0•0•Updated Jan 27, 2023Jan 27, 2023
CS515
Public
Jupyter Notebook
•3•8•0•0•Updated Dec 28, 2022Dec 28, 2022
DifferentiableSyGuS
Public
A differentiable program synthesizer for SyGuS
Slash
•
MIT License
•1•0•0•0•Updated Sep 8, 2022Sep 8, 2022
dPads
Public
NeurIPS'21 Differentiable Program Synthesis
program-synthesis sequence-classification interpretable-deep-learning differentiable-programming
Python
•2•5•0•0•Updated Dec 28, 2021Dec 28, 2021
ART
Public
FMCAD'20 "ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks".
Python
•
MIT License
•3•0•0•0•Updated Aug 5, 2020Aug 5, 2020
DiffAbs
Public
Differentiable abstract domain implementations for neural network reasoning on PyTorch
Python
•
MIT License
•4•0•0•0•Updated Aug 5, 2020Aug 5, 2020
VRL_CodeReview
Public
PLDI 19' An Indutive Synthesis Framework for Verifiable Reinforcement Learning
Python
•
MIT License
•5•0•0•0•Updated Jan 14, 2020Jan 14, 2020
LinearArbitrary-SeaHorn
Public
PLDI 18' LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
C
•
Other
•8•0•0•0•Updated Jun 25, 2018Jun 25, 2018