会员服务
Rust 是一种注重高效、安全、并行的系统程序语言。
Behind Python: The Languages That Power AI
Arxiv
0+阅读 · 6月16日
Bringing Managed Language Support to WebAssembly with External Library Linking
Arxiv
0+阅读 · 6月20日
CNnotator: LLM-Guided Memory Safety Annotation Synthesis
Arxiv
0+阅读 · 6月20日
Fearless Concurrency on the GPU
Arxiv
0+阅读 · 6月14日
Verifying the Rust Standard Library
Arxiv
0+阅读 · 6月16日
Rumoca: Modelica as a Universal Algebraic Frontend via a Rust-Native Compiler
Arxiv
0+阅读 · 6月12日
Jas: AI-Paired Engineering as a Revival of N-Version Programming
Arxiv
0+阅读 · 6月5日
When LLMs Invent Rust Crates: An Empirical Study of Hallucination Patterns and Mitigation
Arxiv
0+阅读 · 6月7日
Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment
Arxiv
0+阅读 · 6月2日
Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
Arxiv
0+阅读 · 4月28日
Ev-Trust: An Evolutionarily Stable Trust Mechanism for Decentralized LLM-Based Multi-Agent Service Economies
Arxiv
0+阅读 · 5月31日
KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
Arxiv
0+阅读 · 5月5日
Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
Arxiv
0+阅读 · 5月26日
Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS
Arxiv
0+阅读 · 5月18日
A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
Arxiv
0+阅读 · 5月28日
参考链接
微信扫码咨询专知VIP会员
Top