About Bruno Gavranović

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

Lists

Timeline

bgavran has no activity yet