Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
Ruida Wang · Jerry Huang · Pengcheng Wang · Xuanqing Liu · Chris Kong · Tong Zhang
首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。
实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。
Ruida Wang · Jerry Huang · Pengcheng Wang · Xuanqing Liu · Chris Kong · Tong Zhang
Jerry Huang · Siddarth Madala · Cheng Niu · Julia Hockenmaier · Tong Zhang
Reranking algorithms have made progress in improving document retrieval quality by efficiently aggregating relevance judgments generated by large language models (LLMs). However, identifying relevant documents for queries that require in-depth reasoning remains a major challenge. Reasoning-intens...
Yaowenqi Liu · Bingxu Meng · Rui Pan · Yuxing Liu · Jerry Huang · Jiaxuan You · Tong Zhang
The field of AI research is advancing at an unprecedented pace, enabling automated hypothesis generation and experimental design across diverse domains such as biology, mathematics, and artificial intelligence. Despite these advancements, there remains a significant gap in the availability of sca...