4 papers
Computing the Reachability Value of Posterior-Deterministic POMDPs
Nathanaël Fijalkow, Arka Ghosh, Roman Kniazev +2
Partially observable Markov decision processes (POMDPs) are a fundamental model for sequential decision-making under uncertainty. However, many verification and synthesis problems…
A Quantum Framework for Negative Magnetoresistance in Multi-Weyl Semimetals
Arka Ghosh, Sushmita Saha, Alestin Mawrie
We develop a fully quantum-mechanical theory of negative magnetoresistance in multi-Weyl semimetals in the configuration, where the chiral anomaly is acti…
Seeking Late Night Life Lines: Experiences of Conversational AI Use in Mental Health Crisis
Leah Hope Ajmani, Arka Ghosh, Benjamin Kaveladze +7
Online, people often recount their experiences turning to conversational AI agents (e.g., ChatGPT, Claude, Copilot) for mental health support -- going so far as to replace their th…
Equivariant ideals of polynomials
Arka Ghosh, Sławomir Lasota
We study existence and computability of finite bases for ideals of polynomials over infinitely many variables. In our setting, variables come from a countable logical structure A,…