会员服务
程序设计语言( Programming Languages )又称编程语言，是一组用来定义计算机程序的语法规则。
Optimism in Equality Saturation
Arxiv
0+阅读 · 4月16日
Optimism in Equality Saturation
Arxiv
0+阅读 · 3月25日
ChipSeek: Optimizing Verilog Generation via EDA-Integrated Reinforcement Learning
Arxiv
0+阅读 · 4月10日
$λ_A$: A Typed Lambda Calculus for LLM Agent Composition
Arxiv
0+阅读 · 4月13日
$λ_A$: A Typed Lambda Calculus for LLM Agent Composition
Arxiv
0+阅读 · 4月14日
The Path Not Taken: Duality in Reasoning about Program Execution
Arxiv
0+阅读 · 4月22日
An Investigation Into Secondary School Students' Debugging Behaviour in Python
Arxiv
0+阅读 · 4月2日
Mixing Visual and Textual Code
Arxiv
0+阅读 · 3月27日
Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
Arxiv
0+阅读 · 4月14日
Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
Arxiv
0+阅读 · 4月16日
CodePivot: Bootstrapping Multilingual Transpilation in LLMs via Reinforcement Learning without Parallel Corpora
Arxiv
0+阅读 · 4月20日
A formalization of System I with type Top in Agda
Arxiv
0+阅读 · 3月24日
A uniform characterisation of the (a)synchronous must-preorder
Arxiv
0+阅读 · 5月4日
Enabling AI ASICs for Zero Knowledge Proof
Arxiv
0+阅读 · 4月20日
Higher-Order Bialgebraic Semantics
Arxiv
0+阅读 · 3月25日
参考链接
微信扫码咨询专知VIP会员
Top