论文
Beyond LLM Judge: Mechanical Verification for Agentic Autoformalization
超越LLM裁判，结合机械数值验证与LLM语义审查，为Lean自动形式化提供可验证、高保真的新验证范式
首次收录 2026-10-15热度 1.0
formal-methodsmathverification
暂未评估,等待下一轮评分。
事件时间线
暂无事件。
关联信号
想把「Beyond LLM Judge: Mechanical Verification for Agentic Autoformalization」相关的机会落到自己的业务上?
想把 AI 机会落到自己的业务上?
灯塔背后的优秘智能团队提供:AI 落地咨询 · GEO 优化(让 AI 搜索推荐你的品牌) · 定制开发。留下需求,1 个工作日内回复。