搜索结果: 1-1 共查到“计算机科学技术基础学科 concepts”相关记录1条 . 查询时间(0.029 秒)
We formalize the problem of program verification as a learning problem, showing that invariants in program verification can be regarded as geometric concepts in machine learning. Safety properties de-...