UIUC ScaleML Lab

university

https://github.com/ScaleML/ScaleML-lab

AI & ML interests

None defined yet.

Recent Activity

RickyDeSkywalker submitted a paper about 6 hours ago

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

Ray2333 authored a paper 6 days ago

OpenWebRL: Demystifying Online Multi-turn Reinforcement Learning for Visual Web Agents

Ray2333 submitted a paper 7 days ago

OpenWebRL: Demystifying Online Multi-turn Reinforcement Learning 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