no code implementations • 13 Mar 2024 • Gokul Puthumanaillam, Manav Vora, Pranay Thangeda, Melkior Ornik
This paper examines the challenges associated with achieving life-long superalignment in AI systems, particularly large language models (LLMs).
no code implementations • 18 Mar 2023 • Manav Vora, Pranay Thangeda, Michael N. Grussing, Melkior Ornik
Motivated by the problem of maintenance and inspection of a group of infrastructure components with independent dynamics, this paper presents an algorithm to find the optimal policy for a multi-component budget-constrained POMDP.
no code implementations • 5 May 2021 • František Blahoudek, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
We consider qualitative strategy synthesis for the formalism called consumption Markov decision processes.