会员服务
程序设计语言( Programming Languages )又称编程语言，是一组用来定义计算机程序的语法规则。
ANEForge: Python for direct computation on the Apple Neural Engine
Arxiv
0+阅读 · 10月15日
Verifying deployed bytecode against executable EVM semantics, with exact gas and no added axioms
Arxiv
0+阅读 · 10月14日
QEDIA: Quantum Program Verification in Lean
Arxiv
0+阅读 · 10月13日
Typechecking without Minimum Types: Finite Bases and Backward Checking for $F_{<:}^{\top}$
Arxiv
0+阅读 · 10月14日
Explorable Proofs: Making Written Proofs Explorable by Grounding Them in Formal Representations
Arxiv
0+阅读 · 10月14日
FAOPs: Normal Forms and an Algebra for AI Agent Workflows
Arxiv
0+阅读 · 10月15日
SEVerA: Verified Synthesis of Self-Evolving Agents
Arxiv
0+阅读 · 10月15日
OpenMQPI: An MLIR-based Pipeline to Offload Quantum Circuits via OpenMP
Arxiv
0+阅读 · 10月13日
sGLP: Simulating People with Stochastic Agents
Arxiv
0+阅读 · 10月14日
LLMON: An LLM-native Markup Language to Leverage Structure and Semantics at the LLM Interface
Arxiv
0+阅读 · 10月15日
Enhancing Knowledge Density via Hierarchical Context Pruning for Retrieval-Augmented Repository-Level Code Completion
Arxiv
0+阅读 · 10月15日
MolLean: A Process-Verifiable Language for Chemical Reasoning
Arxiv
0+阅读 · 10月14日
Language-Based Agent Control
Arxiv
0+阅读 · 10月15日
Compositional Information Geometry of Probabilistic Programs
Arxiv
0+阅读 · 10月13日
Semantics for 2D Rasterization
Arxiv
0+阅读 · 10月12日
参考链接
微信扫码咨询专知VIP会员
Top