SHYAM SATHISH
Machine Learning Systems • AI Verification • Research
Browser-Native ML • Edge Inference • Open Source
Computer Science undergraduate working at the intersection of WebAssembly and Deep Learning. Focused on building high-performance browser-native machine learning systems and verification protocols for autonomous and agentic AI.
python-react-ml OPEN SOURCE
Unified React SDK for executing machine learning models locally in the browser. Enables PyTorch and TensorFlow workflows via Pyodide, WebAssembly, and ONNX, shifting inference to the edge and removing backend dependency.
React WebAssembly WebGPU ONNX
Aroviq VERIFICATION
Process-aware verification engine for AI agents. Audits reasoning pipelines using retrieval-augmented generation and formal consistency checks to enforce deterministic behavior over stochastic model outputs.
Python LangChain Formal Verification
AI Guardrail System SECURITY
Real-time safety and compliance layer for generative AI applications. Interceptor-based architecture to sanitize inputs and outputs, mitigate hallucinations, and enforce operational constraints.
Python NLP AI Security
|
Predicting 1P/Halley’s Comet Pathway using Linear Regression TechRxiv, 2025 https://doi.org/10.36227/techrxiv.174585938.85855636/v1 |
