2025年6月27日
[论文笔记] Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences
摘要： Background Information 摆了两三天觉得不能再开摆了，感觉至少把什么是贝叶斯方法及其名词搞懂（虽然可能概率论学过，但是已经忘干净了）： 贝叶斯的思考方式：先验概率 \(\pi(\theta)\) + 样本信息 \(X\) -> 后验概率 \(\pi(\theta | X)\) 不 阅读全文
posted @ 2025-06-27 21:07 sysss 阅读(32) 评论(0) 推荐(0)