Roman Kniazev

According to our database, Roman Kniazev authored at least 7 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Transformers Linearly Represent Highly Structured World Models.

Roman Kniazev, Nathanaël Fijalkow

CoRR, May, 2026

Computing the Reachability Value of Posterior-Deterministic POMDPs.

Nathanaël Fijalkow, Arka Ghosh, Roman Kniazev, Guillermo A. Pérez, Pierre Vandenhove

CoRR, February, 2026

2025

A categorical and logical framework for iterated protocols.

Eric Goubault, Bernardo Hummes Flores, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum

CoRR, May, 2025

2024

A Many-Sorted Epistemic Logic for Chromatic Hypergraphs.

Éric Goubault, Roman Kniazev, Jérémy Ledent

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

On geometric models of epistemic logic. (Modèles géométriques de la logique épistémique).

Roman Kniazev

PhD thesis, 2023

Simplicial Models for the Epistemic Logic of Faulty Agents.

Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum

CoRR, 2023

Semi-Simplicial Set Models for Distributed Knowledge.

Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023