9 ms·
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?
by ALLTaken 11mo ago
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?