tool | BriefGPT - AI 论文速递

关键词tool

搜索结果 - 8

Soda：一种用于定义以人为中心问题的面向对象功能语言
我们介绍了 Soda（符号客观描述分析），一种可以自然地处理质量和数量的语言，并极大地简化了检查它们的正确性的任务。我们提出了这种语言的关键特性，通过设计一种描述语言来对计算机系统上的复杂需求进行编码，并解释了如何使用简单的定义来建模这些需
PDF9 months ago
BNSynth: 有界布尔函数综合
该论文介绍了一种名为 BNSynth 的工具，它是解决具有解决方案空间范围限制的 BFS 问题的第一个工具，该工具利用反例指导的神经方法去综合较小的函数，并且相比现有的工具，平均方案大小减少了至少 3.2 倍（最高可达 24 倍）。
PDF2 years ago
EMNLP摘要工作台：统一文本摘要模型的应用与评价
本文介绍 Summary Workbench，这是一个用于开发和评估文本摘要模型的新工具，它可以轻松集成基于 Docker 的插件，以便针对任何输入检查其摘要质量并使用各种评估指标进行评估。
PDF2 years ago
PoxVerifi：一种打击天花病病毒谣言的信息验证系统
为了解决猴痘相关的虚假信息传播问题，我们推出了 PoxVerifi，这是一个基于 BERT 机器学习模型的浏览器扩展工具，旨在帮助用户评估互联网上任何一个网页的标题准确度，同时也提供了一种有效和可访问的方法来聚合基于社区成员投票的准确度评级
PDF2 years ago
UDAAN：基于机器学习的文档翻译后编辑工具
UDAAN 是一款开源的后编辑工具，可以快速生成多种印度语言的出版标准文件，具备包括一系列机器翻译和后编辑工具特性在内的优点，能够根据对齐的源和目标文本词典自主替换结果，适用于多种语言。
PDF2 years ago
ValAsp: 一种用于 Answer Set Programming 数据验证的工具
该论文介绍了解决 ASP 程序中数据验证的问题和如何在程序中注入数据验证工具，以达到快速出错的效果，其方法是使用 YAML、ASP 和 Python 语言来指定验证语句，并为 ASP 验证命令打开了验证指令的可能性。
PDF2 years ago
ACLcompare-mt: 一种语言生成系统的全面比较工具
本文介绍了一种名为 compare-mt 的工具，该工具可以综合分析和比较语言生成任务（如机器翻译）系统的结果，以便评估其差异并为进一步分析或改进提供指导。
PDF5 years ago
ACLYEDDA: 一个轻量级的协作文本跨度标注工具
介绍了一种轻量级高效的开源文本标注工具 Yedda，可以通过命令行和快捷键快速实现文本实体标注，并通过智能推荐减少标注时间。
PDF7 years ago