Carnegie Mellon University
university
Verified
AI & ML interests
None defined yet.
Recent Activity
View all activity
Papers
Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
PANDO: Efficient Multimodal AI Agents via Online Skill Distillation
models 0
None public yet
datasets 0
None public yet