UIUC ScaleML Lab

university

https://scaleml.github.io/

AI & ML interests

None defined yet.

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