Get started
Author

Hosein Hasanbeig

Observed name: Hasanbeig, Hosein
ORCID: 0000-0002-1715-9830
Observed ORCID: 0000-0002-1715-9830
OpenAlex ID: A5033668003
Certified reinforcement learning with logic guidance
2023 · Hosein Hasanbeig, Daniel Kroening, et al. · Artificial Intelligence · 70
PDF
Evaluating Cognitive Maps and Planning in Large Language Models with CogEval
2023 · Ida Momennejad, Hosein Hasanbeig, et al. · neural information processing systems · 57
PDF
ALLURE: Auditing and Improving LLM-based Evaluation of Text using Iterative In-Context-Learning
2023 · Hasanbeig, Hosein, Sharma, Hiteshi, et al. · arXiv (Cornell University) · 23
PDF
Decoding In-Context Learning: Neuroscience-inspired Analysis of Representations in Large Language Models
2023 · Yousefi, Safoora, Betthauser, Leo, et al. · arXiv (Cornell University) · 11
PDF
ConDABench: Interactive Evaluation of Language Models for Data Analysis
2026 · Avik Dutta, Priyanshu Gupta, et al. · ACM SIGMOD International Conference on Management of Data (SIGMOD) · 5
Distributions In, Distributions Out: The Case for Soft-Label Training
2025 · Singh, Agamdeep, Tiwari, Ashish, et al. · arXiv (Cornell University) · 4
PDF
Symbolic Task Inference in Deep Reinforcement Learning
2024 · Hosein Hasanbeig, Natasha Yogananda Jeppu, et al. · Journal of Artificial Intelligence Research · 4
PDF
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
2024 · Rohan Mitta, Hosein Hasanbeig, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 4
PDF
An Empirical Investigation of Robustness in Large Language Models under Tabular Distortions
2026 · Dutta, Avik, Nigam, Harshit, et al. · arXiv (Cornell University) · 2
PDF
Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning
2024 · Omi, Nabil, Hasanbeig, Hosein, et al. · arXiv (Cornell University) · 2
PDF
FlashScript: Compiling Recurring Agent Workflows into Reusable Neuro-Symbolic Programs
2026 · Sabouri, Sadra, Hasanbeig, Hosein, et al. · arXiv (Cornell University)
PDF
RubricCraft: Where Solutions Diverge, Criteria Emerge
2026 · Hasanbeig, Hosein, Gupta, Priyanshu, et al. · arXiv (Cornell University)
PDF
Whose turn is it? Context-guided model routing for stateful agents
2026 · Parashar, Anikesh, Dutta, Avik, et al. · arXiv (Cornell University)
PDF
Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint)
2026 · Hosein Hasanbeig, Natasha Yogananda Jeppu, et al. · Proceedings of the AAAI Conference on Artificial Intelligence
PDF
Symbolic Task Inference in Deep Reinforcement Learning
2026 · Association for Artificial Intelligence 2026, Hasanbeig, Hosein · Underline Science Inc.
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning
2022 · Hasanbeig, Hosein, Kroening, Daniel, et al. · arXiv (Cornell University)
PDF
Works count: 19
Citation count: 187
H-index: 5
I10-index: 4
Year
Topic
Type