Fetching the paper…
Reading the bibliography…
Integrating logical reasoning within deep learning architectures has been a major goal of modern AI systems.
Problems of distance geometry and convex properties of quadratic maps
Barvinok, A. I · 1995
Earlier work this paper cites.
Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming
Goemans, M. X. and Williamson, D. P · 1995
Earlier work this paper cites.
Gradient-based learning applied to document recognition
LeCun, Y., Bottou, L., Bengio, Y., and Haffner, P · 1998
Earlier work this paper cites.
On the rank of extreme matrices in semidefinite programs and the multiplicity of optimal eigenvalues
Pataki, G · 1998
Earlier work this paper cites.
The power of semidefinite programming relaxations for max-sat
Gomes, C. P., van Hoeve, W.-J., and Leahu, L · 2006
Earlier work this paper cites.
Neural-symbolic learning and reasoning: contributions and challenges
Garcez, A., Besold, T. R., De Raedt, L., Földiak, P., Hitzler, P., Icard, T., Kühnberger, K.-U., Lamb, L. C., Miikkulainen, R., and Silver, D. L · 2015
Earlier work this paper cites.
Adam: Amethod for stochastic optimization
Kingma, D. P. and Ba, J. L · 2015
Earlier work this paper cites.
Harnessing deep neural networks with logic rules
Hu, Z., Ma, X., Liu, Z., Hovy, E., and Xing, E · 2016
Earlier work this paper cites.
Can neural networks crack sudoku?, 2016
Park, K · 2016
Earlier work this paper cites.
Optnet: Differentiable optimization as a layer in neural networks
Amos, B. and Kolter, J. Z · 2017
Cited alongside, same era.
Differentiable learning of submodular models
Djolonga, J. and Krause, A · 2017
Cited alongside, same era.
Task-based end-to-end model learning in stochastic optimization
Donti, P. L., Amos, B., and Kolter, J. Z · 2017
Cited alongside, same era.
Palm, R. B., Paquet, U., and Winther, O · 2017
Cited alongside, same era.
Failures of gradient-based deep learning
Shalev-Shwartz, S., Shamir, O., and Shammah, S · 2017
Cited alongside, same era.
Learning explanatory rules from noisy data
Evans, R. and Grefenstette, E · 2018
Later among the works it cites.
What game are we playing? end-to-end learning in normal and extensive form games
Ling, C. K., Fang, F., and Kolter, J. Z · 2018
Later among the works it cites.
Deepproblog: Neural probabilistic logic programming
Manhaeve, R., Dumancic, S., Kimmig, A., Demeester, T., and De Raedt, L · 2018
Later among the works it cites.
Learning a sat solver from single-bit supervision
Selsam, D., Lamm, M., Bunz, B., Liang, P., de Moura, L., and Dill, D. L · 2018
Later among the works it cites.
Lifted relational neural networks: Efficient learning of latent relational structures
Sourek, G., Aschenbrenner, V., Zelezny, F., Schockaert, S., and Kuzelka, O · 2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Wang, P.-W., Chang, W.-C., and Kolter, J. Z · 2017
Cited alongside, same era.
Differentiable learning of logical rules for knowledge base reasoning
Yang, F., Yang, Z., and Cohen, W. W · 2017
Cited alongside, same era.
Deeplogic: End-to-end logical reasoning
Cingillioglu, N. and Russo, A · 2018
Cited alongside, same era.
Tunneling neural perception and logic reasoning through abductive learning
Dai, W.-Z., Xu, Q.-L., Yu, Y., and Zhou, Z.-H · 2018
Cited alongside, same era.
Tschiatschek, S., Sahin, A., and Krause, A · 2018
Later among the works it cites.
Melding the data-decisions pipeline: Decision-focused learning for combinatorial optimization
Wilder, B., Dilkina, B., and Tambe, M · 2018
Later among the works it cites.
A semantic loss function for deep learning with symbolic knowledge
Xu, J., Zhang, Z., Friedman, T., Liang, Y., and den Broeck, G. V · 2018
Later among the works it cites.
Low-rank semidefinite programming for the max2sat problem
Wang, P.-W. and Kolter, J. Z · 2019
Closest in time.