会员服务
Intersection patterns of set systems on manifolds with slowly growing homological shatter functions
Arxiv
0+阅读 · 1月6日
Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions
Arxiv
0+阅读 · 1月5日
A syntactic proof of decidability for the logic of bunched implication BI
Arxiv
0+阅读 · 1月3日
Proper conflict-free choosability of planar graphs
Arxiv
0+阅读 · 2025年12月28日
Feedback Arc Sets and Feedback Arc Set Decompositions in Weighted and Unweighted Oriented Graphs
Arxiv
0+阅读 · 2025年12月19日
Rainbow Arborescence Conjecture
Arxiv
0+阅读 · 2025年12月9日
The Solver's Paradox in Formal Problem Spaces
Arxiv
0+阅读 · 2025年11月18日
Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
Arxiv
0+阅读 · 2025年12月7日
Assertion-Conditioned Compliance: A Provenance-Aware Vulnerability in Multi-Turn Tool-Calling Agents
Arxiv
0+阅读 · 2025年11月29日
Co-PatcheR: Collaborative Software Patching with Component(s)-specific Small Reasoning Models
Arxiv
0+阅读 · 2025年11月25日
Independent sets and colorings of $K_{t,t,t}$-free graphs
Arxiv
0+阅读 · 2025年12月4日
Independent sets and colorings of $K_{t,t,t}$-free graphs
Arxiv
0+阅读 · 2025年11月21日
Inferring multiple helper Dafny assertions with LLMs
Arxiv
0+阅读 · 2025年10月31日
Learning to Debug: LLM-Organized Knowledge Trees for Solving RTL Assertion Failures
Arxiv
0+阅读 · 2025年12月13日
Learning to Debug: LLM-Organized Knowledge Trees for Solving RTL Assertion Failures
Arxiv
0+阅读 · 2025年11月21日
参考链接
微信扫码咨询专知VIP会员
Top