A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
- Maxwell Crouse
- Ibrahim Abdelaziz
- et al.
- 2021
- AAAI 2021
Conference paper
Publications
1611 results for Machine Learning
Fake it Till You Make it: Self-Supervised Semantic Shifts for Monolingual Word Embedding Tasks
- Maurício Gruppi
- Sibel Adalı
- et al.
- 2021
- AAAI 2021
Conference paperNASTransfer: Analyzing Architecture Transferability in Large Scale NeuralArchitecture Search
- Rameswar Panda
- Michele Merler
- et al.
- 2021
- AAAI 2021
Conference paperOutlier Impact Characterization for Time Series Data
- Jianbo Li
- Lecheng Zheng
- 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 paperDecentralized policy gradient descent ascent for safe multi-agent reinforcement learning
- Songtao Lu
- Kaiqing Zhang
- et al.
- 2021
- AAAI 2021
Conference paperAugmenting Policy Learning with Routines Discovered from a Demonstration
- Zelin Zhao
- Chuang Gan
- et al.
- 2021
- AAAI 2021
Conference paperUnsupervised Learning of Graph Hierarchical Abstractions with Differentiable Coarsening and Optimal Transport
- Tengfei Ma
- Jie Chen
- 2021
- AAAI 2021
Conference paperImproved Mutual Information Estimation
- Youssef Mroueh
- Igor Melnyk
- et al.
- 2021
- AAAI 2021
Conference paper