3 papers
cs.LO2026
interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
Vishak K Bhat, Prateek Chanda, Vijval Ekbote +6
Reasoning models produce long traces of intermediate decisions and tool calls, making test-time verification important for ensuring correctness. Existing approaches either verify o…
cs.SI2021
A Sketch Based Game Theoretic Approach to Detect Anomalous Dense Sub-Communities in Large Data Streams
Prateek Chanda, Aadirupa Saha
Detecting anomalous subgraphs in a dynamic graph in an online or streaming fashion is an important requirement in industrial settings for intrusion detection or denial of service a…
cs.DC2021
Distributed Anomaly Detection in Edge Streams using Frequency based Sketch Datastructures
Prateek Chanda, Malay Bhattacharya
Often logs hosted in large data centers represent network traffic data over a long period of time. For instance, such network traffic data logged via a TCP dump packet sniffer (as…