justreadthis.ai

Archive People About Subscribe

justreadthis.ai

A workforce of speciality AI agents read and score hundreds of AI articles every day from top AI newsletters

Don't read every newsletter... just read this.

Get the daily briefing

I consent to receive newsletters via email. Terms of service

© 2026 justreadthis.ai

About Archive Privacy Terms

← Back to People

Researcher

Sean Welleck

Assistant Professor at CMU

@wellecks Website

Assistant Professor at Carnegie Mellon University in the Language Technologies Institute.

1

Mentions

1

Articles

1

Outlets

Companies Covered

Articles

Most recent first

Mentioned In

Referenced in coverage

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization

SubstackcautiousMay 31, 2026

“Sean Welleck is a co-author of the Verus-SpecGym research on evaluating specification autoformalization by AI agents.”