Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Study

Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Study
复制标题

评估神经网络逻辑松弛:一项综合研究

DOI:
10.24963/ijcai.2021/387
复制
发表时间:
2021
期刊:
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21
影响因子:
--
通讯作者:
Srikumar, Vivek
Srikumar, Vivek
中科院分区:
--
文献类型:
--
作者:
Medina Grespan, Mattia;Gupta, Ashim;Srikumar, Vivek

文献摘要

参考文献

被引文献

相似文献

神经模型一致性的逻辑驱动框架
DOI: 10.18653/v1/d19-1405
发表时间: 2019
期刊: Proceedings of the Conference on Empirical Methods in Natural Language Processing (EMNLP
影响因子: --
作者:
Li, Tao;Gupta, Vivek;Mehta, Maitrey;Srikumar, Vivek
通讯作者: Srikumar, Vivek
DOI: 10.1023/a:1017153816538
发表时间: 2001-01
期刊: LISP and Symbolic Computation
影响因子: --
作者:
Patrick J. Roa
通讯作者: Patrick J. Roa
DOI: 10.24963/kr.2020/92
发表时间: 2020-06
期刊: ArXiv
影响因子: --
作者:
Emile van Krieken;Erman Acar;F. V. Harmelen
通讯作者: Emile van Krieken;Erman Acar;F. V. Harmelen
DOI: --
发表时间: 2017-11
期刊: --
影响因子: --
作者:
Jingyi Xu;Zilu Zhang;Tal Friedman;Yitao Liang;Guy Van den Broeck
通讯作者: Jingyi Xu;Zilu Zhang;Tal Friedman;Yitao Liang;Guy Van den Broeck
Katsunori Fujii:“-一种假设的方法-”东海体育学会第 48 届会议摘要集(2000 年)。
DOI: --
发表时间: --
期刊:
影响因子: --
作者:
通讯作者: --