搜索中心

本次报告从模型的解释与解释的模型两个角度来介绍我们最近的工作。本次报告的前半部分介绍我们关于模型的解释工作；本报告的后半部介绍用来解释的模型设计，我们认为决策系统在设计时应当考虑解释生成本身。

预览

预览

预览

预览

76人阅读

2024-07-21

本次报告将讨论近几年在构建完全开源、透明和自主的代码大模型方面的一些探索和经验（如StarCoder2和Magicoder等）。同时，会简要探讨代码大模型对软件质量保证带来的新机遇和挑战。

预览

预览

预览

预览

60人阅读

2024-07-21

“基于代码大模型与静态分析的实用软件开发” (Leveraging Code LLMs and Static Analysis for Practical Software Development)

本次演讲将从国内外汽车行业的相关标准发展为切入点，介绍智能化相关的汽车软件的发展趋势和量产实践。

“蜕变测试的进展：蜕变关系的自动推导和合成” (Advancements in Metamorphic Testing: Automated Deduction and Synthesis of Metamorphic Relations)

报告时间：2024年6月12日（周三）晚上9:30-11:00

本次报告主要会分享网易在低代码领域和自研编程语言的设计经验，以及融合AIGC技术在生成代码、解读逻辑、D2C等智能编程的场景应用与工程实践。

报告时间：2024年5月31日，10:00-11:30 报告地点：复旦大学江湾校区交叉二号学科楼A2003

本次分享的内容将由：从分散到集中、从ECU到XPU、从RTOS到GPOS、从MDV到SDV这四个方面的的内容组成。希望能够帮助听众较为全面的了解智能汽车基础软件的发展趋势和内在逻辑。

2024年06月13日晚上9点，“智能化软件开发沙龙”微信群，敬请关注！

当前，基于大模型的软件智能化开发已经成为学术界和产业界共同关注的热点话题。

今天我们将把目光转移到目前汽车行业SDV/SOA化的进展方面，关注目前出现并被积极讨论的SOA解决方案。

智能化软件开发微访谈以微信群访谈交流的形式汇聚学术界与工业界专家，共同分享前沿研究进展与业界实践，探讨未来技术发展方向。

2024年07月04日晚上8点，“智能化软件开发沙龙”微信群，敬请关注！

当前，基于大模型的生成式软件开发正受到越来越多的关注，同时也引发了关于低代码开发与大模型代码生成之间关系的讨论。

本文详细探索了使用ChatGPT进行编程实现俄罗斯方块游戏。通过三种不同的试验方式-逐类实现、逐feature实现以及遵循有经验开发者的思路实现-本文展示了ChatGPT在代码生成方面的强大能力，并探讨如何更高效地利用这一工具进行软件开发。

研讨会将于3月12日13:30复旦大学江湾校区召开，目前火热报名中！

人类正在进入一个人机物融合的万物智能互联时代，这些人机物融合智能化系统的“智能”从何而来？所谓的“软件定义”在其中扮演着什么样的角色？

Rust语言国际开源社区与软件生态快速发展，但作为一种新生代语言还没有在国内得到广泛的了解和接受，同时在技术和生态发展上还有很多挑战和机遇。

当前，智能网联汽车已成为带动车辆控制、信息通信、云计算、大数据、AI等发展的战略制高点。