会员服务
9 月 7 日
Feasible disjunction for random resolution
翻译：暂无翻译
Theodoros Papamakarios
Theodoros Papamakarios

We show that a (stronger) version of random resolution has the feasible disjunction property. This is the first instance of a proof system not known to have feasible interpolation, which nevertheless has the feasible disjunction property.


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

相关内容

【NeurIPS 2022】Stable Diffusion采样速度翻倍！清华提出扩散模型高效求解器
【NeurIPS 2022】Stable Diffusion采样速度翻倍！清华提出扩散模型高效求解器
专知会员服务
49+阅读 · 2022年11月17日
【布朗大学David Abel博士论文】A Theory of Abstraction in Reinforcement Learning
【布朗大学David Abel博士论文】A Theory of Abstraction in Reinforcement Learning
专知会员服务
25+阅读 · 2022年3月16日
【ACL2020】Span-ConveRT：预训练对话表示小样本跨度提取，Span-ConveRT: Few-shot Span Extraction for Dialog with Pretrained Conversational Representations
【ACL2020】Span-ConveRT：预训练对话表示小样本跨度提取，Span-ConveRT: Few-shot Span Extraction for Dialog with Pretrained Conversational Representations
专知会员服务
17+阅读 · 2020年5月19日
【CVPR2020-中科院计算所】弱监督语义分割的自监督等价注意力机制，Self-supervised Equivariant Attention Mechanism for Weakly Supervised Semantic Segmentation
【CVPR2020-中科院计算所】弱监督语义分割的自监督等价注意力机制，Self-supervised Equivariant Attention Mechanism for Weakly Supervised Semantic Segmentation
专知会员服务
76+阅读 · 2020年4月10日
【CVPR2020】强化特征点，Reinforced Feature Points: Optimizing Feature Detection and Description for a High-Level Task
【CVPR2020】强化特征点，Reinforced Feature Points: Optimizing Feature Detection and Description for a High-Level Task
专知会员服务
50+阅读 · 2020年2月25日
【Google AI论文】无妥协的弱监督解缠，Weakly-Supervised Disentanglement Without Compromises
【Google AI论文】无妥协的弱监督解缠，Weakly-Supervised Disentanglement Without Compromises
专知会员服务
20+阅读 · 2020年2月12日
【KDD2019|讲座推荐】深强化学习及其在交通运输中的应用：Deep Reinforcement Learning with Applications in Transportation
【KDD2019|讲座推荐】深强化学习及其在交通运输中的应用：Deep Reinforcement Learning with Applications in Transportation
专知会员服务
57+阅读 · 2019年12月4日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
37+阅读 · 2019年10月17日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
61+阅读 · 2019年10月17日
【KDD 2019|Tutorial】应用在交通中的强化学习 Deep Reinforcement Learning with Applications in Transportation，滴滴 AI Labs
【KDD 2019|Tutorial】应用在交通中的强化学习 Deep Reinforcement Learning with Applications in Transportation，滴滴 AI Labs
专知会员服务
65+阅读 · 2019年8月8日
「涩涩」警告！AI涩图生成器Unstable Diffusion成老司机聚集地
「涩涩」警告！AI涩图生成器Unstable Diffusion成老司机聚集地
新智元
29+阅读 · 2022年11月18日
远程监督在关系抽取中的应用
远程监督在关系抽取中的应用
深度学习自然语言处理
12+阅读 · 2020年10月26日
【论文】Awesome Relation Extraction Paper（关系抽取）（PART V）
【论文】Awesome Relation Extraction Paper（关系抽取）（PART V）
AINLP
38+阅读 · 2019年9月3日
【论文】Awesome Relation Extraction Paper（关系抽取）（PART IV）
【论文】Awesome Relation Extraction Paper（关系抽取）（PART IV）
AINLP
15+阅读 · 2019年8月26日
【论文】Awesome Relation Extraction Paper（关系抽取）（PART III）
【论文】Awesome Relation Extraction Paper（关系抽取）（PART III）
AINLP
25+阅读 · 2019年8月21日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
《pyramid Attention Network for Semantic Segmentation》
《pyramid Attention Network for Semantic Segmentation》
统计学习与视觉计算组
44+阅读 · 2018年8月30日
Single-Shot Object Detection with Enriched Semantics
Single-Shot Object Detection with Enriched Semantics
统计学习与视觉计算组
14+阅读 · 2018年8月29日
半监督多任务学习：Semisupervised Multitask Learning
半监督多任务学习：Semisupervised Multitask Learning
我爱读PAMI
18+阅读 · 2018年4月29日
Focal Loss for Dense Object Detection
Focal Loss for Dense Object Detection
统计学习与视觉计算组
12+阅读 · 2018年3月15日
多路径通信网络关键技术研究
国家自然科学基金
0+阅读 · 2015年12月31日
高超声速飞行器超紧耦合自主可靠导航方法研究
国家自然科学基金
2+阅读 · 2015年12月31日
捆绑连接结构局部非线性及对火箭动力学行为的影响分析
国家自然科学基金
0+阅读 · 2015年12月31日
基于内嵌光纤FRP智能锚杆的边坡锚固稳定性监测与评价方法研究
国家自然科学基金
0+阅读 · 2015年12月31日
安全约束条件下的高速列车可靠牵引与制动控制
国家自然科学基金
0+阅读 · 2015年12月31日
关联电子动力学对分子轨道的依赖及其强场控制研究
国家自然科学基金
0+阅读 · 2014年12月31日
冰雪条件耦合作用下城市道路交通系统脆弱性时空演化研究
国家自然科学基金
0+阅读 · 2014年12月31日
大城市中等收入群体出行选择行为的不确定性决策机理研究
国家自然科学基金
0+阅读 · 2014年12月31日
带噪声 Radon 逆问题的点态估计
国家自然科学基金
0+阅读 · 2014年12月31日
基于交通行为的道路网络脆弱性识别及改善策略研究
国家自然科学基金
0+阅读 · 2014年12月31日
A Resilience-as-a-Service assessment framework for coordinated disruption response in interdependent urban transit systems
Arxiv
0+阅读 · 10月6日
Discrepancy for Random Linear Codes
Arxiv
0+阅读 · 9月29日
Re-derivability Decides What a Staged Agent Pipeline Recovers After an Upstream Fault
Arxiv
0+阅读 · 9月26日
Beyond Incentive Compatibility: Rational Harm-Proof Transaction Fee Mechanisms
Arxiv
0+阅读 · 9月25日
Consistent Order Selection under Non-Identifiability and Dependence
Arxiv
0+阅读 · 9月19日
Medvedev logic is undecidable
Arxiv
0+阅读 · 9月11日
Flexible and Interpretable Accent Distance Measurements
Arxiv
0+阅读 · 9月10日
Noisy-Space Policy Gradient for Diffusion Policies in Offline Reinforcement Learning
Arxiv
0+阅读 · 9月7日
Measured Sliders: Learning Continuous Controls from Differentiable Image Measurements
Arxiv
0+阅读 · 9月4日
A Polymatroidal Perspective on Random Contraction
Arxiv
0+阅读 · 9月3日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
最新内容
软件定义无人机蜂群给防空带来全新压力
软件定义无人机蜂群给防空带来全新压力
专知会员服务
5+阅读 · 10月13日
《半自主无人地面战车的互操作性》66页
《半自主无人地面战车的互操作性》66页
专知会员服务
5+阅读 · 10月13日
《鲁棒武器-目标分配方法在预测拦截点不确定条件下的应用》
《鲁棒武器-目标分配方法在预测拦截点不确定条件下的应用》
专知会员服务
4+阅读 · 10月13日
《攻击型无人机操作员能力向模拟训练的映射框架研究》130页
《攻击型无人机操作员能力向模拟训练的映射框架研究》130页
专知会员服务
3+阅读 · 10月13日
《加速作战司令部能力部署：指定作战司令官作为联合作战问题的执行代理》
《加速作战司令部能力部署：指定作战司令官作为联合作战问题的执行代理》
专知会员服务
2+阅读 · 10月13日
迈向更智慧的军事情报
迈向更智慧的军事情报
专知会员服务
5+阅读 · 10月12日
《美国陆军2026年野战手册 2-0 情报》
《美国陆军2026年野战手册 2-0 情报》
专知会员服务
5+阅读 · 10月12日
《基于启发式算法求解武器-目标分配问题》
《基于启发式算法求解武器-目标分配问题》
专知会员服务
7+阅读 · 10月12日
《基于聚类的武器-目标分配方法：大规模无人机蜂群》
《基于聚类的武器-目标分配方法：大规模无人机蜂群》
专知会员服务
7+阅读 · 10月12日
【NeurIPS 2026 】TokenRouter：让大模型逐词元路由真正高效运行
【NeurIPS 2026 】TokenRouter：让大模型逐词元路由真正高效运行
专知会员服务
4+阅读 · 10月10日
综述｜大模型生成测试：从“能运行”到“有证据判断对错”
综述｜大模型生成测试：从“能运行”到“有证据判断对错”
专知会员服务
6+阅读 · 10月10日
《美陆军最新条令出版物 2-0 情报》
《美陆军最新条令出版物 2-0 情报》
专知会员服务
8+阅读 · 10月10日
电子战测试与训练靶场：战前验证战备状态
电子战测试与训练靶场：战前验证战备状态
专知会员服务
3+阅读 · 10月10日
《自主武器系统——超越人在回路：纠正可达性与未来的封闭》34页
《自主武器系统——超越人在回路：纠正可达性与未来的封闭》34页
专知会员服务
6+阅读 · 10月10日
《美国陆军如何作战》46页最新报告
《美国陆军如何作战》46页最新报告
专知会员服务
9+阅读 · 10月10日
相关VIP内容
【NeurIPS 2022】Stable Diffusion采样速度翻倍！清华提出扩散模型高效求解器
【NeurIPS 2022】Stable Diffusion采样速度翻倍！清华提出扩散模型高效求解器
专知会员服务
49+阅读 · 2022年11月17日
【布朗大学David Abel博士论文】A Theory of Abstraction in Reinforcement Learning
【布朗大学David Abel博士论文】A Theory of Abstraction in Reinforcement Learning
专知会员服务
25+阅读 · 2022年3月16日
【ACL2020】Span-ConveRT：预训练对话表示小样本跨度提取，Span-ConveRT: Few-shot Span Extraction for Dialog with Pretrained Conversational Representations
【ACL2020】Span-ConveRT：预训练对话表示小样本跨度提取，Span-ConveRT: Few-shot Span Extraction for Dialog with Pretrained Conversational Representations
专知会员服务
17+阅读 · 2020年5月19日
【CVPR2020-中科院计算所】弱监督语义分割的自监督等价注意力机制，Self-supervised Equivariant Attention Mechanism for Weakly Supervised Semantic Segmentation
【CVPR2020-中科院计算所】弱监督语义分割的自监督等价注意力机制，Self-supervised Equivariant Attention Mechanism for Weakly Supervised Semantic Segmentation
专知会员服务
76+阅读 · 2020年4月10日
【CVPR2020】强化特征点，Reinforced Feature Points: Optimizing Feature Detection and Description for a High-Level Task
【CVPR2020】强化特征点，Reinforced Feature Points: Optimizing Feature Detection and Description for a High-Level Task
专知会员服务
50+阅读 · 2020年2月25日
【Google AI论文】无妥协的弱监督解缠，Weakly-Supervised Disentanglement Without Compromises
【Google AI论文】无妥协的弱监督解缠，Weakly-Supervised Disentanglement Without Compromises
专知会员服务
20+阅读 · 2020年2月12日
【KDD2019|讲座推荐】深强化学习及其在交通运输中的应用：Deep Reinforcement Learning with Applications in Transportation
【KDD2019|讲座推荐】深强化学习及其在交通运输中的应用：Deep Reinforcement Learning with Applications in Transportation
专知会员服务
57+阅读 · 2019年12月4日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
37+阅读 · 2019年10月17日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
61+阅读 · 2019年10月17日
【KDD 2019|Tutorial】应用在交通中的强化学习 Deep Reinforcement Learning with Applications in Transportation，滴滴 AI Labs
【KDD 2019|Tutorial】应用在交通中的强化学习 Deep Reinforcement Learning with Applications in Transportation，滴滴 AI Labs
专知会员服务
65+阅读 · 2019年8月8日
热门VIP内容
相关资讯
「涩涩」警告！AI涩图生成器Unstable Diffusion成老司机聚集地
「涩涩」警告！AI涩图生成器Unstable Diffusion成老司机聚集地
新智元
29+阅读 · 2022年11月18日
远程监督在关系抽取中的应用
远程监督在关系抽取中的应用
深度学习自然语言处理
12+阅读 · 2020年10月26日
【论文】Awesome Relation Extraction Paper（关系抽取）（PART V）
【论文】Awesome Relation Extraction Paper（关系抽取）（PART V）
AINLP
38+阅读 · 2019年9月3日
【论文】Awesome Relation Extraction Paper（关系抽取）（PART IV）
【论文】Awesome Relation Extraction Paper（关系抽取）（PART IV）
AINLP
15+阅读 · 2019年8月26日
【论文】Awesome Relation Extraction Paper（关系抽取）（PART III）
【论文】Awesome Relation Extraction Paper（关系抽取）（PART III）
AINLP
25+阅读 · 2019年8月21日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
《pyramid Attention Network for Semantic Segmentation》
《pyramid Attention Network for Semantic Segmentation》
统计学习与视觉计算组
44+阅读 · 2018年8月30日
Single-Shot Object Detection with Enriched Semantics
Single-Shot Object Detection with Enriched Semantics
统计学习与视觉计算组
14+阅读 · 2018年8月29日
半监督多任务学习：Semisupervised Multitask Learning
半监督多任务学习：Semisupervised Multitask Learning
我爱读PAMI
18+阅读 · 2018年4月29日
Focal Loss for Dense Object Detection
Focal Loss for Dense Object Detection
统计学习与视觉计算组
12+阅读 · 2018年3月15日
相关论文
A Resilience-as-a-Service assessment framework for coordinated disruption response in interdependent urban transit systems
Arxiv
0+阅读 · 10月6日
Discrepancy for Random Linear Codes
Arxiv
0+阅读 · 9月29日
Re-derivability Decides What a Staged Agent Pipeline Recovers After an Upstream Fault
Arxiv
0+阅读 · 9月26日
Beyond Incentive Compatibility: Rational Harm-Proof Transaction Fee Mechanisms
Arxiv
0+阅读 · 9月25日
Consistent Order Selection under Non-Identifiability and Dependence
Arxiv
0+阅读 · 9月19日
Medvedev logic is undecidable
Arxiv
0+阅读 · 9月11日
Flexible and Interpretable Accent Distance Measurements
Arxiv
0+阅读 · 9月10日
Noisy-Space Policy Gradient for Diffusion Policies in Offline Reinforcement Learning
Arxiv
0+阅读 · 9月7日
Measured Sliders: Learning Continuous Controls from Differentiable Image Measurements
Arxiv
0+阅读 · 9月4日
A Polymatroidal Perspective on Random Contraction
Arxiv
0+阅读 · 9月3日
相关基金
多路径通信网络关键技术研究
国家自然科学基金
0+阅读 · 2015年12月31日
高超声速飞行器超紧耦合自主可靠导航方法研究
国家自然科学基金
2+阅读 · 2015年12月31日
捆绑连接结构局部非线性及对火箭动力学行为的影响分析
国家自然科学基金
0+阅读 · 2015年12月31日
基于内嵌光纤FRP智能锚杆的边坡锚固稳定性监测与评价方法研究
国家自然科学基金
0+阅读 · 2015年12月31日
安全约束条件下的高速列车可靠牵引与制动控制
国家自然科学基金
0+阅读 · 2015年12月31日
关联电子动力学对分子轨道的依赖及其强场控制研究
国家自然科学基金
0+阅读 · 2014年12月31日
冰雪条件耦合作用下城市道路交通系统脆弱性时空演化研究
国家自然科学基金
0+阅读 · 2014年12月31日
大城市中等收入群体出行选择行为的不确定性决策机理研究
国家自然科学基金
0+阅读 · 2014年12月31日
带噪声 Radon 逆问题的点态估计
国家自然科学基金
0+阅读 · 2014年12月31日
基于交通行为的道路网络脆弱性识别及改善策略研究
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员
Top