CMU_ATAC_BLUE

community

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

anmolagarwal999 submitted a paper 5 days ago

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization

atharva-naik-1 authored a paper 12 days ago

Super-NaturalInstructions: Generalization via Declarative Instructions on 1600+ NLP Tasks

atharva-naik-1 authored a paper 12 days ago

Representation Learning for Conversational Data using Discourse Mutual Information Maximization

View all activity

atac-cmu 's datasets

None public yet