1 paper touches this idea.
Papers
An AI checker that shows its work catches the errors a scoring bot misses
Related concepts
Ideas that show up alongside Formal Proof Assistants.