NeuLab @ LTI/CMU

university

https://www.cs.cmu.edu/~neulab/

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

seungone authored a paper 6 days ago

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization

seungone authored a paper 6 days ago

K-BrowseComp: A Web Browsing Agent Benchmark Grounded in Korean Contexts

seungone submitted a paper 9 days ago

K-BrowseComp: A Web Browsing Agent Benchmark Grounded in Korean Contexts

View all activity

neulab 's datasets 32

neulab/tldr

Viewer • Updated Dec 22, 2022 • 448k • 96 • 12

neulab/conala

Viewer • Updated Oct 20, 2022 • 597k • 600 • 61