- CS undergrad into AI Research.
- 15× Hackathon Winner.
Highlights
- Pro
Pinned Loading
-
production_rag
production_rag PublicSelf-healing RAG system with hybrid search, reranking, query rewriting, and automated answer verification.
Python
-
vericode-sdk
vericode-sdk Publicsmall SDK that runs LLM-generated code through fuzzing and formal verification to catch issues, find counterexamples, or prove it’s correct before execution.
Python
-
SLMForge
SLMForge PublicForked from sodium16/SLMForge
Turn a natural-language requirement into a task-specific Small Language Model.
Python
-
voxProof
voxProof PublicForked from rakshita1357/voxProof
Autonomous QA for voice AI agents — simulate real callers, uncover edge cases, measure accuracy and latency, and get actionable fixes before production.
TypeScript
If the problem persists, check the GitHub status page or contact support.




