会员服务
Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
Arxiv
0+阅读 · 6月15日
Look Again Before You Abstain:Budgeted Conformal Evidence Acquisition for Reliable Vision-Language Model
Arxiv
0+阅读 · 6月15日
Erdős Matching (Conjecture) Theorem
Arxiv
0+阅读 · 6月1日
HierSVA: A Data Synthesis Pipeline, Dataset, and Benchmark for LLM-Driven Hierarchical Hardware Formal Verification
Arxiv
0+阅读 · 6月9日
ZX-Calculus:Trace-Indexed Dependent Types and Epistemic Semantics
Arxiv
0+阅读 · 6月2日
Aspects of Coherence in Dependence Logic
Arxiv
0+阅读 · 5月29日
A foundational characterization of Hoare Logic
Arxiv
0+阅读 · 5月13日
Limitations on Accurate, Trusted, Human-level Reasoning
Arxiv
0+阅读 · 5月7日
A Combinatorial Framework for the Pons-Batle Identity: Young Tableaux, Lattice Paths, and Limit Laws
Arxiv
0+阅读 · 5月8日
Toward a Characterization of Simulation Between Arithmetic Theories
Arxiv
0+阅读 · 4月30日
snaproot: Decentralized File Integrity Verification Using Blockchain-Anchored Cryptographic Hashing
Arxiv
0+阅读 · 6月9日
Upholding Epistemic Agency: A Brouwerian Assertibility Constraint for Responsible AI
Arxiv
0+阅读 · 5月9日
Multi-LLM Systems Exhibit Robust Semantic Collapse
Arxiv
0+阅读 · 5月16日
Random 0/1-polytopes expand rapidly
Arxiv
0+阅读 · 4月10日
Benchmarking Knowledge Editing using Logical Rules
Arxiv
0+阅读 · 6月9日
参考链接
微信扫码咨询专知VIP会员
Top