RU-Automated-Reasoning-Group

RU-Automated-Reasoning-Group's repositories

NeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives

Language:PythonGPL-3.014 3 1

ICLR'22 Programmatic Reinforcement Learning

Language:PythonMIT14 2 2

Language:Jupyter Notebook8 3 1

NeurIPS'21 Differentiable Program Synthesis

Language:Python5 1 1

TACAS'23: Verification-guided Programmatic Controller Synthesis

Language:C++2 20

CS 314 MicroCaml Lexer Parser Type Inference

Language:OCaml1 20

PLDI'24: Reward-guided Synthesis of Intelligent Agent with Control Structures

Language:PythonGPL-3.01 20

FMCAD'20 "ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks".

Language:PythonMIT010

Differentiable abstract domain implementations for neural network reasoning on PyTorch

Language:PythonMIT000

A differentiable program synthesizer for SyGuS

Language:SlashMIT000

PLDI 18' LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.

Language:CNOASSERTION010

Simple and easily configurable grid world environments for reinforcement learning

Language:PythonNOASSERTION000

CAV'24: Safe Exploration in Reinforcement Learning by Reachability Analysis over Learned Models

Language:MATLABGPL-3.0000

PLDI 19' An Indutive Synthesis Framework for Verifiable Reinforcement Learning

Language:PythonMIT010