Latticethe structure behind the noise

Papers Digest Topics Selected Labs Collections FAQ

Created by Flynn Lachendro

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Xuanqing Liu | Lattice

Xuanqing Liu

University of Illinois Urbana-Champaign, Independent researcher

Papers on Lattice

1

Total citations

0

Topics

3

Publication activitypapers/week, last 8 weeks

Research focus

Reasoning & Chain-of-Thought (1)Scalable Oversight & Alignment Theory (1)Tool Use & Agents (1)

Frequent co-authors

Ruida Wang (1)Jerry Huang (1)Pengcheng Wang (1)Luyang Kong (1)

Papers (1)

Jun 2, 2026

Jun 2, 2026·also CMU ML, Independent researcher

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

Verified workflows in Lean4Agent outperform unverified ones by nearly 12%, showcasing the power of formal methods in enhancing LLM agent reliability.

Ruida Wang, Jerry Huang, Pengcheng Wang +3

Reasoning & Chain-of-Thought Scalable Oversight & Alignment Theory Tool Use & Agents