MIT 6.5130《程序合成导论》（2025 秋季）课程上线，重心转向语言模型与深度学习

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