MIT 6.5130 程序合成课程上线，重心转向语言模型

MIT 发布 6.5130《程序合成导论》2025 秋季课程页面，相比往年大幅加强对语言模型与深度学习的侧重，同时另附 2023 年更偏符号方法的版本供参考。 课程内容围绕意图表达、程序搜索与验证的配合、程序合成与深度学习的结合，以及软件工程之外的神经符号学习应用展开。成绩由四次各占 15% 的作业和占 40% 的期末项目构成，项目需提交一页提案、口头报告和 4-7 页报告。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。