I'm building neural networks that generate provably correct code, and the software infrastructure for training them.

Recently experimenting with TensorType: https://github.com/bgavran/TensorType