New Hadamard Matrix Constructions
60+ explicit Hadamard and skew-Hadamard matrices for previously unresolved orders, including 2092, 2148, 2284 and 2292, with exact verification certificates.
I am Kishan
I work on building AI systems that could do discovery and accelerate science; more specifically, working on generalisation, sample efficiency & mechanistic transfer. Interests include studying time, human history/evolution and society in the age of superintelligence. You will find some of my work on distributed systems & computational mathematics too.
Research & papers
05Root Intervention Flattening
Counterexamples and corrected conditions for quotient-graph identifiability under paired interventions in causal representation learning.
Monochromatic Quantum Graphs
Formal and computational work on the Krenn–Gu monochromatic perfect-matching problem, including an audited Lean proof of the exact complex-weight no-solution result for the six-vertex, four-color slice.
Hybrid Semantic Cache: Cache Invalidation for High-Dimensional Similarity Search
A correctness-first approach to similarity caching, using geometric bounds and explicit freshness semantics to avoid unnecessary invalidation.
Previous work
Software Engineer, Scale AI
Worked on RLHF projects, AI-agent training and evaluation, automation workflows, and coding-task model assessment.