https://smlab.niser.ac.in/labtalks/talks/neural-theorem-proving-in-lean/