output
20152026
most citedGenerative AI

1.3k citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.LOShow all

2 papers · 1 filter

cs.LO2021★ 21 cited

Geometric Model Checking of Continuous Space

Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia +3

Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closur…

cs.LO2016

Sequent Calculus Representations for Quantum Circuits

Cameron Beebe

When considering a sequent-style proof system for quantum programs, there are certain elements of quantum mechanics that we may wish to capture, such as phase, dynamics of unitary…