Bruno Gavranović

@bgavran.bsky.social

980 Followers · 65 Following

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 www.brunogavranovic.com