会员服务
编译器（Compiler），是一种计算机程序，它会将用某种编程语言写成的源代码（原始语言），转换成另一种编程语言（目标语言）。
mimeo: Compiling Public Expert Corpora into Agent Skills and Testing What Transfers
Arxiv
0+阅读 · 8月31日
Lie to Me: Finding Bugs in ZK DSL Toolchains with Adversarial Witness Injection
Arxiv
0+阅读 · 8月31日
URIUM: A Programming Language for a Practical Open Course on Compiler Design
Arxiv
0+阅读 · 8月28日
Adaptation Fidelity of SPEC CPU2026
Arxiv
0+阅读 · 8月27日
SUN: Persistent Programs For Language-Grounded Control-to-Learning-to-Real Policies
Arxiv
0+阅读 · 8月31日
SAGE: State-Grounded, Abstention-Aware Evaluation of Task-Oriented Dialogue Agents
Arxiv
0+阅读 · 8月31日
Compile, Don't Memorize: A Context Compilation Architecture (CCA) for In-Context Learning
Arxiv
0+阅读 · 9月1日
EVAR: Evidence-Validated Hypothesis Admission for Budget-Aware Narrative Reasoning
Arxiv
0+阅读 · 8月30日
Evo-Harness: Context-to-Harness Skill Compilation for Self-Evolving Agents
Arxiv
0+阅读 · 8月30日
View-oriented Conversation Compiler for Agent Trace Analysis
Arxiv
0+阅读 · 8月30日
LLMs Interpret, Embeddings Organize, Graphs Emerge: Agent-Driven Compilation of Scientific Knowledge
Arxiv
0+阅读 · 8月30日
JITterFlip: Uncovering Fault Attack Surfaces in JIT-Compiled LLM Serving
Arxiv
0+阅读 · 8月30日
Rust's Type Checker Implementation Is Unsound: An Empirical Study on Soundness Bugs in rustc
Arxiv
0+阅读 · 8月28日
QQ: A Language Metadata Toolkit for Multilingual NLP
Arxiv
0+阅读 · 8月31日
Reward-Oracle MCTS for Formal Theorem Proving: Sample-Efficient Search and the Need for Kernel-Level Proof Auditing
Arxiv
0+阅读 · 8月11日
参考链接
微信扫码咨询专知VIP会员
Top