Hosein Hasanbeig

3 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2 SIGMOD ×1

Frequent coauthors

Alessandro Abate

×2

Daniel Kroening

×2

Avik Dutta

×1

Priyanshu Gupta

×1

Rahul Pratap Singh

×1

Harshit Nigam

×1

Sumit Gulwani

×1

Arjun Radhakrishna

×1

Gustavo Soares

×1

Ashish Tiwari

×1

Natasha Yogananda Jeppu

×1

Tom Melham

×1

Papers

ConDABench: Interactive Evaluation of Language Models for Data Analysis
SIGMOD 2026 ·
Avik Dutta
,
Priyanshu Gupta
, Hosein Hasanbeig,
Rahul Pratap Singh
,
Harshit Nigam
,
Sumit Gulwani
,
Arjun Radhakrishna
,
Gustavo Soares
,
Ashish Tiwari
Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint)
AAAI 2026 · Hosein Hasanbeig,
Natasha Yogananda Jeppu
,
Alessandro Abate
,
Tom Melham
,
Daniel Kroening
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
AAAI 2024 ·
Rohan Mitta
, Hosein Hasanbeig,
Jun Wang
,
Daniel Kroening
,
Yiannis Kantaros
,
Alessandro Abate