Certified reinforcement learning with logic guidance
Hasanbeig, Hosein, Kroening, Daniel, Abate, Alessandro
Published in Artificial intelligence (01.09.2023)
Published in Artificial intelligence (01.09.2023)
Get full text
Journal Article
Symbolic Task Inference in Deep Reinforcement Learning
Hasanbeig, Hosein, Jeppu, Natasha Yogananda, Abate, Alessandro, Melham, Tom, Kroening, Daniel
Published in The Journal of artificial intelligence research (23.07.2024)
Published in The Journal of artificial intelligence research (23.07.2024)
Get full text
Journal Article
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
Wang, Jun, Hasanbeig, Hosein, Tan, Kaiyuan, Sun, Zihe, Kantaros, Yiannis
Year of Publication 28.11.2023
Year of Publication 28.11.2023
Get full text
Journal Article
Decoding In-Context Learning: Neuroscience-inspired Analysis of Representations in Large Language Models
Yousefi, Safoora, Betthauser, Leo, Hasanbeig, Hosein, Millière, Raphaël, Momennejad, Ida
Year of Publication 30.09.2023
Year of Publication 30.09.2023
Get full text
Journal Article
Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning
Omi, Nabil, Hasanbeig, Hosein, Sharma, Hiteshi, Rajamani, Sriram K, Sen, Siddhartha
Year of Publication 31.10.2024
Year of Publication 31.10.2024
Get full text
Journal Article
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
Mitta, Rohan, Hasanbeig, Hosein, Wang, Jun, Kroening, Daniel, Kantaros, Yiannis, Abate, Alessandro
Year of Publication 18.12.2023
Year of Publication 18.12.2023
Get full text
Journal Article
ALLURE: Auditing and Improving LLM-based Evaluation of Text using Iterative In-Context-Learning
Hasanbeig, Hosein, Sharma, Hiteshi, Betthauser, Leo, Frujeri, Felipe Vieira, Momennejad, Ida
Year of Publication 24.09.2023
Year of Publication 24.09.2023
Get full text
Journal Article
Evaluating Cognitive Maps and Planning in Large Language Models with CogEval
Momennejad, Ida, Hasanbeig, Hosein, Vieira, Felipe, Sharma, Hiteshi, Ness, Robert Osazuwa, Jojic, Nebojsa, Palangi, Hamid, Larson, Jonathan
Year of Publication 24.09.2023
Year of Publication 24.09.2023
Get full text
Journal Article