会员服务
Quantitative Verification with Neural Networks
Arxiv
0+阅读 · 2月11日
Combining Tests and Proofs for Better Software Verification
Arxiv
0+阅读 · 2月7日
Formalization of non-Archimedean functional analysis 1: spherically complete spaces
Arxiv
0+阅读 · 2月15日
Constructing Koszul filtrations: existence and non-existence for G-quadratic algebras
Arxiv
0+阅读 · 2月6日
When Are Two RLHF Objectives the Same?
Arxiv
0+阅读 · 2月5日
Formalization of non-Archimedean functional analysis 1: spherically complete spaces
Arxiv
0+阅读 · 1月29日
Examples and counterexamples of injective types
Arxiv
0+阅读 · 1月18日
Combining Tests and Proofs for Better Software Verification
Arxiv
0+阅读 · 1月21日
Adjust for Trust: Mitigating Trust-Induced Inappropriate Reliance on AI Assistance
Arxiv
0+阅读 · 1月26日
Counterexample Classification against Signal Temporal Logic Specifications
Arxiv
0+阅读 · 1月20日
Counterexamples, Constructions, and Nonexistence Results for Optimal Ternary Cyclic Codes
Arxiv
0+阅读 · 1月18日
Disproving two conjectures on the Hamiltonicity of Venn diagrams
Arxiv
0+阅读 · 1月12日
Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties
Arxiv
0+阅读 · 1月7日
SoundnessBench: A Soundness Benchmark for Neural Network Verifiers
Arxiv
0+阅读 · 2025年12月30日
Stable Voting and the Splitting of Cycles
Arxiv
0+阅读 · 2025年12月29日
参考链接
微信扫码咨询专知VIP会员
Top