读外文论文或报告，不必每一段都复制到翻译工具。Redia 把翻译和原文对照放在同一个阅读空间，让你接着读，也方便停下来核对。
试着查看这段英文定义的中文翻译，再并排对照。遇到专业术语或条件，就能回到原文确认它的意思。
互动演示 · 使用预先准备的内容，非实时 AI 生成
en
2.1 Notations and Definitions
Given a convex set 𝒟 ⊆ ℝᵈ, a continuous function f : ℝᵈ → ℝ is said to be DR-submodular over 𝒟, if for any x ≤ y ∈ 𝒟 and a ∈ ℝ₊ …
f(x + aeᵢ) − f(x) ≥ f(y + aeᵢ) − f(y)
and x ≤ y means xᵢ ≤ yᵢ, ∀i ∈ [d].
翻译
2.1 记号与定义
给定凸集合 𝒟 ⊆ ℝᵈ，若对任意 x ≤ y ∈ 𝒟 与 a ∈ ℝ₊，连续函数 f : ℝᵈ → ℝ 满足……则称 f 在 𝒟 上具有 DR 次模性。
f(x + aeᵢ) − f(x) ≥ f(y + aeᵢ) − f(y)
而 x ≤ y 表示 xᵢ ≤ yᵢ，对所有 i ∈ [d] 均成立。
论文节选与解说演示改编自 DR-submodularity · Lian et al., JMLR 2024 · CC BY 4.0
上传 PDF 并等待处理完成后，在阅读器选择翻译滤镜。沿着章节阅读，减少在文档与翻译工具之间来回复制文字。
遇到定义、公式或专业术语时，打开原文对照，并排查看来源文字与翻译。整理笔记前，先确认作者的用词与上下文。
AI 翻译可能遗漏语义细节，PDF 文字提取也可能出错。扫描文档、复杂排版与重要结论，仍需回到来源确认。
这项功能是在 Redia 内提供翻译阅读与原文对照。演示呈现的是阅读方式，不是保留原始排版的 PDF 翻译文件导出。
可以。打开原文对照后，可以在阅读版本旁查看来源段落，核对关键用词与原本的意思。