1 citations · 1 across the 3 of their papers we have counts for
7 papers
Discovering formally verified quantum programs with AI
Sergey Shirobokov, Ben Jaderberg, Katerina Hristova +23
The timeline by which quantum computers can solve breakthrough problems in science depends on improved quantum algorithms as much as on better hardware. Such algorithmic advances a…
A dataset of formalised theorem statements from the Annals of Mathematics
Thomas Browning, Katerina Hristova, David Ledvinka +4
Recent progress in autoformalisation of mathematics using AI has been impressive. Measuring this progress requires datasets of formal statements that are both hard and trustworthy.…
Basic Hopf algebras and symmetric bimodules
Katerina Hristova, Vanessa Miemietz
Motivated by the so-called H-cell reduction theorems, we investigate certain classes of bicategories which have only one H-cell apart from possibly the identity. We show that H_0-s…
General Comodule-Contramodule Correspondence
Katerina Hristova, John Jones, Dmitriy Rumynin
This paper is a fundamental study of comodules and contramodules over a comonoid in a symmetric closed monoidal category. We study both algebraic and homotopical aspects of them. A…
Cocompact Lattices in Locally Pro--complete Rank 2 Kac-Moody Groups
Inna Capdeboscq, Katerina Hristova, Dmitriy Rumynin
We initiate an investigation of lattices in a new class of locally compact groups, so called locally pro--complete Kac-Moody groups. We discover that in rank 2 their cocompact l…
Frobenius Reciprocity for Topological Groups
Katerina Hristova
We investigate the existence of left and right adjoints to the restriction functor in three categories of continuous representations of a topological group: discrete, linear comple…
Kac-Moody Groups and Cosheaves on Davis Building
Katerina Hristova, Dmitriy Rumynin
We investigate smooth representations of complete Kac-Moody groups. We approach representation theory via geometry, in particular, the group action on the Davis realisation of its…