XiaoMi-AI文件搜索系统
World File Search SystemCS
CS 782：高级机器学习
论文评论：每位学生都需要撰写一份关于 3 篇论文的报告，这些论文来自不同的周，并且与学生正在展示的论文不同。报告（2-3 页，单面）应包括论文摘要、对任何相关工作的回顾（无论是在论文中还是从个人文献综述中确定的），以及对所报告工作的问题和/或重要性的批判性评论。将提供报告模板。学生不应该只是从论文中复制文本；评论应该反映学生对所提出方法的理解以及识别关键问题（如果有）、对该领域的贡献和影响的能力。禁止使用基于生成式人工智能的工具（例如 ChatGPT）。
CS 345H：QEC 形式验证
然后，此语法具有与 IMP 非常相似的操作语义，不同之处在于量子位由 Unitary 规则（表示 unitary 演化）修改。这样，我们就可以模拟量子位无法被简单克隆的事实。另一方面，稳定器被视为普通变量，假设真实的量子电路可以使用任意预先设计的 unitary 门。因此，稳定器被赋予了分配规则。最后，为了模拟纠错结果和从量子系统中获取经典信息的测量要求，if 和 while 命令被修改为在其评估中同时包含稳定和测量。
主动 3D 传感 - 哥伦比亚大学 CS
摘要 主动三维视觉涉及从场景中可见表面的几何形状和纹理中提取信息，推理数据并最终传达结果。随着电子学、光子学、计算机视觉和计算机图形学领域的最新技术进步，现在可以构建可靠、高分辨率和精确的三维主动测距相机。本文将介绍组成这些测距相机的元素。回顾了这些系统中大多数的基本物理原理。特别是，本文介绍了光学三角测量和时间延迟测量系统。展示了一些说明该技术的应用。最后，为了帮助读者，列出了一些基于网络的主动 3D 视觉资源。
CS 4361机器学习简介
学生可以与其他学生谈论家庭作业。但是，他们不允许他们共享或查看其他学生的作业或考试代码。我们不应该看到两个具有相同代码片段的作业提交。如果发生这种情况，则两个作业都将获得自动0。同样，考试将收到一个标记为相同代码段的0。学生也不应从在线来源复制代码。也就是说，我们不应该在也出现在线的家庭作业解决方案中看到代码片段。如果您担心自己会被错误地标记为窃，请在您的作业提交中包含评论，以解释原因。学生一般必须准备解释他们提交的任何代码。
春季2025 - CS特殊主题
Course Outline Week 1: Introduction: Basics of Deep Learning Week 2: Efficient Inference: Pruning and Sparisity Week 3: Efficient Inference: Knowledge Distillation Week 4: Efficient Inference: Quantization Week 5: Efficient Inference: Neural Architecture Search Week 6: Domain‐Specific Optimization: Transformer and LLM Week 7: Domain‐Specific Optimization: Efficient Transformer Deployment Week 8: Domain‐Specific Optimization: Post Training策略第9周：域特异性优化：扩散模型的培训第10周：域特异性优化：扩散变压器的培训后第11周：有效培训：分布式培训第12周：有效培训：在设备培训和转移学习周期：13：未来周14：未来周：最终项目介绍15周：最终项目介绍
CS 598：生成AI
- AE：Pierre Baldi。自动编码器，无监督的学习和深度体系结构。在ICML关于无监督和转移学习的研讨会上，第37-49页。JMLR研讨会和会议记录，2012年。URL http://proceedings.mlr.press/v27/baldi12a/baldi12a.pdf - vae-paper：Diederik P. Kingma和Max Welling。 自动编码变分贝叶斯。 在Yoshua Bengio和Yann Lecun，编辑，第二届国际学习代表会议，ICLR 2014，2014年，AB，加拿大AB，2014年4月14日至16日，2014年会议赛道诉讼，2014年。 url http：// arxiv.org/abs/1312.6114 - vae-tutorial：Diederik P Kingma，Max Welling等。 变分自动编码器的简介。 基金会和趋势®在机器学习中，12（4）：307–392，2019。 url https：// www。 nowpublishers.com/article/downloadsummary/mal-056 - 重要性 - 智慧：Yuri Burda，Roger Grosse和Ruslan Salakhutdinov。 重要的加权自动编码器。 ARXIV预印ARXIV：1509.00519，2015。 URL https://arxiv.org/pdf/1509.00519URL http://proceedings.mlr.press/v27/baldi12a/baldi12a.pdf - vae-paper：Diederik P. Kingma和Max Welling。自动编码变分贝叶斯。在Yoshua Bengio和Yann Lecun，编辑，第二届国际学习代表会议，ICLR 2014，2014年，AB，加拿大AB，2014年4月14日至16日，2014年会议赛道诉讼，2014年。url http：// arxiv.org/abs/1312.6114 - vae-tutorial：Diederik P Kingma，Max Welling等。变分自动编码器的简介。基金会和趋势®在机器学习中，12（4）：307–392，2019。url https：// www。nowpublishers.com/article/downloadsummary/mal-056 - 重要性 - 智慧：Yuri Burda，Roger Grosse和Ruslan Salakhutdinov。重要的加权自动编码器。ARXIV预印ARXIV：1509.00519，2015。URL https://arxiv.org/pdf/1509.00519URL https://arxiv.org/pdf/1509.00519
CS标准参考核心概念
计算思维是学生解决开放式问题并创建解决方案的宝贵工具。它涉及四个关键组成部分：算法思维，模式识别，分解和抽象。学生可以独自工作，也可以小组工作来利用这些策略来解决问题和测试解决方案。例如，如果学生的屏幕没有响应鼠标或键盘的信息输入，则可以使用计算思维来分解问题并专注于相关信息（例如检查设备是否需要更新或确定它们是否连接到Internet）。通过调查和测试可能的解决方案，他们可以确定重新启动计算机安装更新是否可以提供帮助，或者设备是否需要连接到网络以使设备响应。
讲座 1 人工智能与计算机科学简介 486/686
阿尔伯塔大学鲍林教授领导的团队解决了单挑限注德州扑克问题。这是一场两人游戏，每轮下注金额有上限。他们将扑克建模为一种扩展形式游戏，并使用一种称为反事实遗憾最小化的算法求解纳什均衡的近似值。他们宣称，该游戏本质上是弱解的，这意味着人类一生的游戏不足以从统计意义上证明该策略不是精确解。他们的结果证实，该游戏是庄家的必胜游戏。扩展形式游戏和纳什均衡是博弈论概念。如果您想了解更多信息，请在线搜索或考虑参加博弈论课程。