Luyang Kong

1. SkillsBench: Benchmarking How Well Agent Skills Work Across Diverse Tasks
   2026/02/13 by Xiangyi Li, Yimin Liu, Wenbo Chen +75 · 27 voices · 53 citations
   Computer Science · #cs.AI
2. Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
   2026/06/02 by Ruida Wang, Jerry Huang, Pengcheng Wang +3 · 1 voice
   Computer Science · #cs.AI #cs.LG #cs.LO #cs.SE