5 papers
Stratifying Reinforcement Learning with Signal Temporal Logic
Justin Curry, Alberto Speranzon
In this paper, we develop a stratification-based semantics for Signal Temporal Logic (STL) in which each atomic predicate is interpreted as a membership test in a stratified space.…
Categorical Perspectives on Chemical Reaction Networks
Justin Curry, Mauricio Montes
We show that the Schur-complement reduction of a chemical reaction network (CRN) from Hirono et al. is the categorical complement of the stoichiometric arrow in the arrow category…
Counting Barcodes with the same Betti Curve
Henry Ashley, HÃ¥vard Bakke Bjerkevik, Justin Curry +2
This paper considers an important inverse problem in topological data analysis (TDA): How many different barcodes produce the same Betti curve? Equivalently, given a function $β\c…
Kan Approximations of the Persistent Homology Transform
Shreya Arya, Justin Curry
The persistent homology transform (PHT) of a subset is a map from the unit sphere to the space of persist…
Exploring the Stratified Space Structure of an RL Game with the Volume Growth Transform
Justin Curry, Brennan Lagasse, Ngoc B. Lam +3
In this work, we explore the structure of the embedding space of a transformer model trained for playing a particular reinforcement learning (RL) game. Specifically, we investigate…