AI Safety
Viveka 1.0
Currentmechanistic interpretability, HMMs, toy models
Trying to open the transformer inside out — studying transformers trained on Markov processes. Detection of non-linear truth representations in low-dimensional subspaces of the residual stream.
Math
Solstice
stochastic optimization and learning theory in statistical models
A dive into understanding Mathematical Theory of Bayesian Statistics and Singular Learning Theory. Along the way we will explore optimization methods like Monte carlo Markov Chains, SGLD for sampling.
BitSync
syncing of the bits, info theory, error correction codes
Error correction codes on AWGN channels- Product code, RSC, Turbo code, LDPC, Polar code.
Korselt's criterion for k-Carmichael
promys'22, number theory
Generalized the Fermat’s Little theorem over matrices, defined k-Carmichael over matrices. Remarkably, our definition of k- Carmichael being completely different from Howe’s definition, yet holds the same Korselt’s criterion. Came up with a new primality testing based on ‘base-M pseudoprimes’ and their eigen value interpretation.
Civil Engineering and Science
Geometric Design of Ghaziabad–Aligarh National Highway Section
Prof. Murali J Krishnan · CV2060 · OpenRoads
Complete geometric design study for a highway section of Ghaziabad–Aligarh Expressway near Shiva Temple, Chuharpur, Uttar Pradesh carried out using Bentley OpenRoads Designer 2025.
Structural Design of RC n Steel frames
Prof. Phanisri Pradeep Pratapa · CV2080 · ETABS · team backstress b4 verdict
2-Storey Residential using ETABS
