2 citations · 3 across the 4 of their papers we have counts for
4 papers
Advancing Mathematics Research with AI-Driven Formal Proof Search
George Tsoukalas, Anton Kovsharov, Sergey Shirobokov +18
Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability limits their utility in mathematics research. A mitigation is using LLMs to gener…
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
Moritz Firsching, Paul Lezeau, Salvatore Mercuri +8
As automated reasoning systems advance rapidly, there is a growing need for research-level formal mathematical problems to accurately evaluate their capabilities. To address this,…
SynthID-Image: Image watermarking at internet scale
Sven Gowal, Rudy Bunel, Florian Stimberg +23
We introduce SynthID-Image, a deep learning-based system for invisibly watermarking AI-generated imagery. This paper documents the technical desiderata, threat models, and practica…
Survival and Detection of Symmetry-Protected Topology in Loop Quenches
Nicolò Forcellini, Miklós Horváth, Panagiotis Kotetes
We explore a class of dynamical protocols - that we term loop quenches - which are tailored for the study of symmetry-protected topological (SPT) systems. In loop quenches, SPT pha…