会员服务
人们为了让计算机解决各种棘手的问题，使用编程语言 编写程序代码并通过计算机运算得到最终结果的过程。
Harpocrates: A Statically Typed Privacy Conscious Programming Framework
Arxiv
0+阅读 · 2月19日
A Data-Driven Dynamic Execution Orchestration Architecture
Arxiv
0+阅读 · 2月19日
Do Hackers Dream of Electric Teachers?: A Large-Scale, In-Situ Evaluation of Cybersecurity Student Behaviors and Performance with AI Tutors
Arxiv
0+阅读 · 2月19日
Using LLMs for Knowledge Component-level Correctness Labeling in Open-ended Coding Problems
Arxiv
0+阅读 · 2月19日
How AI Coding Agents Communicate: A Study of Pull Request Description Characteristics and Human Review Responses
Arxiv
0+阅读 · 2月19日
What to Cut? Predicting Unnecessary Methods in Agentic Code Generation
Arxiv
0+阅读 · 2月19日
Haskell meets Evariste
Arxiv
0+阅读 · 2月18日
A Reversible Semantics for Janus
Arxiv
0+阅读 · 2月18日
OpenSage: Self-programming Agent Generation Engine
Arxiv
0+阅读 · 2月18日
Distributed Order Recording Techniques for Efficient Record-and-Replay of Multi-threaded Programs
Arxiv
0+阅读 · 2月17日
Synthesis and Verification of Transformer Programs
Arxiv
0+阅读 · 2月18日
SecCodeBench-V2 Technical Report
Arxiv
0+阅读 · 2月18日
Not All Tokens Matter: Data-Centric Optimization for Efficient Code Summarization
Arxiv
0+阅读 · 2月17日
A Calculus of Overlays
Arxiv
0+阅读 · 2月18日
Calibrate-Then-Act: Cost-Aware Exploration in LLM Agents
Arxiv
0+阅读 · 2月18日
参考链接
微信扫码咨询专知VIP会员
Top