成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
形式方法
关注
0
综合
百科
VIP
热门
动态
论文
精华
迈向可验证的 AI: 形式化方法的五大挑战
THU数据派
2+阅读 · 2022年7月20日
名校博士生临近毕业突然离世！去世前一直在熬夜完善毕业论文...
CVer
0+阅读 · 2022年6月4日
参考链接
提示
微信扫码
咨询专知VIP会员与技术项目合作
（加微信请备注: "专知"）
微信扫码咨询专知VIP会员
Top
微信扫码咨询专知VIP会员 微信扫码咨询专知VIP会员