research
∙
03/08/2023
Magnushammer: A Transformer-based Approach to Premise Selection
Premise selection is a fundamental problem of automated theorem proving....
share
research
∙
02/20/2023
Unsupervised Out-of-Distribution Detection with Diffusion Inpainting
Unsupervised out-of-distribution detection (OOD) seeks to identify out-o...
research
∙
12/20/2022
Learned Systems Security
A learned system uses machine learning (ML) internally to improve perfor...
research
∙
10/21/2022
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
The formalization of existing mathematical proofs is a notoriously diffi...
research
∙
02/25/2022
Does Label Differential Privacy Prevent Label Inference Attacks?
Label differential privacy (LDP) is a popular framework for training pri...
research
∙
08/20/2020
Not My Deepfake: Towards Plausible Deniability for Machine-Generated Media
Progress in generative modelling, especially generative adversarial netw...
research
∙
08/03/2020