24 citations · 24 across the 9 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.PL2026
How Often Does Your Program Fail?
Arnab Ray, Aalok Thakkar
Software in production encounters inputs shaped by how it is used in practice. We study distribution-aware reliability estimation: given a program, its operational input distributi…
cs.AI2026
A Forced-Structure Reduction and Verifiable Bounds for Conway's 99-Graph
Aalok Thakkar, Simone Severini
Conway's 99-graph problem asks whether a strongly regular graph with parameters exists. We develop two complementary lines of attack. Fixing one vertex, t…
cs.CY2026
Astra: AI Safety, Trust, & Risk Assessment
Pranav Aggarwal, Ananya Basotia, Debayan Gupta +8
This paper argues that existing global AI safety frameworks exhibit contextual blindness towards India's unique socio-technical landscape. With a population of 1.5 billion and a ma…