2 papers
cs.LG2024
AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
Mert Ünsal, Timon Gehr, Martin Vechev
We present the first correct-by-construction learning-based system for step-by-step mathematical integration. The key idea is to learn a policy, represented by a GPT transformer mo…
cs.LG2020
Robustness Certification of Generative Models
Matthew Mirman, Timon Gehr, Martin Vechev
Generative neural networks can be used to specify continuous transformations between images via latent-space interpolation. However, certifying that all images captured by the resu…