Tyler Hanks

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 7

Top Topics

Rewriting Rules

Active Exploration

Queries Using Views

Top Venues

J. Log. Algebraic Methods Program.

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)