2 papers
cs.LG2024
Inductive Generalization in Reinforcement Learning from Specifications
Vignesh Subramanian, Rohit Kushwah, Subhajit Roy +1
We present a novel inductive generalization framework for RL from logical specifications. Many interesting tasks in RL environments have a natural inductive structure. These induct…
math.AT2024
A note on the Segal conjecture for large objects
Robert Burklund, Vignesh Subramanian
The Segal conjecture for (as proved by Lin and Gunawardena) asserts that the canonical map from the -complete sphere spectrum to the Tate construction for the trivial acti…