​
Login / Signup
Tyler Hanks
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 7
Top Topics
Rewriting Rules
Active Exploration
Queries Using Views
Top Venues
CoRR
J. Log. Algebraic Methods Program.
CDC
ICSCA
</>
Publications
</>
Tyler Hanks
,
Matthew Klawonn
,
James P. Fairbanks
Generalized Gradient Descent is a Hypergraph Functor.
CoRR
(2024)
Kristopher Brown
,
Evan Patterson
,
Tyler Hanks
,
James P. Fairbanks
Computational category-theoretic rewriting.
J. Log. Algebraic Methods Program.
134 (2023)
Baike She
,
Tyler Hanks
,
James P. Fairbanks
,
Matthew Hale
Characterizing Compositionality of LQR from the Categorical Perspective.
CDC
(2023)
Baike She
,
Tyler Hanks
,
James P. Fairbanks
,
Matthew Hale
Characterizing Compositionality of LQR from the Categorical Perspective.
CoRR
(2023)
Kristopher Brown
,
Tyler Hanks
,
James P. Fairbanks
Compositional Exploration of Combinatorial Scientific Models.
CoRR
(2022)
Kristopher Brown
,
Evan Patterson
,
Tyler Hanks
,
James P. Fairbanks
Computational Category-Theoretic Rewriting.
ICGT
(2022)
Danielle Ferguson
,
Yan Albright
,
Daniel Lomsak
,
Tyler Hanks
,
Kevin Orr
,
Jay Ligatti
PoCo: A Language for Specifying Obligation-Based Policy Compositions.
ICSCA
(2020)