第12届用于验证与综合的霍恩子句研讨会论文集 (Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis)

This volume contains the post-proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2025), which took place in Zagreb, Croatia, on July 22, 2025, as affiliated workshop of the 37th International Conference on Computer Aided Verification (CAV 2025).

翻译：本卷收录了第12届用于验证与综合的霍恩子句研讨会（HCVS 2025）的会后论文集。该研讨会于2025年7月22日在克罗地亚萨格勒布举行，是第37届计算机辅助验证国际会议（CAV 2025）的附属研讨会。

相关内容

CAV

关注 0

会议涵盖了从理论结果到具体应用的各个方面，重点讨论了实际的验证工具以及实现这些工具所需的算法和技术。CAV认为，在向生物系统和计算机安全等新领域扩展的同时，继续推动硬件和软件验证的进步至关重要。会议记录将发表在《计算机科学》系列的斯普林格-维拉格讲稿中。预计将邀请一些论文参加《系统设计中的形式化方法》专刊和《ACM杂志》。官网链接：http://i-cav.org/2019/

FlowQA: Grasping Flow in History for Conversational Machine Comprehension

专知会员服务

34+阅读 · 2019年10月18日

Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation

专知会员服务

50+阅读 · 2019年10月17日

Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs

专知会员服务

36+阅读 · 2019年10月17日

Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation

专知会员服务

59+阅读 · 2019年10月17日