会员服务
Failure of uniform laws of large numbers for subdifferentials and beyond
Failure of uniform laws of large numbers for subdifferentials and beyond
Arxiv
0+阅读 · 3月16日
CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
Arxiv
0+阅读 · 3月13日
No Cliques Allowed: The Next Step Towards BDD/FC Conjecture
Arxiv
0+阅读 · 3月10日
Covering a Polyomino-Shaped Stain with Non-Overlapping Identical Stickers
Arxiv
0+阅读 · 2月23日
Self-Supervised Inductive Logic Programming
Arxiv
0+阅读 · 3月4日
A Disguise-and-Squeeze PIR Scheme for the MDS-TPIR Setting and Beyond
Arxiv
0+阅读 · 3月11日
Prismatoid Band-Unfolding Revisited
Arxiv
0+阅读 · 3月10日
ConnChecker: Automated Root-Cause Analysis for Formal Connectivity Check via Graph
Arxiv
0+阅读 · 3月9日
A Unified Framework for Weighted Hypergraphic Networks and Fractional Matching
Arxiv
0+阅读 · 2月21日
A Minimum Counterexample Proof of the Seymour Second Neighborhood Conjecture via the Graph Level Order
Arxiv
0+阅读 · 2月21日
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日
参考链接
微信扫码咨询专知VIP会员
Top