natural language specification | BriefGPT

关键词natural language specification

搜索结果 - 6

可信的正式自然语言规范
该论文表明，通过使用现有的证明助理，可以以与建立证明助理自身的信任和可审计性原则相一致的方式，构建对自然语言表达的规范的支持。我们在 Lean 证明助理内实现了一种方式，以可扩展的正式英语子集提供规范，并自动将其翻译成正式的命题。我们的方法
PDF9 months ago
ICLR自然语言规格说明到数学程序的综合
研究评估了使用数据增强、后处理和代码生成模型 CodeT5 合成数学程序的效果，通过应用线性规划规则来评分和纠正光束，该方法基于自然语言规范实现自动化建模。实验结果表明，在使用这些增强方法后，CodeT5 基础版本的执行准确率为 0.73，
PDFa year ago
CVPR自然语言规约下的联合视觉定位及跟踪
本文提出一种联合视觉定位和追踪的框架，将定位和追踪转化为一个统一的任务，使用自然语言描述来确定目标；该框架使用多源关系建模模块和时间建模模块来构建自然语言描述和测试图像之间的关系，提供全局语义信息的指导和时间线索来提高适应性。
PDFa year ago
提问即可得 (一份图形绘制): 测试 ChatGPT 运用图形布局算法的潜力
本研究旨在探索大型语言模型在图形绘制算法中的应用，并通过 ChatGPT 进行实验，以提升图像可读性和使数据可视化更加易用。通过自然语言进行指定规范，对更广泛的用户提供更加可访问和友好的操作。同时，也更好地了解了如何为 LLMs 制定复杂算
PDFa year ago
证明助手中的自然语言规格说明
通过在交互证明助理中引入自然语言规范支持，可以在验证软件正确性的同时保证规范翻译的正确性和可审计性。
PDF2 years ago
CVPR自然语言驱动下更加灵活精准的目标跟踪：算法与基准评估
本文提出了一种新的基于自然语言描述的目标跟踪方法，通过建立一个自然语言驱动的跟踪器的基准测试数据集，并提出了两个新的挑战来促进相关研究，旨在提高跟踪性能的灵活性、鲁棒性和准确性。
PDF3 years ago