A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
- Maxwell Crouse
- Ibrahim Abdelaziz
- et al.
- 2021
- AAAI 2021
Publications
Date
Featured collections
Popular topics
72 results at AAAI 2021
Anomaly Attribution with Likelihood Compensation
- 2021
- AAAI 2021
Self-correcting Q-learning
- Rong Zhu
- Mattia Rigotti
- 2021
- AAAI 2021
Neural Analogical Matching
- Maxwell Crouse
- Constantine Nakos
- et al.
- 2021
- AAAI 2021
Graph Neural Network to Dilute Outliers for Refactoring Monolith Application
- Utkarsh Desai
- Sambaran Bandyopadhyay
- et al.
- 2021
- AAAI 2021
Decentralized policy gradient descent ascent for safe multi-agent reinforcement learning
- Songtao Lu
- Kaiqing Zhang
- et al.
- 2021
- AAAI 2021
NASTransfer: Analyzing Architecture Transferability in Large Scale NeuralArchitecture Search
- Rameswar Panda
- Michele Merler
- et al.
- 2021
- AAAI 2021
Multilingual Transfer Learning for QA using Translation as Data Augmentation
- Mihaela Bornea
- Lin Pan
- et al.
- 2021
- AAAI 2021
Generate Your Counterfactuals: Towards Controlled Counterfactual Generation for Text
- Nishtha Madaan
- Inkit Padhi
- et al.
- 2021
- AAAI 2021
StarNet: Towards Weakly Supervised Few-Shot Object Detection
- Leonid Karlinsky
- Joseph Shtok
- et al.
- 2021
- AAAI 2021