Deep network guided proof search

DeepMath - Deep sequence models for premise selection

TensorFlow: A system for large-scale machine learning

TensorFlow: Large-scale machine learning on heterogeneous distributed systems

Pentago is a first player win: strongly solving a game using parallel in-core retrograde analysis

A deterministic pseudorandom perturbation scheme for arbitrary polynomial predicates

Developing fractal curves

Compression and direct manipulation of complex blendshape models

Banded Householder representation of linear subspaces

A quantized-diffusion model for rendering translucent materials