University of Illinois at Urbana-Champaign

AI & ML interests

None defined yet.

Recent Activity

jiaruz2  submitted a paper 7 days ago

Agentic Reasoning for Large Language Models

ak128  authored a paper 23 days ago

Finding Inductive Loop Invariants using Large Language Models

ak128  authored a paper 23 days ago

Enforcing Temporal Constraints for LLM Agents

View all activity

Papers

Agentic Reasoning for Large Language Models

When Reasoning Meets Its Laws

View all Papers

Team members 395