Roman Kniazev

Selected Publications

  1. Transformers Linearly Represent Highly Structured World Models w/ Nathanaël Fijalkow
    arxiv Mechanistic Interpretability Workshop @ ICML 2026

  2. Computing the Reachability Value of Posterior-Deterministic POMDPs
    w/ Nathanaël Fijalkow, Arka Ghosh, Guillermo A. Pérez and Pierre Vandenhove
    arxiv

  3. A many-sorted epistemic logic for chromatic hypergraphs
    w/ Eric Goubault and Jérémy Ledent
    arxiv published
    accepted to CSL'24

  4. Semi-simplicial Set Models for Distributed Knowledge
    w/ Eric Goubault, Jérémy Ledent and Sergio Rajsbaum
    arxiv published
    accepted to LICS'23

Talks

  1. Programmatic Reinforcement Learning: Why and How? LIX, Palaiseau (Jan. 2025); LMF, Gif-sur-Yvette (Jan. 2025)

  2. Learning Oblique Decision Trees Faster
    Journées Synthèse de Programmes, LaBRI, Bordeaux (Nov. 2024)

  3. Knowledge in simplicial sets and hypergraphs
    Télécom Paris (Feb. 2024)

  4. Simplicial models for epistemic logic (sprinkled with concurrency)
    Ipomset project online seminar (Nov. 2023)

  5. Hypergraphs for knowledge
    Dagstuhl seminar 23272 (05/07/2023)
    slides

  6. Semi-simplicial set models for distributed knowledge (and beyond)
    DALGO seminar (04/05/2023)

  7. Chromatic semi-simplicial set model for group knowledge
    Journées LHC 2022 (13/10/2022)
    slides

  8. (Epistemic) modal logic from the topos point of view
    Category theory seminar at LIPN, Paris Nord (17/06/2022)
    slides

Thesis

On geometric models of epistemic logic hal