1

TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning

All your loss are belong to Bayes

Quantile Propagation for Wasserstein-Approximate Gaussian Processes

Variational Inference for Sparse Gaussian Process Modulated Hawkes Process

Efficient non-parametric Bayesian Hawkes processes

Monge blunts Bayes: Hardness results for adversarial training

SynthNet: Learning to Synthesize Music End-to-End.

Fast Bayesian Intensity Estimation for the Permanental Process

Neural Dynamic Programming for Musical Self Similarity

Self-Bounded Prediction Suffix Tree via Approximate String Matching