Hosein Hasanbeig

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 10

Top Topics

Reinforcement Learning

Exploration Exploitation Tradeoff

Top Venues

J. Artif. Intell. Res.

Publications

Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
Symbolic Task Inference in Deep Reinforcement Learning. J. Artif. Intell. Res. 80 (2024)
Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. AAAI (2024)
Hosein Hasanbeig, Hiteshi Sharma, Leo Betthauser, Felipe Vieira Frujeri, Ida Momennejad
ALLURE: Auditing and Improving LLM-based Evaluation of Text using Iterative In-Context-Learning. CoRR (2023)
Ida Momennejad, Hosein Hasanbeig, Felipe Vieira Frujeri, Hiteshi Sharma, Nebojsa Jojic, Hamid Palangi, Robert Osazuwa Ness, Jonathan Larson
Evaluating Cognitive Maps and Planning in Large Language Models with CogEval. NeurIPS (2023)
Ida Momennejad, Hosein Hasanbeig, Felipe Vieira Frujeri, Hiteshi Sharma, Robert Osazuwa Ness, Nebojsa Jojic, Hamid Palangi, Jonathan Larson
Evaluating Cognitive Maps and Planning in Large Language Models with CogEval. CoRR (2023)
Safoora Yousefi, Leo Betthauser, Hosein Hasanbeig, Akanksha Saran, Raphaël Millière, Ida Momennejad
In-Context Learning in Large Language Models: A Neuroscience-inspired Analysis of Representations. CoRR (2023)
Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. CoRR (2023)
Jun Wang, Hosein Hasanbeig, Kaiyuan Tan, Zihe Sun, Yiannis Kantaros
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications. CoRR (2023)
Hosein Hasanbeig, Daniel Kroening, Alessandro Abate
Certified reinforcement learning with logic guidance. Artif. Intell. 322 (2023)
Hosein Hasanbeig, Daniel Kroening, Alessandro Abate
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. CoRR (2022)