会员服务
程序设计语言( Programming Languages )又称编程语言，是一组用来定义计算机程序的语法规则。
SWE-Bench++: A Framework for the Scalable Generation of Software Engineering Benchmarks from Open-Source Repositories
Arxiv
0+阅读 · 12月19日
JustAct+: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies
Arxiv
0+阅读 · 12月20日
Deep Learning and Machine Learning -- Python Data Structures and Mathematics Fundamental: From Theory to Practice
Arxiv
0+阅读 · 12月22日
A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
Arxiv
0+阅读 · 12月23日
Advancing Automated In-Isolation Validation in Repository-Level Code Translation
Arxiv
0+阅读 · 12月23日
DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
Arxiv
0+阅读 · 12月21日
Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
Arxiv
0+阅读 · 12月20日
A Declarative Language for Building And Orchestrating LLM-Powered Agent Workflows
Arxiv
0+阅读 · 12月22日
MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair
Arxiv
0+阅读 · 12月18日
Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
Arxiv
0+阅读 · 12月23日
$\varphi$-Calculus: Object-Oriented Formalism
Arxiv
0+阅读 · 12月21日
Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs
Arxiv
0+阅读 · 12月19日
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
Arxiv
0+阅读 · 12月23日
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
Arxiv
0+阅读 · 12月24日
AutoBaxBuilder: Bootstrapping Code Security Benchmarking
Arxiv
0+阅读 · 12月24日
参考链接
微信扫码咨询专知VIP会员
Top