会员服务
Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
Arxiv
0+阅读 · 2月18日
Interpolation with Automated First-Order Reasoning
Arxiv
0+阅读 · 1月9日
VideoAuto-R1: Video Auto Reasoning via Thinking Once, Answering Twice
Arxiv
0+阅读 · 1月8日
Breaking the illusion: Automated Reasoning of GDPR Consent Violations
Arxiv
0+阅读 · 2025年12月28日
Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
Arxiv
0+阅读 · 2025年12月7日
参考链接
微信扫码咨询专知VIP会员
Top