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