Highlights 120 items
Filters
Event
15 February 2024Communication / EventColloquium Polaris - Nathanaël Fijalkow explores how machine learning meets program synthesisLocation :Ircica
在 Ircica 举办的 Polaris 研讨会上，Nathanaël Fijalkow 介绍了机器学习与程序合成如何结合，并探讨两者在自动化生成与优化程序方面的交叉应用。该活动聚焦于这一前沿技术方向，显示出 AI 方法正进一步渗透到软件开发与形式化方法领域，可能提升代码生成、验证和自动化设计的效率。