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
期刊:
影响因子:
--
通讯作者:
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
DOI:
--
发表时间:
--
期刊:
影响因子:
--
作者:
通讯作者:
--