Five short papers on making AI-assisted work re-checkable
A developer released five short papers on making AI-assisted work re-checkable, all archived on Zenodo with DOIs. The papers introduce concepts such as EMET, a byte-level integrity witness; BuildLang,…