arXiv cs.AI· Zihan Tang, Huibiao Zhu·· 8 小时前AI 评分20
LASER：面向长距离协议依赖的可废止证书搜索
LASER: Defeasible Certificate Search for Long-Range Protocol Dependencies
AI 导读
LASER 是一种带证明的稀疏可废止协议证据搜索方法，将缺失支撑与未决修正表示为显式义务，由 occurrence-aware 符号检查器判定证书是支持、反驳还是悬置某行为。
来源：arXiv cs.AI · arxiv.org