programming language | BriefGPT

关键词programming language

搜索结果 - 32

QRscript：在 QR 码中嵌入编程语言以支持决策与管理
编码一门编程语言到 QR 码中的二进制表示，并通过虚拟机反向执行，以实现将设备和物体变得更智能化的方法。该研究提出了一种名为 QRscript 的编程语言，旨在产生非常紧凑的目标二进制代码，并介绍了一个特定的子语言用于编码决策树。研究通过一
PDF3 months ago
神经编码智能综述：范式、进展与未来
神经编码智能 - 利用深度学习理解、生成和优化代码 - 在整个社会中具有巨大的潜力。这篇调查综述了代码智能领域的技术进展，并系统地回顾了过去几年来研究社区对这一领域的关注。
PDF3 months ago
LangGPT: 重塑面向编程语言的结构化可复用提示设计框架
LLMs have demonstrated commendable performance across diverse domains, but formulating high-quality prompts to effective
PDF4 months ago
EvoGPT-f: 用于基准测试形式数学语言的进化 GPT 框架
这篇论文通过 EvoGPT-f 回答了关于五种形式数学语言（Lean 3、Lean 4、Coq、HOL 4、HOL Light）和四种标记化方法（字符、词级、字节对编码和 StarCoder 标记器）之间的差异化机器学习能力的定量分析，为进
PDF5 months ago
基于 Transformer 的模型在学习模拟结构递归方面仍不完美
研究了基于 Transformer 模型从示例中学习结构递归的能力，探讨了该模型在性能和语义理解等方面的局限性。
PDF5 months ago
利用 Transformer 将 Epic/Story 转换为伪代码
使用自然语言处理，我们提出了一种从敏捷用户故事中生成伪代码的方法，以减少工业项目中花费的总时间。
PDF7 months ago
大型语言模型生成代码解释时的行为
大型语言模型对编程语言的代码示例生成的解释在调校要求、目标代码示例、编程语言、温度参数和模型版本等方面存在变化，对于 Java 和 Python，解释的可读性保持在 7 至 8 年级左右，词汇密度即有意义的词汇与总解释大小的比例相对较高。此
PDF8 months ago
数学问题解决中的思维链设计
针对数学问题求解中的推理，我们对 Chain-of-Thought (CoT) 设计方法进行了全面研究，将常规自然语言 CoT 与各种程序 CoT（包括自说明程序、评论说明程序和非说明程序）进行了比较；此外，我们还研究了编程语言对程序 Co
PDF9 months ago
广泛使用的面向对象编程语言的比较分析
本文提出了一个全面的框架来评估广泛使用的面向对象语言，这些语言基于其技术和环境特征进行评估。
PDFa year ago
RNNS: 代码模型表示最近邻搜索黑盒攻击
本文提出了一种新型基于搜索的黑盒对抗攻击方法，即用于预训练编程语言模型的表示最近邻搜索来评估模型的鲁棒性，并在六个代码任务，三种编程语言和三个预训练代码模型上进行了评估，结果表明其优于目前最先进的黑盒攻击方法，并且能够有效地攻击防御模型。
PDFa year ago
一种 Verilog 自动完成的深度学习框架 —— 向设计和验证自动化
本文提出一种基于深度学习的 Verilog 自动补全模型的训练框架，该框架通过将通用编程语言预训练模型与类似目标下游任务的数据集集成并进行微调来验证，实验结果表明，该框架相比于从头开始训练的模型，具有更好的 BLEU、ROUGE-L 和 c
PDFa year ago
EMNLP代码语法理解语言模型基准测试
这篇论文介绍了作者对现有预训练编程语言模型在理解代码结构方面的限制进行了全面的基准测试，并引入了一个大规模的数据集 CodeSyntax 来评估这些模型的性能，并揭示了自然语言和编程语言在理解语法结构方面的差异和重要性。
PDF2 years ago
利用自然语言处理技术实现 API 代码摘要
本研究提出了一种使用自然语言处理技术通过非官方文档生成 API 和方法摘要的自动化方法，该方法可以作为指导开发人员进行软件开发和维护任务的补充来源。
PDF2 years ago
ICLRDocPrompting：通过检索文档生成代码
DocPrompting 是一种自然语言到代码生成的方法，利用文档（documentation）明确地生成代码。通过应用于各种编程语言，我们证明了它可以改进自然语言到代码模型，可以提高 2.85% 的绝对正确率。
PDF2 years ago
AST-Probe：从预训练语言模型的隐藏表示中恢复抽象语法树
本篇论文通过构建 AST-Probe 探针方法，证明了预训练语言模型中存在一个语法子空间以及该子空间可以用来恢复一个输入代码片段的完整 AST，进而表明预训练语言模型仅使用一部分表示空间来编码编程语言的语法信息。
PDF2 years ago
Jaseci 和 Jac 的哲学：全面的无服务器编程范式与全栈自动化的价值
通过 Jaseci 架构和 Jac 编程语言的设计，使用更高层次的抽象，自动选择微服务并动态更改，使程序员在解决实际问题时更容易实现复杂的 AI 产品和其他应用，并在商业生产环境中将 AI 开发时间加快了约 10 倍。
PDF2 years ago
Budge：一种编程语言和定理证明器
基于哥德尔编号和质因数分解的简单编程语言，配合具有显式作用域的循环和定理证明器，可以表示和工作于形式系统。编程语言和定理证明器之间可以相互表示，并提供实例程序和它们的求值。
PDF2 years ago
ICML像 Transformer 一样思考
本文提出了一种计算模型，将 Transformer-encoder 的基本组件 attention 和 feed-forward 计算映射到简单的原语中，并形成一种编程语言 RASP，用于编程解决可能由 Transformer 学习的任务，
PDF3 years ago
ICLR利用优化的混淆生成对抗性计算机程序
利用程序混淆技术来对具有通用性的机器学习模型进行对抗修改，进而确定其对抗鲁棒性的合理方式，使用形式化的对抗程序，同时应用多种程序混淆变换，设计一些优化算法来确定如何选择程序的哪些部分进行变换，并找到合适的变换方式，从而在程序汇总问题上取得了
PDF3 years ago
EMNLPCodeBERT：编程和自然语言的预训练模型
CodeBERT 是一种双模态预训练模型，支持自然语言和编程语言应用，基于 Transformer 神经架构，通过替换标记检测的预训练任务进行训练，表现出卓越的性能和前瞻性。
PDF4 years ago