会员服务
人们为了让计算机解决各种棘手的问题，使用编程语言 编写程序代码并通过计算机运算得到最终结果的过程。
Enhancing Debugging Skills with AI-Powered Assistance: A Real-Time Tool for Debugging Support
Arxiv
0+阅读 · 1月5日
The Vibe-Check Protocol: Quantifying Cognitive Offloading in AI Programming
Arxiv
0+阅读 · 1月2日
Backwards Data-Flow Analysis using Prophecy Variable in the BuildIt System
Arxiv
0+阅读 · 1月6日
Compressed code: the hidden effects of quantization and distillation on programming tokens
Arxiv
0+阅读 · 1月5日
Automated Semantic Rules Detection (ASRD) for Emergent Communication Interpretation
Arxiv
0+阅读 · 1月6日
DéjàQ: Open-Ended Evolution of Diverse, Learnable and Verifiable Problems
Arxiv
0+阅读 · 1月5日
Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming
Arxiv
0+阅读 · 1月5日
Personalized Spiking Neural Networks with Ferroelectric Synapses for EEG Signal Processing
Arxiv
0+阅读 · 1月5日
The Functional Machine Calculus III: Control
Arxiv
0+阅读 · 1月2日
A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
Arxiv
0+阅读 · 1月2日
Initial Algebras of Domains via Quotient Inductive-Inductive Types
Arxiv
0+阅读 · 1月2日
How Does Prefix Matter in Reasoning Model Tuning?
Arxiv
0+阅读 · 1月4日
An Agentic Framework for Neuro-Symbolic Programming
An Agentic Framework for Neuro-Symbolic Programming
Arxiv
0+阅读 · 1月2日
EXAONE Deep: Reasoning Enhanced Language Models
Arxiv
0+阅读 · 1月2日
GLM-4.5V and GLM-4.1V-Thinking: Towards Versatile Multimodal Reasoning with Scalable Reinforcement Learning
Arxiv
0+阅读 · 1月1日
参考链接
微信扫码咨询专知VIP会员
Top