ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Math/Logic Reasoning

发布

2026年04月09日

采集 2026年04月09日 00:00

学术前沿 6.0 分 — 混合LLM+轻量证明检查器进行数学逻辑推理，形式化验证+LLM结合

原文： arXiv

评分 6 · 来源：arXiv · 发布于 2026-04-09

评分依据：混合LLM+轻量证明检查器进行数学逻辑推理，形式化验证+LLM结合