@misc{indiciae5936f3f0a38e,
  title = {Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory},
  author = {Ruida Wang and Jerry Huang and Pengcheng Wang and Xuanqing Liu and Luyang Kong and Tong Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2606.06523},
  note = {Source identifier: 2606.06523}
}