Hosein Hasanbeig

@Microsoft Research, Oxford CS PhD

[Elon Musk @elonmusk]

@farzyness America has benefited from an influx of very talented Iranians

[Hosein Hasanbeig @grockious]

@andrew_n_carr

[Ida Momennejad @criticalneuro]

Delighted to share our #neurips2023 paper w @grockious @hmd_palangi et al
Evaluating Cognitive Maps & Planning in LLMs with CogEval

We test planning in 8 LLMs.
Failures like hallucinating invalid paths/falling in loops don't support emergent planning.
1/n
https://t.co/x4AdQyzekw

[OxCAV @Ox_CAV]

Happy to share that "LCRL: Logically-Constrained Reinforcement Learning" by M Hasanbeig (@grockious), D Kroening, and A Abate has been accepted to #CONFEST #QEST2022.

[Hosein Hasanbeig @grockious]

@_andyzhang_ @dbrand And that's why I unsubscribed and stopped buying @dbrand products.

[Hosein Hasanbeig @grockious]

After years of training @OpenAI #gym, now it's me and the 'FrozenLake'

[Hosein Hasanbeig @grockious]

Congrats to @HjalmarWijk for getting his paper on "Shielding Atari Games with Bounded Prescience" accepted at @aamas2021! Work done with @mircogiacobbe and @DiffKroening, and the preprint will be on arXiv soon!

[Hosein Hasanbeig @grockious]

@vboykis Dropbox for version control?

[Hosein Hasanbeig @grockious]

@MoeinSoltani1 اقا این کلمه به زمانی هم که نبودی اطلاق میشه؟

[OxCAV @Ox_CAV]

Happy to share that our paper "DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning" has been accepted to #AAAI2021

Congrats to Hosein Hasanbeig (@grockious), Natasha Jeppu, Alessandro Abate, Tom Melham, and Daniel Kroening (@DiffKroening)

[Hosein Hasanbeig @grockious]

@raminhz1 @Alirezmoghani لازم هست اشاره کنم تو دبیرستان اون یه باری که عصبانی شدی چی شد؟ 😂😂😂

[Hosein Hasanbeig @grockious]

@BDLSS I need all the eternity now to go through all these magnificent pieces of art! ❤️

[Hosein Hasanbeig @grockious]

@MoeinSoltani1 @Rainmaker1973 👏🏻👏🏻👏🏻

[VCLA at TU Wien @vclaTUwien]

Today at 16:30 CEST tune in #livestream Keynote @ #QONFEST20 by Alessandro Abate @CompSciOxford
"Certified learning, or learning for verification?" Provided by @qonfest2020
YouTube https://t.co/crw54JcBxx

#ArtificialIntelligence #SAFEAGI #AI #Learning #Vienna #IKT #Innovation

[Tim Rocktäschel @_rockt]

It is 2020 and I still have to argue with reviewers that gridworlds are perfectly suitable for testing the limits of current RL SotA. Some photorealistic 3D environment might be many orders of magnitude easier to solve than complex procgen environments like MiniGrid or NetHack.

[Hosein Hasanbeig @grockious]

@MoeinSoltani1 @theReticent و او را از جایی که گمان ندارد لایک میدهد!

[Hosein Hasanbeig @grockious]

@shimon8282 Well, https://t.co/EnBEed0eSi is still up (as well as https://t.co/vDfhpiTtCv)

[Hosein Hasanbeig @grockious]

@Aamas2020C is freely available!

[OxCAV @Ox_CAV]

Happy to announce that "Cautious Reinforcement Learning with Logical Constraints" by Mohammadhosein Hasanbeig (@grockious), Alessandro Abate, and Daniel Kroening (@DiffKroening) has been accepted to #AAMAS2020.
https://t.co/ZbcHQJeRlh

[Hosein Hasanbeig @grockious]

@MoeinSoltani1 خیلی باحالی معین ایول مرسی