会员服务
代码（Code）是专知网的一个重要知识资料文档板块，旨在整理收录论文源代码、复现代码，经典工程代码等，便于用户查阅下载使用。
Towards Behavior Tree-Guided Vulnerability Detection with Lightweight LLMs
Arxiv
0+阅读 · 9月1日
From Silicon to Boot Code: Extending Automated Program Repair to Firmware-Layer Security Workarounds
Arxiv
0+阅读 · 9月1日
Lifted-Product QLDPC Codes in the Polynomial Domain
Arxiv
0+阅读 · 9月1日
H3DNAS: Hardware-Aware ONNX-Native 3D Point Cloud Model Compression
Arxiv
0+阅读 · 9月2日
Can escalation channels redirect reward hacking toward defect disclosure?
Arxiv
0+阅读 · 9月2日
Type-Directed, Secure-by-Construction Enclave Partitioning for LLVM
Arxiv
0+阅读 · 9月2日
Reliable LLM-Generated Programs for High-Energy Physics Experiments through Graph-Grounded Software Knowledge
Arxiv
0+阅读 · 9月1日
Software Aging in LLM-Generated Applications: Runtime Evidence, Static Analysis, and Human-Written Comparisons
Arxiv
0+阅读 · 9月1日
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging
Arxiv
0+阅读 · 9月1日
Continuous Autonomous Refactoring: A Research Roadmap for AI-Driven Code Quality Maintenance
Arxiv
0+阅读 · 9月1日
Skill-as-API: Confidential Multi-Agent Coordination for Agentic Software Engineering
Arxiv
0+阅读 · 9月1日
A Quantum Method of Types
Arxiv
0+阅读 · 9月1日
PaperCompiler: Faithful Paper-to-Code Generation via Repository-Level Specification Compilation
Arxiv
0+阅读 · 9月2日
Covert Multi-bit LLM Watermarking: An Information Theory and Coding Approach
Arxiv
0+阅读 · 9月2日
Agent Flight Recorder: Tamper-Evident Audit Trails with On-Chain Anchoring for Long-Horizon Tool-Using Agents
Arxiv
0+阅读 · 9月1日
参考链接
微信扫码咨询专知VIP会员
Top