- 综合排序
- 最热优先
- 最新优先
- 来自专栏零域Blog
「SF-PLF」11. TypeChecking
eqb_ty T11 T2 then return T12 else fail | _ ⇒ fail end Properties 最后我们需要验证一下算法的正确性： 这里的 soundness Exercise 给 MoreStlc.v 里的 StlcE 写 typechecker, 然后 prove soundness / completeness （过程中用了非常 mega 的 tactics not found in SF website version) 给 MoreStlc.v 的 operational semantics 写 Interpreter (stepf), 然后 prove soundness (失败时返回异常) dynamics 本身与 statics 是正交的，在 typecheck 之后我们可以有 progress，但是现在还没有 Soundness Theorem sound_stepf Completeness 发现了 pair 实现漏了 2 个 case……然后才发现了 Soundness 自动化中的 valuef pair 问题 Extra (Mentioned) Church Style
40410编辑于 2022-03-02 - 来自专栏零域Blog
「SF-PLF」6 Types
This chapter: typing relation — 定型关系 type preservation and progress (i.e. soundness proof) — 类型保留，可进性 — also holds. — 主语拓张 No, 我们可以很容易从 (test tru zro fls) 证明出 |- fls \in Nat. — 停机问题 (undecidable) Type Soundness Corollary soundness : ∀t t' T, ⊢ t ∈ T → t -->* t' → ~(stuck t'). Proof.
62520编辑于 2022-03-02 - 来自专栏零域Blog
「SF-PLF」8 StlcProp
Bool -- step 后 well-typed empty |-/- (λx:Bool->Bool . tru) tru -- 但是原 term 显然 ill-typed Type Soundness **) Corollary soundness : ∀t t' T, empty ⊢ t ∈ T → t -->* t' → ~(stuck t').
59020编辑于 2022-03-02 - 来自专栏Rust语言学习交流
【Rust日报】 2020-01-18 Actix Web，Lemmy v0.6.0，panda-api
Actix project postmortem，Actix作者的原文 A sad day for Rust The Soundness Pledge 世界的本质就是Unsafe，美好需要我们共同创造
57720发布于 2020-02-20 - 来自专栏欢迎加入非凸科技
Rust的安全性和稳健型
参考来源：https://jacko.io/safety_and_soundness.html
50510编辑于 2023-03-14 - 来自专栏机器之心
ACL 2025｜驱动LLM强大的过程级奖励模型（PRMs）正遭遇「信任危机」？
创新性的多维度评估体系：PRMBench 从简洁性（Simplicity）、合理性（Soundness）和敏感性（Sensitivity）三大核心维度出发，进一步细分为九个子类别：「非冗余性」（Non-Redundancy ）、「非循环逻辑」（Non-Circular Logic）、「评价合理性」（Empirical Soundness）、「步骤一致性」（Step Consistency）、「领域一致性」（Domain Consistency PRMBench 构建：实现全面而严谨的评估 图 3 PRMBench 包含三大评测主题：「简洁性」（Simplicity）、「合理性」（Soundness）和「敏感性」（Sensitivity）。 合理性（Soundness）：核心评估 PRM 所生成奖励信号的准确性和对错误类型的正确识别能力，涵盖「评价合理性」、「步骤一致性」、「领域一致性」和「置信度不变性」四个子类别。
27410编辑于 2025-07-29 - 来自专栏零域Blog
「SF-PLF」10 Sub
—- dependent induction hetergeous equaltiy In soundness proof subtyping only affects Canonical Forms
74530编辑于 2022-03-02 - 来自专栏GiantPandaCV
《PytorchConference2023翻译系列》22. PT2 Export - 用于PyTorch的全图捕获机制
PT2 Export的需求 需要全图捕获机制支持不依赖Python环境部署 需要soundness保证输入有效就能得到正确输出 2. 此外，我们还要考虑——为什么我们需要soundness稳健性？我们来看看一个例子：我们通常希望基于一些示例输入一次性捕获模型，然后将其运行在可能很多不同的输入上，怎样才能保证你的代码不会崩溃呢？ 所以，我们所说的“soundness”是什么意思呢？ 简而言之，它意味着如果你通过代码输入有效的输入，你将得到正确的输出；我们可以根据示例输入推断出什么是有效的输入。
45310编辑于 2024-02-29 - 来自专栏Rust语言学习交流
【Rust 日报】2022-09-29 Linux 苹果M1显示驱动程序
() macro (it still has a soundness issue too, need to fix it to drop things if initialization fails halfway
55620编辑于 2022-11-28 - 来自专栏Rust 编程
Rust生态安全漏洞总结系列 | Part 2
-0053：算法库中 merge_sort::merge() 导致实现 Drop 的类型 双重释放（ double-free） RUSTSEC-2021-0068: iced x86 版本中 不合理（Soundness RUSTSEC-2021-0068: iced x86 版本中 不合理（Soundness） 的问题 漏洞描述： 漏洞类型：Vulnerability 漏洞分类：soundness CVE 编号：无 详细
1.1K70发布于 2021-06-10 - 来自专栏零域Blog
「SF-PLF」1 Equiv
Soundness of Constant Folding aexp Theorem fold_constants_aexp_sound : atrans_sound fold_constants_aexp Soundness of (0 + n) 类似，但是接下来我们就可以证明先 fold_constants 再 optimize_0plus 也是 sound 的.
66220编辑于 2022-03-02 - 来自专栏博文视点Broadview
区块链落地征程——疫情下的金融贸易
Zero-knowledge proof of knowledge具有统计上的可靠性（statistical soundness），而zero-knowledge argument of knowledge 具有计算上的可靠性（computational soundness）。
64020编辑于 2023-05-19 - 来自专栏绿巨人专栏
可满足性模块理论(SMT)基础 - 01 - 自动机和斯皮尔伯格算术
Theory -> signature -> dom(m) 稳固性(soundness) 论证的每一步在数学上都是正确的。
3.6K91发布于 2018-05-17 - 来自专栏Rust语言学习交流
【Rust日报】 2019-08-07：「讨论」Rust的安全性
中绕过借用检查： 几天前（2019 年 7 月 27 日）一位用户将 Rust issue #25860 Implied bounds on nested references + variance = soundness
1.1K20发布于 2019-08-12 - 来自专栏图与推荐
SCI征稿 | IJCKG 2021，KG&GNN相关均可投递
These anonymous reviewers will judge each paper’s relevance to the conference, technical soundness, and
59600发布于 2021-10-12 - 来自专栏陈满iOS
编程语言傻傻分不清：弱类型、强类型、动态类型、静态类型
红色区域外：well behaved （type soundness） 红色区域内：ill behaved 如果所有程序都是灰的，strongly typed 否则如果存在红色的程序，weakly typed
12.6K32发布于 2018-09-10 - 来自专栏旅途散记
Rust项目中的Labels
90 I-unsound/不健全 Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness 问题:健全性漏洞(最糟糕的错误),请参阅:https://en.wikipedia.org/wiki/Soundness 87 C-discussion/讨论 Category: Discussion
37510编辑于 2024-02-26 - 来自专栏零域Blog
「SF-LC」9 ProofObjects
Weird Axiomness might break the soundness of generated code in OCaml…
74220编辑于 2022-03-14 - 来自专栏新智元
推理正确率下降65.5%！斯坦福、MIT等用「不等式」拷问AI逻辑极限
令人震惊的「Soundness Gap」 研究团队使用LLM-as-Judge在GPT-4、Claude、Grok、Gemini、Llama等29款主流模型上进行了系统评估，结果显示： Grok3 mini
25510编辑于 2025-06-24 - 来自专栏Rust 编程
深入 Rust 1.63 新特性 Scoped Thread
, /// Invariance over 'scope, to make sure 'scope cannot shrink, /// which is necessary for soundness
2.2K10编辑于 2022-12-08
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号