3 ms·
Interesting. That's a lot lower than my estimate. I kinda agree that what I said is pretty abstract though. Clearly, there are academics working with proof engi
by mike_hearn 2y ago
Interesting. That's a lot lower than my estimate. I kinda agree that what I said is pretty abstract though. Clearly, there are academics working with proof engines that have a shaky grip on the definitions of the various fallacies, or maybe they just don't care much and saw a dataset they could optimize for that industrial labs were likely to ignore (I suspect the latter).
- _cs2017_ 2y agoI also assign a 50% probability to the authors of the paper not realizing their mistake even after reading your post. I think competence is quite rare even in the academia.