Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
Hidden Agendas, Lost Cities
systemstack.dev·1d
Is this the best acronym in science? It's certainly the smelliest
newscientist.com·1d
AI Security Map: Holistic Organization of AI Security Technologies and Impacts on Stakeholders
arxiv.org·2d
Exploring the Equivalence of Closed-Set Generative and Real Data Augmentation in Image Classification
arxiv.org·1d
Loading...Loading more...