6 papers
Findings of the Counter Turing Test: AI-Generated Image Detection
Rajarshi Roy, Nasrin Imanpour, Ashhar Aziz +16
The rapid advancements in generative AI technologies, such as Stable Diffusion, DALL-E, and Midjourney, have significantly transformed the creation of synthetic visual content. Whi…
Findings of the Counter Turing Test: AI-Generated Text Detection
Rajarshi Roy, Gurpreet Singh, Ashhar Aziz +16
The growing capability of large language models to produce fluent, contextually coherent text has created mounting pressure on the systems and institutions responsible for ensuring…
Position: A Three-Layer Probabilistic Assume-Guarantee Architecture Is Structurally Required for Safe LLM Agent Deployment
S. Bensalem, Y. Dong, M. Franzle +6
This position paper argues that enforcing LLM agent safety within a single abstraction layer is not merely suboptimal but categorically insufficient for deployed LLM agents -- a st…
PrefixGuard: From LLM-Agent Traces to Online Failure-Warning Monitors
Xinmiao Huang, Jinwei Hu, Rajarshi Roy +3
Large language model (LLM) agents now execute long, tool-using tasks where final outcome checks can arrive too late for intervention. Online warning requires lightweight prefix mon…
About Time: Model-free Reinforcement Learning with Timed Reward Machines
Rajarshi Roy, Anirban Majumdar, Ritam Raha +2
Reward specification plays a central role in reinforcement learning (RL), guiding the agent's behavior. To express non-Markovian rewards, formalisms such as reward machines have be…
Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
Rajarshi Roy, Yash Pote, David Parker +1
There has been substantial progress in the inference of formal behavioural specifications from sample trajectories, for example, using Linear Temporal Logic (LTL). However, these t…