(Auto)formalization is supposed to be easy: Trellis process semantics for spelling out rigorous proofs 文章

ArXiv CS.AI2026-06-09NEWSen作者: Wesley Pegden
查看原文 →
关系图谱

(Auto)formalization is supposed to be easy: Trellis process semantics for spelling out rigorous proofs · 相关人物

暂无数据