6 papers
A Forced-Structure Reduction and Verifiable Bounds for Conway's 99-Graph
Aalok Thakkar
Conway's 99-graph problem asks whether a strongly regular graph with parameters exists. We report a systematic, fully reproducible attack by an autonomous…
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…
SocraticAI: Transforming LLMs into Guided CS Tutors Through Scaffolded Interaction
Karthik Sunil, Aalok Thakkar
We present SocraticAI, a scaffolded AI tutoring system that integrates large language models (LLMs) into undergraduate Computer Science education through structured constraints rat…
Stochastic Languages at Sub-stochastic Cost
Smayan Agarwal, Aalok Thakkar
When does a deterministic computational model define a probability distribution? What are its properties? This work formalises and settles this stochasticity problem for weighted a…
Accessibility Beyond Accommodations: A Systematic Redesign of Introduction to Computer Science for Students with Visual Impairments
Vaanee Tripathi, Aalok Thakkar
Computer science education has evolved extensively; however, systemic barriers still prevent students with visual impairments from fully participating. While existing research has…
Identity Testing for Stochastic Languages
Smayan Agarwal, Shobhit Singh, Aalok Thakkar
Determining whether an unknown distribution matches a known reference is a cornerstone problem in distributional analysis. While classical results establish a rigorous framework in…