Scholar
Toryn Q. Klassen
Google Scholar ID: uNl1QHMAAAAJ
University of Toronto, Vector Institute
Artificial Intelligence
AI Safety
Reinforcement Learning
Knowledge Representation
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,780
H-index
13
i10-index
16
Publications
20
Co-authors
23
list available
Publications
6 items
Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems
2026
Cited
0
Learning Bilevel Policies over Symbolic World Models for Long-Horizon Planning
2026
Cited
0
Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version)
2025
Cited
0
Pushdown Reward Machines for Reinforcement Learning
2025
Cited
0
Ground-Compose-Reinforce: Tasking Reinforcement Learning Agents through Formal Language
2025
Cited
0
Reward Machines for Deep RL in Noisy and Uncertain Environments
arXiv.org · 2024
Cited
2
Co-authors
8 total
Sheila McIlraith
Professor of Computer Science, University of Toronto
Rodrigo Toro Icarte
Professor of Computer Science, Pontificia Universidad Católica de Chile
Christian Muise
Queen's University
Scott Sanner
University of Toronto
Shirin Sohrabi
IBM Research / University of Toronto
Amir-massoud Farahmand
Polytechnique Montreal, Mila, University of Toronto
Elliot Creager
University of Waterloo
Till Hofmann
RWTH Aachen University
