A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
- Maxwell Crouse
- Ibrahim Abdelaziz
- et al.
- 2021
- AAAI 2021
Conference paper
Publications
1650 results for Machine Learning
Improved Mutual Information Estimation
- Youssef Mroueh
- Igor Melnyk
- et al.
- 2021
- AAAI 2021
Conference paperFast Training of Provably Robust Neural Networks by SingleProp
- Akhilan Boopathy
- Tsui-Wei Weng
- et al.
- 2021
- AAAI 2021
Conference paperRelation-aware Graph Attention Model with Adaptive Self-adversarial Training
- Xiao Qin
- Nasrullah Sheikh
- et al.
- 2021
- AAAI 2021
Conference paperUser Driven Model Adjustment via Boolean Rule Explanations
- Elizabeth Daly
- Massimilliano Mattetti
- et al.
- 2021
- AAAI 2021
Conference paperDecentralized policy gradient descent ascent for safe multi-agent reinforcement learning
- Songtao Lu
- Kaiqing Zhang
- et al.
- 2021
- AAAI 2021
Conference paperSelf-correcting Q-learning
- Rong Zhu
- Mattia Rigotti
- 2021
- AAAI 2021
Conference paperRethinking Bi-Level Optimization in Neural Architecture Search: A Gibbs Sampling Perspective
- Chao Xue
- Xiaoxing Wang
- et al.
- 2021
- AAAI 2021
Conference paperGraph Neural Network to Dilute Outliers for Refactoring Monolith Application
- Utkarsh Desai
- Sambaran Bandyopadhyay
- et al.
- 2021
- AAAI 2021
Conference paperText-based RL Agents with Commonsense Knowledge: New Challenges, Environments and Baselines
- Keerthiram Murugesan
- Mattia Atzeni
- et al.
- 2021
- AAAI 2021
Conference paper