arXiv paper proposes ProofTrace for detecting AI involvement in mathematical proofs
ProofTrace distinguishes human-written papers from those disclosing substantive AI use with stable performance under AI rewording.
1 stories, newest first · one card per story
ProofTrace distinguishes human-written papers from those disclosing substantive AI use with stable performance under AI rewording.
Today 1.6K readers · 2.5K views · 779 reads · all time 189K views