Name                                                               
 Parent Directory                                                   
 Learning Task Automata for Reinforcement Learning.pdf              
 Equivariant Subspaces of OrbitFinite-Dimensional Vector Spaces.pdf 
 Categorical Semantics and Modal Types for Hardware Descripiton.pdf 
 A hybrid formal verification method for novel architectures.pdf