Formal-Verification

从一篇产学界观点论文出发：把隐性经验写成规格与验收条件，让 AI 的产出能够被验证。附 alphaXiv 与三个思考问题。