UIUC ScaleML Lab

UIUC ScaleML Lab on Hugging Face Daily Papers: 3 papers, 1 in the top 3 of their day, 0 paper of the day.

1. Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory 6 upvotes, #31 of 2026-06-09
2. AgentSPEX: An Agent SPecification and EXecution Language 160 upvotes, #2 of 2026-04-22
3. GUI-Libra: Training Native GUI Agents to Reason and Act with Action-aware Supervision and Partially Verifiable RL 15 upvotes, #8 of 2026-02-26

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.