计算机专业英语

面向 AI 论文阅读,积累词汇,练习连续一至两段文献翻译。

先通读并翻译整段,再核对译文,注意跨句指代、逻辑与条件。

7
论文翻译中英对照表
序号英文原文参考译文方向
1
BERT · 预训练与下游任务NAACL 2019 · 原文完整 2 段 · 146

Language model pre-training has been shown to be effective for improving many natural language processing tasks. These include sentence-level tasks such as natural language inference and paraphrasing, which aim to predict the relationships between sentences by analyzing them holistically, as well as token-level tasks such as named entity recognition and question answering, where models are required to produce fine-grained output at the token level.

There are two existing strategies for applying pre-trained language representations to downstream tasks: feature-based and fine-tuning. The feature-based approach, such as ELMo, uses task-specific architectures that include the pre-trained representations as additional features. The fine-tuning approach, such as the Generative Pre-trained Transformer (OpenAI GPT), introduces minimal task-specific parameters, and is trained on the downstream tasks by simply fine-tuning all pre-trained parameters. The two approaches share the same objective function during pre-training, where they use unidirectional language models to learn general language representations.

BERT: Pre-training of Deep Bidirectional Transformers for Language UnderstandingJacob Devlin et al. · §1 Introduction · 第 1–2 段,p. 4171;省略文内引文CC BY 4.0 · 本站添加中文翻译

已有研究表明,语言模型预训练能够有效提升多种自然语言处理任务的效果。这些任务既包括自然语言推断、复述等句子级任务——通过整体分析句子来预测句子之间的关系,也包括命名实体识别、问答等词元级任务——要求模型在词元层面给出细粒度的输出。

目前,将预训练语言表示应用于下游任务主要有两种策略:基于特征的方法和微调方法。以 ELMo 为代表的基于特征的方法采用任务专用架构,将预训练表示作为额外特征加入其中。以生成式预训练 Transformer(OpenAI GPT)为代表的微调方法仅引入极少量任务专用参数,并通过微调全部预训练参数来完成下游任务的训练。这两种方法在预训练阶段使用相同的目标函数,均利用单向语言模型学习通用语言表示。

词组与句法

has been shown to:已有研究表明;as well as 连接两类任务;which 和 where 分别解释句子级与词元级任务。第二段从两种策略展开,minimal 修饰新增的任务专用参数,all 修饰参与微调的预训练参数。

语言模型
2
Prefix-Tuning · 参数高效微调ACL-IJCNLP 2021 · 原文完整 2 段 · 142

Fine-tuning is the prevalent paradigm for using large pretrained language models (LMs) to perform downstream tasks (e.g., summarization), but it requires updating and storing all the parameters of the LM. Consequently, to build and deploy NLP systems that rely on large pretrained LMs, one currently needs to store a modified copy of all the LM parameters for each task. This can be prohibitively expensive given the size of current LMs; for example, GPT-2 has 774M parameters and GPT-3 has 175B parameters.

A natural approach to this problem is lightweight fine-tuning, which freezes most of the pretrained parameters and only tunes a smaller set of parameters. For example, adapter-tuning inserts additional task-specific layers between the layers of pretrained language models. Adapter-tuning has promising performance on natural language understanding and generation benchmarks, attaining comparable performance with fine-tuning while adding only around 2–4% task-specific parameters.

Prefix-Tuning: Optimizing Continuous Prompts for GenerationXiang Lisa Li; Percy Liang · §1 Introduction · 第 1–2 段,p. 4582;省略文内引文CC BY 4.0 · 本站添加中文翻译

微调是利用大型预训练语言模型完成下游任务(如摘要生成)的主流范式,但它需要更新并存储语言模型的全部参数。因此,要构建和部署依赖大型预训练语言模型的自然语言处理系统,目前需要为每个任务保存一份修改后的完整模型参数。考虑到当时语言模型的规模,这种做法的成本可能高到难以承受;例如,文中所述 GPT-2 有 7.74 亿个参数,GPT-3 有 1750 亿个参数。

解决这一问题的一种自然思路是轻量微调:冻结大部分预训练参数,只调整较小的一组参数。例如,适配器微调在预训练语言模型的各层之间插入额外的任务专用层。适配器微调在自然语言理解和生成基准上表现良好,只增加约 2%–4% 的任务专用参数,就能取得与全量微调相当的性能。

词组与句法

Consequently 承接存储成本的因果关系;given 在这里是“考虑到”,不是“被给予”;prohibitively expensive:成本高到难以承受;comparable performance:性能相当;while 强调同时满足性能与参数量条件。模型规模及 current 按 2021 年论文语境理解。

大模型微调
3
Lost in the Middle · 长文档与上下文TACL 2024 · 原文完整 2 段 · 198

Language models have become an important and flexible building block in a variety of user-facing language technologies, including conversational interfaces, search and summarization, and collaborative writing. These models perform downstream tasks primarily via prompting: all relevant task specification and data to process is formatted as a textual input context, and the model returns a generated text completion. These input contexts can contain thousands of tokens, especially when language models are used to process long documents (legal or scientific documents, conversation histories, etc.) or when language models are augmented with external information (relevant documents from a search engine, database query results, etc.).

Handling these use-cases requires language models to successfully operate over long sequences. Existing language models are generally implemented with Transformers, which require memory and compute that increases quadratically in sequence length. As a result, Transformer language models were often trained with relatively small context windows (between 512 and 2048 tokens). Recent improvements in hardware (e.g., faster GPUs with more memory) and algorithms have resulted in language models with larger context windows (e.g., 4096, 32K, and even 100K tokens), but it remains unclear how these extended-context language models make use of their input contexts when performing downstream tasks.

Lost in the Middle: How Language Models Use Long ContextsNelson F. Liu et al. · §1 Introduction · 第 1–2 段,p. 157;省略文内引文CC BY 4.0 · 本站添加中文翻译

语言模型已经成为多种面向用户的语言技术中重要而灵活的基础组件,包括对话界面、搜索与摘要生成,以及协作写作。这些模型主要通过提示来完成下游任务:将所有相关的任务说明和待处理数据组织为文本形式的输入上下文,由模型返回生成的补全文本。这些输入上下文可能包含数千个词元,尤其是在语言模型用于处理长文档(如法律或科学文档、对话历史等),或利用外部信息(如搜索引擎返回的相关文档、数据库查询结果等)进行增强时。

处理这些应用场景要求语言模型能够有效处理长序列。现有语言模型通常基于 Transformer 实现,其内存和计算需求随序列长度呈二次增长。因此,Transformer 语言模型过去往往采用相对较小的上下文窗口进行训练(512 至 2048 个词元)。近期硬件(如速度更快、显存更大的 GPU)和算法的改进使语言模型能够使用更大的上下文窗口(如 4096、3.2 万甚至 10 万个词元),但这些扩展上下文的语言模型在执行下游任务时,究竟如何利用输入上下文,仍不清楚。

词组与句法

第一段的 These input contexts 回指提示输入,第二段的 these use-cases 回指长文档与外部信息增强。quadratically:呈二次关系;it remains unclear 引出尚未解决的研究问题,不应译成“无法利用”。窗口规模按论文发表时的语境理解。

长上下文
4
BART · 方法设计与实验结果ACL 2020 · 原文完整 2 段 · 159

A key advantage of this setup is the noising flexibility; arbitrary transformations can be applied to the original text, including changing its length. We evaluate a number of noising approaches, finding the best performance by both randomly shuffling the order of the original sentences and using a novel in-filling scheme, where arbitrary length spans of text (including zero length) are replaced with a single mask token. This approach generalizes the original word masking and next sentence prediction objectives in BERT by forcing the model to reason more about overall sentence length and make longer range transformations to the input.

BART is particularly effective when fine tuned for text generation but also works well for comprehension tasks. It matches the performance of RoBERTa with comparable training resources on GLUE and SQuAD, and achieves new state-of-the-art results on a range of abstractive dialogue, question answering, and summarization tasks. For example, it improves performance by 3.5 ROUGE over previous work on XSum.

BART: Denoising Sequence-to-Sequence Pre-training for Natural Language Generation, Translation, and ComprehensionMike Lewis et al. · §1 Introduction · 第 3–4 段,p. 7871;省略文内引文CC BY 4.0 · 本站添加中文翻译

这一设置的一个关键优势是加噪方式灵活;可以对原始文本施加任意变换,包括改变其长度。我们评估了多种加噪方法,发现同时随机打乱原始句子的顺序,并采用一种新的文本填补方案时,性能最佳。在该方案中,任意长度的文本片段(包括零长度片段)都被替换为一个掩码词元。这种方法迫使模型更多地推断句子的整体长度,并对输入进行跨度更大的变换,从而推广了 BERT 原有的词语掩码与下一句预测目标。

BART 在针对文本生成进行微调时尤其有效,在理解任务上也表现良好。在训练资源相当的条件下,它在 GLUE 和 SQuAD 上达到与 RoBERTa 相当的性能,并在一系列生成式对话、问答和摘要任务上取得了新的最佳结果。例如,在 XSum 上,它的 ROUGE 得分较此前工作提高了 3.5 分。

词组与句法

both … and … 两项操作同时实施;where 解释填补方案;generalizes 在这里是“推广”训练目标;with comparable training resources 限定比较条件;by 3.5 是提高的差值,不是达到的分数。this setup 指上文的加噪后重建文本的训练设置。

文本生成
5
FunSearch · 程序搜索与科学发现Nature 2024 · 原文完整 2 段 · 270

Many problems in mathematical sciences are ‘easy to evaluate’, despite being typically ‘hard to solve’. For example, in computer science, NP-complete optimization problems admit a polynomial-time evaluation procedure (measuring the quality of the solution), despite the widespread belief that no polynomial-time algorithms to solve such problems exist. We focus in this paper on problems admitting an efficient ‘evaluate’ function, which measures the quality of a candidate solution. Prominent examples include the maximum independent set problem and maximum constraint satisfaction problems (such as finding the ground state energy of a Hamiltonian). Our goal is to generate a ‘solve’ program, such that its outputs receive high scores from the ‘evaluate’ function (when executed on inputs of interest), and ultimately improve on the best-known solutions.

Whereas large language models (LLMs) have recently seen notable improvements in their coding capabilities, with applications including debugging, solving code competitions and improving code performance, synthesizing ‘solve’ programs for open problems requires finding new ideas that are verifiably correct. This is very hard for LLMs, as they tend to confabulate or ultimately fall short of going beyond existing results. To surpass the ‘nominal’ capabilities of LLMs, recent studies have combined them with evolutionary algorithms, leading to important improvements on diverse synthetic problems, searching for neural network architectures and solving puzzles. Our proposed method, FunSearch, pushes the boundary of LLM-guided evolutionary procedures to a new level: the discovery of new scientific results for established open problems and the discovery of new algorithms. Surpassing state-of-the-art results on established open problems provides a clear indication that the discoveries are truly new, as opposed to being retrieved from the LLM’s training data.

Mathematical discoveries from program search with large language modelsBernardino Romera-Paredes et al. · 正文第 1–2 段,p. 468;省略引文编号;2023 年在线发表CC BY 4.0 · 本站添加中文翻译

数学科学中的许多问题通常“难以求解”,却“容易评价”。例如,在计算机科学中,NP 完全优化问题允许使用多项式时间的评价过程来衡量解的质量,尽管人们普遍认为不存在能在多项式时间内求解此类问题的算法。本文关注允许使用高效 evaluate 函数的问题,该函数用于衡量候选解的质量。典型例子包括最大独立集问题和最大约束满足问题(如求哈密顿量的基态能量)。我们的目标是生成一个 solve 程序,使其在所关注的输入上运行后,输出能从 evaluate 函数获得高分,并最终改进当前已知的最佳解。

尽管大型语言模型近期在编程能力上取得显著进步,应用涵盖调试、解答编程竞赛题和提升代码性能,但要为尚未解决的问题合成 solve 程序,仍需要找到可验证为正确的新思路。这对大型语言模型十分困难,因为它们往往会编造内容,或者最终无法超越已有结果。为了超越大型语言模型的“标称”能力,近期研究将其与进化算法结合,在多种人工构造的问题、神经网络架构搜索和谜题求解中取得了重要改进。我们提出的 FunSearch 方法将语言模型引导的进化过程推进到新的水平:针对公认的未解问题发现新的科学结果,以及发现新的算法。在公认的未解问题上超越当前最佳结果,可以明确说明这些发现确实是新的,而非从语言模型的训练数据中检索得到。

词组与句法

despite 和 Whereas 表达让步;admit 在此是“允许存在”,不是“承认”;such that 引出目标条件;fall short of:未能达到;as opposed to 区分新发现与训练数据检索。第一段给出可评价的问题形式,第二段说明 LLM 单独求解的不足与组合方法的动机。

AI 科学发现
6
MedSAM · 分割任务与应用需求Nature Communications 2024 · 原文完整 2 段 · 244

Segmentation is a fundamental task in medical imaging analysis, which involves identifying and delineating regions of interest (ROI) in various medical images, such as organs, lesions, and tissues. Accurate segmentation is essential for many clinical applications, including disease diagnosis, treatment planning, and monitoring of disease progression. Manual segmentation has long been the gold standard for delineating anatomical structures and pathological regions, but this process is time-consuming, labor-intensive, and often requires a high degree of expertise. Semi- or fully automatic segmentation methods can significantly reduce the time and labor required, increase consistency, and enable the analysis of large-scale datasets.

Deep learning-based models have shown great promise in medical image segmentation due to their ability to learn intricate image features and deliver accurate segmentation results across a diverse range of tasks, from segmenting specific anatomical structures to identifying pathological regions. However, a significant limitation of many current medical image segmentation models is their task-specific nature. These models are typically designed and trained for a specific segmentation task, and their performance can degrade significantly when applied to new tasks or different types of imaging data. This lack of generality poses a substantial obstacle to the wider application of these models in clinical practice. In contrast, recent advances in the field of natural image segmentation have witnessed the emergence of segmentation foundation models, such as segment anything model (SAM) and Segment Everything Everywhere with Multi-modal prompts all at once, showcasing remarkable versatility and performance across various segmentation tasks.

Segment anything in medical imagesJun Ma et al. · Introduction · 第 1–2 段;省略引文编号CC BY 4.0 · 本站添加中文翻译

分割是医学影像分析中的一项基础任务,涉及识别并勾画各种医学图像中的感兴趣区域,如器官、病灶和组织。准确的分割对许多临床应用至关重要,包括疾病诊断、治疗规划和疾病进展监测。长期以来,手工分割一直是勾画解剖结构和病理区域的金标准,但这一过程耗时、耗力,而且通常需要高度专业的知识与技能。半自动或全自动分割方法能够显著减少所需时间和人力,提高一致性,并使大规模数据集的分析成为可能。

基于深度学习的模型能够学习复杂的图像特征,并在多种任务上给出准确的分割结果,从分割特定解剖结构到识别病理区域,因此在医学图像分割中展现出很大潜力。然而,当前许多医学图像分割模型的一项显著局限在于其任务专用性。这些模型通常针对特定的分割任务进行设计和训练,应用于新任务或不同类型的影像数据时,性能可能显著下降。这种通用性的缺乏,给此类模型在临床实践中的更广泛应用造成了重大障碍。相比之下,近期自然图像分割领域出现了分割基础模型,例如 Segment Anything Model(SAM)和 Segment Everything Everywhere with Multi-modal prompts all at once,它们在多种分割任务中展现出突出的通用能力与性能。

词组与句法

第一段说明分割的临床价值与人工成本,第二段由深度学习的优势转向任务专用性的局限,再对照自然图像领域的基础模型。due to 引出原因;can degrade 表示可能下降;This lack of generality 回指跨任务泛化不足;In contrast 引出对比。

医学影像
7
MedSAMNature Communications 2024 · 原文完整 1 段 · 134

Medical image segmentation is a critical component in clinical practice, facilitating accurate diagnosis, treatment planning, and disease monitoring. However, existing methods, often tailored to specific modalities or disease types, lack generalizability across the diverse spectrum of medical image segmentation tasks. Here we present MedSAM, a foundation model designed for bridging this gap by enabling universal medical image segmentation. The model is developed on a large-scale medical image dataset with 1,570,263 image-mask pairs, covering 10 imaging modalities and over 30 cancer types. We conduct a comprehensive evaluation on 86 internal validation tasks and 60 external validation tasks, demonstrating better accuracy and robustness than modality-wise specialist models. By delivering accurate and efficient segmentation across a wide spectrum of tasks, MedSAM holds significant potential to expedite the evolution of diagnostic tools and the personalization of treatment plans.

Segment anything in medical imagesJun Ma; Yuting He; Feifei Li; Lin Han; Chenyu You; Bo Wang · Abstract · 完整摘要CC BY 4.0 · 本站添加中文翻译

医学图像分割是临床实践中的关键环节,有助于准确诊断、制定治疗方案和监测疾病。然而,现有方法往往针对特定模态或疾病类型进行设计,难以泛化到多种多样的医学图像分割任务。本文提出 MedSAM,这是一个旨在通过实现通用医学图像分割来弥合这一差距的基础模型。该模型基于一个大规模医学图像数据集开发,数据集包含 1,570,263 对图像与掩膜,涵盖 10 种成像模态和 30 多种癌症。我们在 86 项内部验证任务和 60 项外部验证任务上进行全面评估,结果表明其准确性和鲁棒性优于针对单一模态的专用模型。MedSAM 能够在广泛的任务中实现准确、高效的分割,有望加快诊断工具的发展和治疗方案的个性化。

词组与句法

tailored to:针对……设计;image-mask pairs:图像与掩膜对;internal / external validation:内部/外部验证;holds potential:有望,不能译成已经实现

医学影像