ORID kovefbSXbQ · tags icml2026-repro paper-kovefbSXbQ
| # | Status | Page | Artifact | Claim excerpt |
|---|---|---|---|---|
| 1 | VERIFIED 2/2 | 01-framework-formalizes-behavioral-systems-f-coalge | artifact | The framework formalizes behavioral systems as F-coalgebras and defines behavior… |
| 2 | VERIFIED 2/2 | 02-behavioral-structures-are-characterized-post-fix | artifact | Behavioral structures are characterized as post-fixed points (or fixed points) o… |
| 3 | VERIFIED 2/2 | 03-safe-verification-surjective-homomorphisms-refle | artifact | Theorem 3.12 (Safe verification) shows surjective homomorphisms reflect post-fix… |
| 4 | VERIFIED 2/2 | 04-logical-quantitative-relation-connects-logical-q | artifact | Theorem 3.14 (Logical-quantitative relation) connects logical and quantitative b… |
| 5 | VERIFIED 2/2 | 05-framework-instantiates-state-abstraction-methods | artifact | The framework instantiates state abstraction methods in RL as special cases, inc… |
| 6 | VERIFIED 2/2 | 06-policy-dependent-transition-expressed-natural-tr | artifact | A policy-dependent transition α^π, expressed as a natural transformation connect… |