4 ms·How to train an AI strapped to a formal solver.by sylware 2y agoHow to train an AI strapped to a formal solver.