Martin-Löf Types, Intensional Equality, Proof Objects, Program Extraction
This Guy Found a Faster Way to Multiply
popularmechanics.com·7h
Developing trustworthy AI: 9 key threat categories
reversinglabs.com·9h
Make Identity Unextractable yet Perceptible: Synthesis-Based Privacy Protection for Subject Faces in Photos
arxiv.org·20h
EMeRALDS: Electronic Medical Record Driven Automated Lung Nodule Detection and Classification in Thoracic CT Images
arxiv.org·20h
Loading...Loading more...