Talks & Seminars
Wesley Pegden｜Adventures in Autoformalization (and what’s next)
Wesley Pegden · Carnegie Mellon University
Rutgers AI and Mathematics Seminar · Past · Hybrid
Rutgers University，Hill Center 705 / Zoom
北京时间 10 月 14 日（周三）22:00–23:00
历史 Zoom 会议号 949 9974 9212 ｜ 密码 516100
Pegden 介绍 Trellis 如何用大语言模型智能体读取 TeX 数学论文，生成 Lean 形式化证明，并讨论这个工具适合处理哪些任务。
主办方公告 (opens in a new tab) · DIMACS 单场日程 (opens in a new tab)
Replies
0 public repliesNo replies yet.
0 public replies