会员服务
Plane Hamiltonian Cycles in Convex Drawings
Arxiv
0+阅读 · 3月15日
QiMeng-CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis
Arxiv
0+阅读 · 3月15日
On the Non-existence of Perfect Sequences with the Array Orthogonality Property
Arxiv
0+阅读 · 3月14日
Upholding Epistemic Agency: A Brouwerian Assertibility Constraint for Responsible AI
Arxiv
0+阅读 · 3月4日
Erdős Matching (Conjecture) Theorem
Arxiv
0+阅读 · 2月20日
AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs
Arxiv
0+阅读 · 2月25日
Iterative LLM-Based Assertion Generation Using Syntax-Semantic Representations for Functional Coverage-Guided Verification
Arxiv
0+阅读 · 2月17日
A proof of P!=NP
Arxiv
0+阅读 · 2月12日
Erdős Matching (Conjecture) Theorem
Arxiv
0+阅读 · 2月14日
On the role of connectivity in Linear Logic proofs
Arxiv
0+阅读 · 2月6日
Localization game capture time of trees and outerplanar graphs
Arxiv
0+阅读 · 2月8日
STELLAR: Structure-guided LLM Assertion Retrieval and Generation for Formal Verification
Arxiv
0+阅读 · 2月5日
TestMigrationsInPy: A Dataset of Test Migrations from Unittest to Pytest
Arxiv
0+阅读 · 2月4日
Approximate minimization of interpretations in fuzzy description logics under the Gödel semantics
Arxiv
0+阅读 · 2月4日
Erdős Matching (Conjecture) Theorem
Arxiv
0+阅读 · 2月4日
参考链接
微信扫码咨询专知VIP会员
Top