Hosein Hasanbeig

According to our database, Hosein Hasanbeig authored at least 8 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Symbolic Task Inference in Deep Reinforcement Learning.

Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening

J. Artif. Intell. Res., 2024

Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis.

Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Certified reinforcement learning with logic guidance.

Hosein Hasanbeig, Daniel Kroening, Alessandro Abate

Artif. Intell., September, 2023

Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications.

Jun Wang, Hosein Hasanbeig, Kaiyuan Tan, Zihe Sun, Yiannis Kantaros

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

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

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

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning.

Hosein Hasanbeig, Daniel Kroening, Alessandro Abate

CoRR, 2022