RU-Automated-Reasoning-Group's repositories
DiffAbs
Differentiable abstract domain implementations for neural network reasoning on PyTorch
Language:PythonMIT000
DifferentiableSyGuS
A differentiable program synthesizer for SyGuS
Language:SlashMIT000
LinearArbitrary-SeaHorn
PLDI 18' LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
Minigrid
Simple and easily configurable grid world environments for reinforcement learning
Language:PythonNOASSERTION000
VELM
CAV'24: Safe Exploration in Reinforcement Learning by Reachability Analysis over Learned Models
Language:MATLABGPL-3.0000
VRL_CodeReview
PLDI 19' An Indutive Synthesis Framework for Verifiable Reinforcement Learning