会员服务
Formal Semantics and Type System for Vega Data Transformations
Arxiv
0+阅读 · 6月12日
Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
Arxiv
0+阅读 · 6月16日
LLMs Lean on Priors, Not Programming Language Semantics
Arxiv
0+阅读 · 5月29日
$λ_A$: A Typed Lambda Calculus for LLM Agent Composition
Arxiv
0+阅读 · 4月14日
A vector logic for intensional formal semantics
Arxiv
0+阅读 · 2月3日
Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
Arxiv
0+阅读 · 2月2日
Policies for Fair Exchanges of Resources
Arxiv
0+阅读 · 1月30日
Effectful Mealy Machines
Arxiv
0+阅读 · 2025年12月23日
Symbolic ω-automata with obligations
Arxiv
0+阅读 · 2025年12月2日
参考链接
微信扫码咨询专知VIP会员
Top