3 ms·Formal or not formal? That is the question in AI for theorem proving1 points by todsacerdoti 1y ago