成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
形式化
关注
1
综合
百科
VIP
热门
动态
论文
精华
斯坦福大学新研究:询问愚蠢问题,AI能变聪明
机器之心
1+阅读 · 2022年10月6日
AI for mathematics | 谷歌Minerva & Autoformalization项目原作解读
机器之心
0+阅读 · 2022年10月25日
什么是因果机器学习?UCL&牛津大学最新《因果机器学习》书册,165页pdf阐述因果机器学习体系
专知
9+阅读 · 2022年7月1日
华为再发「天才少年」召集令!曾放弃360万年薪的他也来首秀
新智元
0+阅读 · 2022年7月26日
推荐!【F16模型:符号系统、模型提取、异常检测和形式化方法】《利用符号表示实现安全可靠学习》美空军2022最新107页技术报告
专知
8+阅读 · 2022年11月3日
李飞飞新作登PNAS!AI与人类互动23万次,智能水平提高112%
新智元
0+阅读 · 2022年10月2日
【2022新书】机器学习中的概率数值计算,412页pdf
专知
26+阅读 · 2022年7月7日
迈向可验证的 AI: 形式化方法的五大挑战
THU数据派
2+阅读 · 2022年7月20日
从数学推导开始,7万字一定带你学会支持向量机(免费PDF下载)
机器之心
0+阅读 · 2022年7月19日
KDD2022 | 推荐系统通用序列表示模型UniSRec
机器学习与推荐算法
2+阅读 · 2022年7月1日
斯坦福李飞飞新作登 PNAS:AI 与人类互动才能提高智能水平
THU数据派
0+阅读 · 2022年10月3日
LLNL国家实验室《计算高效深度学习:算法趋势和机遇》,52页pdf
专知
2+阅读 · 2022年10月26日
LLNL国家实验室《计算高效深度学习:算法趋势和机遇》,52页pdf
THU数据派
1+阅读 · 2022年10月28日
历时7年完成,大获称赞的概率数值计算新书在线可看
机器之心
1+阅读 · 2022年7月6日
AI再卷数学界,DSP新方法将机器证明成功率提高一倍
机器之心
0+阅读 · 2022年11月20日
参考链接
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top