UIUC ScaleML Lab

university

https://scaleml.github.io/

AI & ML interests

None defined yet.

Recent Activity

FlippyDora submitted a paper 8 days ago

Predictive Divergence Masks for LLM RL

JackBAI authored a paper about 2 months ago

AsyncWebRL: Efficient Multi-Step RL for Visual Web Agents

JackBAI submitted a paper about 2 months ago

AsyncWebRL: Efficient Multi-Step RL for Visual Web Agents

View all activity

Papers

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

AgentSPEX: An Agent SPecification and EXecution Language

View all Papers

UIUC-ScaleML 's papers 3

Submitted by

Ruida WANG

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

UIUC-ScaleML

UIUC ScaleML Lab

Submitted by

Rui Pan

AgentSPEX: An Agent SPecification and EXecution Language

UIUC-ScaleML

UIUC ScaleML Lab

Submitted by

Rui Yang

GUI-Libra: Training Native GUI Agents to Reason and Act with Action-aware Supervision and Partially Verifiable RL

UIUC-ScaleML

UIUC ScaleML Lab