1 paper toca esta idea.
Papers
An AI checker that shows its work catches the errors a scoring bot misses
Conceptos relacionados
Ideas que aparecen junto a Formal Proof Assistants.