LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. - Hosein Hasanbeig; Daniel Kroening; Alessandro Abate (CoRR, 2022)

Evaluating Cognitive Maps and Planning in Large Language Models with CogEval. - Ida Momennejad; Hosein Hasanbeig; Felipe Vieira Frujeri; Hiteshi Sharma; Nebojsa Jojic; Hamid Palangi; Robert Osazuwa Ness; Jonathan Larson (NeurIPS, 2023)

ALLURE: Auditing and Improving LLM-based Evaluation of Text using Iterative In-Context-Learning. - Hosein Hasanbeig; Hiteshi Sharma; Leo Betthauser; Felipe Vieira Frujeri; Ida Momennejad (CoRR, 2023)

In-Context Learning in Large Language Models: A Neuroscience-inspired Analysis of Representations. - Safoora Yousefi; Leo Betthauser; Hosein Hasanbeig; Akanksha Saran; Raphaël Millière; Ida Momennejad (CoRR, 2023)

Certified reinforcement learning with logic guidance. - Hosein Hasanbeig; Daniel Kroening; Alessandro Abate (Artif. Intell., 2023)

Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. - Rohan Mitta; Hosein Hasanbeig; Jun Wang 135; Daniel Kroening; Yiannis Kantaros; Alessandro Abate (AAAI, 2024)

Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning. - Nabil Omi; Hosein Hasanbeig; Hiteshi Sharma; Sriram K. Rajamani; Siddhartha Sen 001 (CoRR, 2024)

Symbolic Task Inference in Deep Reinforcement Learning. - Hosein Hasanbeig; Natasha Yogananda Jeppu; Alessandro Abate; Tom Melham; Daniel Kroening (J. Artif. Intell. Res., 2024)

Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications. - Jun Wang 135; Hosein Hasanbeig; Kaiyuan Tan; Zihe Sun; Yiannis Kantaros (L4DC, 2025)