3

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

Computer Assisted Composition in Continuous Time

New Tricks for Estimating Gradients of Expectations

Rank k Cholesky Up / Down-dating on the GPU