Dependable Computing Lab @ BU
Popular repositories Loading
-
SpecRLBench
SpecRLBench PublicA Benchmark for Generalization in Specification-Guided Reinforcement Learning
Repositories
Showing 10 of 20 repositories
- DBP Public
- Symbol-Invariant-Transformer Public
A novel Transformer-based mechanism that is provably invariant to the renaming of interchangeable tokens
- SCUQ-RRG Public
Semantic Consistency-Based Uncertainty Quantification for Factuality in Radiology Report Generation
- GenZ-LTL Public
Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning
- HMARL-CBF Public
Hierarchical Multi-Agent Reinforcement Learning with Control Barrier Functions for Safety-Critical Autonomous Systems
- TrojAI-Submissions Public
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…