会员服务
程序设计语言( Programming Languages )又称编程语言，是一组用来定义计算机程序的语法规则。
BuildBench: Benchmarking LLM Agents on Compiling Real-World Open-Source Software
Arxiv
0+阅读 · 9月27日
Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
Arxiv
0+阅读 · 9月29日
Garbage Collection for Rust: The Finalizer Frontier
Arxiv
0+阅读 · 9月30日
Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
Arxiv
0+阅读 · 9月30日
Black-box Context-free Grammar Inference for Readable & Natural Grammars
Arxiv
0+阅读 · 9月30日
Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
Arxiv
0+阅读 · 9月30日
Monoid Structures on Indexed Containers
Arxiv
0+阅读 · 9月30日
Lita: Light Agent Uncovers the Agentic Coding Capabilities of LLMs
Arxiv
0+阅读 · 9月30日
Efficient Cost Bounds with Linear Maps
Arxiv
0+阅读 · 9月26日
Fine-Grained Reasoning About Container-Internal Pointers with Logical Pinning
Arxiv
0+阅读 · 9月27日
From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
Arxiv
0+阅读 · 9月29日
Agentic Specification Generator for Move Programs
Arxiv
0+阅读 · 9月29日
A benchmark for vericoding: formally verified program synthesis
Arxiv
0+阅读 · 9月26日
TF-Bench: Evaluating Program Semantics Reasoning with Type Inference in System F
Arxiv
0+阅读 · 9月28日
Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification
Arxiv
0+阅读 · 9月27日
参考链接
子主题
Go 语言
Scala
SQL
Swift
ASP
MATLAB
JSON
MongoDB
C语言
VBScript
Ruby
DTD
正则表达式
PHP
Java
设计模式
Perl
JavaScript
Lua
C#
Redis
CSS
HTML
Leetcode
Python
Kotlin
XML
微信扫码咨询专知VIP会员
Top