smt | BriefGPT - AI 论文速递

关键词smt

搜索结果 - 10

VeriFlow：用于神经网络验证的分布建模
通过 VeriFlow 架构，我们提出了一种以流动密度模型为基础的形式化验证方法，使任何验证方法都能限制其搜索目标数据分布，从而解决了神经网络验证中的假阳性问题。
PDF16 days ago
ACL低资源、形态标记无法处理的环境下的 Yoruba-English 机器翻译
本研究利用语言对比的细粒度分析方法，比较了三种机器翻译模型在汉英翻译中的表现。结果显示，针对使用裸名词的约鲁巴语文本，Transformer 模型表现最好，SMT 和 BiLSTM 在不同分类上各有优劣，与人类翻译模式相比。这些结果对于低资
PDF3 years ago
神经机器翻译的领域鲁棒性
本文研究了机器翻译模型在未知领域中的性能表现，发现在未知领域中，统计机器翻译（SMT）和神经机器翻译（NMT）系统存在不同的问题：SMT 系统通常足够但不流利，而 NMT 系统流利但不足够。本文发现，NMT 系统出现的 “幻觉” 现象是造成
PDF5 years ago
基于短语的强制解码改进神经机器翻译
本研究提出了一种将传统 SMT 模型与神经机器翻译相结合的方法，从而提高翻译质量。该方法利用现有的基于短语的 SMT 模型计算基于短语的解码成本，并将其用于重新排列 n 个最佳 NMT 输出。研究表明，利用强制解码成本对 NMT 输出进行排
PDF7 years ago
分段线性前馈神经网络的形式化验证
本文提出了一种针对具备分段线性激活函数的前向神经网络进行验证的方法，并使用全局线性逼近对 SMT 求解器和 ILP 求解器进行推理，通过专门设计的验证算法利用推理出的相位信息对网络进行冲突检测和安全节点约束，并在碰撞避免和手写数字识别案例研
PDF7 years ago
使用神经机器翻译对具有大量技术术语词汇的专利句子进行翻译
本文提出一种新的方法，使用双语数据将技术术语替换为术语标记，并使用基于 SMT 的方法将翻译原文的技术术语标记替换为技术术语翻译，通过这种方法，可以让 NMT 系统在翻译包含大量技术术语的专利句子时表现更加出色。
PDF7 years ago
神经机器翻译是否已准备就绪？一个 30 种翻译方向的案例研究
本文提供了最大的基于短语的 SMT 和神经机器翻译之间的翻译质量比较，分析了 30 种翻译方向，其中 10 种方向中还包括分级短语 MT；在第二部分中，作者调查了翻译速度的不同方面，引入了 AmuNMT，一种高效的神经机器翻译解码器，通过比
PDF8 years ago
MM基于短语核心的统计机器翻译的形态学约束
本文研究使用同步形态约束特征来提高短语枢轴机器翻译的质量，通过将源语言和目标语言的语段在枢轴表中的对应关系作为基础，建立手工制作的约束条件和利用有限的平行数据学习的约束条件，并在英语作为枢轴的希伯来语 - 阿拉伯语翻译中表现出积极的结果，相
PDF8 years ago
ACL使用卷积神经网络对源语言进行编码以进行机器翻译
通过使用卷积神经网络和目标信息来指导源信息并形成统一的表达，该神经网络联合模型可以在两个 NIST 中英翻译任务中显著提高平均 BLEU 分数，达到 +1.08 BLEU 分数。
PDF9 years ago
SMT 中的近似计数和概率程序的值估计
本篇论文介绍了一种从 SMT 到 #SMT 近似版本的约简方法，并提出了关于整数算术和线性实数算术的模型计数算法，通过对现代 SMT 求解器的高级启发式算法进行利用，运行时间为多项式级别并提供正式边界。我们使用这些算法来解决带有非确定性的无
PDF10 years ago