msc thesis only left. happy to do it with a twist. training an ml model to speed up proof generation and verification.

can you share more?