会员服务
2023 年 5 月 3 日
Proof in the time of machines
翻译：暂无翻译
Andrew Granville
Andrew Granville
from arxiv, Comments welcome. arXiv admin note: text overlap with arXiv:2305.02115

We compare the values associated with (traditional) community based proof verification to those associated with computer proof verification. We propose ways that computer proofs might incorporate successful strategies from human experiences.


翻译：暂无翻译
0
下载
关闭预览

相关内容

【干货书】机器学习设计模式，408页pdf，Machine Learning Design Patterns
【干货书】机器学习设计模式，408页pdf，Machine Learning Design Patterns
专知会员服务
134+阅读 · 2022年2月6日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
164+阅读 · 2020年3月18日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
88+阅读 · 2020年2月12日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
47+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
64+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
强化学习三篇论文 避免遗忘等
强化学习三篇论文 避免遗忘等
CreateAMind
19+阅读 · 2019年5月24日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
逆强化学习-学习人先验的动机
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
【推荐】用Python/OpenCV实现增强现实
【推荐】用Python/OpenCV实现增强现实
机器学习研究会
15+阅读 · 2017年11月16日
【推荐】深度学习目标检测概览
【推荐】深度学习目标检测概览
机器学习研究会
10+阅读 · 2017年9月1日
核因子NF90在肝癌细胞中稳定细胞周期蛋白Cyclin E1 mRNA的机制研究
国家自然科学基金
0+阅读 · 2015年12月31日
microRNA介导Vaspin调控动脉钙化的机制研究
国家自然科学基金
0+阅读 · 2015年12月31日
Chemerin通过调节p38MAPK通路参与动脉粥样硬化分子机制研究
国家自然科学基金
0+阅读 · 2015年12月31日
稀土MOF纳米荧光探针的设计合成及其生物应用
国家自然科学基金
0+阅读 · 2013年12月31日
可金属修饰的Keggin型缺位多酸基MOFs的设计合成及催化性质研究
国家自然科学基金
0+阅读 · 2013年12月31日
Kronheimer-Nakajima quiver 模空间与有理曲面
国家自然科学基金
1+阅读 · 2013年12月31日
柽柳Dof转录因子的耐盐调控机理研究
国家自然科学基金
0+阅读 · 2012年12月31日
Corin介导的ANP活化在动脉粥样硬化形成及其炎症反应中的作用与机制
国家自然科学基金
0+阅读 · 2012年12月31日
Prohibitin调控癌组织内源性雄激素合成促进前列腺癌激素抵抗性进展机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
MCM3-SYF2复合物对cyclin D1-CDKs调节在星形胶质细胞炎症激活中的作用
国家自然科学基金
0+阅读 · 2012年12月31日
Hallucination is the last thing you need
Arxiv
0+阅读 · 2023年6月20日
Resolving the Human Subjects Status of Machine Learning's Crowdworkers
Arxiv
0+阅读 · 2023年6月15日
A survey and taxonomy of loss functions in machine learning
Arxiv
22+阅读 · 2023年1月13日
A Survey of Learning on Small Data
Arxiv
19+阅读 · 2022年7月29日
Machine Learning: Algorithms, Models, and Applications
Arxiv
22+阅读 · 2022年1月6日
A Survey of Human-in-the-loop for Machine Learning
Arxiv
35+阅读 · 2021年8月2日
Informed Machine Learning -- A Taxonomy and Survey of Integrating Knowledge into Learning Systems
Arxiv
37+阅读 · 2021年5月28日
The Causal Learning of Retail Delinquency
Arxiv
14+阅读 · 2020年12月17日
Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective
Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective
Arxiv
17+阅读 · 2020年9月8日
Go Wide, Then Narrow: Efficient Training of Deep Thin Networks
Arxiv
15+阅读 · 2020年7月1日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
相关VIP内容
【干货书】机器学习设计模式，408页pdf，Machine Learning Design Patterns
【干货书】机器学习设计模式，408页pdf，Machine Learning Design Patterns
专知会员服务
134+阅读 · 2022年2月6日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
164+阅读 · 2020年3月18日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
88+阅读 · 2020年2月12日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
47+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
64+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
强化学习三篇论文 避免遗忘等
强化学习三篇论文 避免遗忘等
CreateAMind
19+阅读 · 2019年5月24日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
逆强化学习-学习人先验的动机
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
【推荐】用Python/OpenCV实现增强现实
【推荐】用Python/OpenCV实现增强现实
机器学习研究会
15+阅读 · 2017年11月16日
【推荐】深度学习目标检测概览
【推荐】深度学习目标检测概览
机器学习研究会
10+阅读 · 2017年9月1日
相关论文
Hallucination is the last thing you need
Arxiv
0+阅读 · 2023年6月20日
Resolving the Human Subjects Status of Machine Learning's Crowdworkers
Arxiv
0+阅读 · 2023年6月15日
A survey and taxonomy of loss functions in machine learning
Arxiv
22+阅读 · 2023年1月13日
A Survey of Learning on Small Data
Arxiv
19+阅读 · 2022年7月29日
Machine Learning: Algorithms, Models, and Applications
Arxiv
22+阅读 · 2022年1月6日
A Survey of Human-in-the-loop for Machine Learning
Arxiv
35+阅读 · 2021年8月2日
Informed Machine Learning -- A Taxonomy and Survey of Integrating Knowledge into Learning Systems
Arxiv
37+阅读 · 2021年5月28日
The Causal Learning of Retail Delinquency
Arxiv
14+阅读 · 2020年12月17日
Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective
Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective
Arxiv
17+阅读 · 2020年9月8日
Go Wide, Then Narrow: Efficient Training of Deep Thin Networks
Arxiv
15+阅读 · 2020年7月1日
相关基金
核因子NF90在肝癌细胞中稳定细胞周期蛋白Cyclin E1 mRNA的机制研究
国家自然科学基金
0+阅读 · 2015年12月31日
microRNA介导Vaspin调控动脉钙化的机制研究
国家自然科学基金
0+阅读 · 2015年12月31日
Chemerin通过调节p38MAPK通路参与动脉粥样硬化分子机制研究
国家自然科学基金
0+阅读 · 2015年12月31日
稀土MOF纳米荧光探针的设计合成及其生物应用
国家自然科学基金
0+阅读 · 2013年12月31日
可金属修饰的Keggin型缺位多酸基MOFs的设计合成及催化性质研究
国家自然科学基金
0+阅读 · 2013年12月31日
Kronheimer-Nakajima quiver 模空间与有理曲面
国家自然科学基金
1+阅读 · 2013年12月31日
柽柳Dof转录因子的耐盐调控机理研究
国家自然科学基金
0+阅读 · 2012年12月31日
Corin介导的ANP活化在动脉粥样硬化形成及其炎症反应中的作用与机制
国家自然科学基金
0+阅读 · 2012年12月31日
Prohibitin调控癌组织内源性雄激素合成促进前列腺癌激素抵抗性进展机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
MCM3-SYF2复合物对cyclin D1-CDKs调节在星形胶质细胞炎症激活中的作用
国家自然科学基金
0+阅读 · 2012年12月31日
Top
微信扫码咨询专知VIP会员
Top