Skip to content
View smyansengupta's full-sized avatar
🚋
Doing it for the love of the game
🚋
Doing it for the love of the game
17 followers · 11 following

Highlights

  • Pro

Organizations

@Niskayuna-RoboWarriors

Block or report smyansengupta

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
smyansengupta/README.md

Hi, I'm Smyan. I'm a full-stack dev and AI engineer, interested in verification, AI security, and applications of ML in medical and biopharmaceutical fields. Outside of work, I enjoy traveling, hitting the gym, and live music.

Pinned Loading

  1. bananasplit bananasplit Public

    TypeScript

  2. guardrails-atomic guardrails-atomic Public

    AI-powered code generation with formal correctness guarantees for distributed systems using CEGIS and Z3 SMT solver.

    JavaScript 1

  3. ryankamiri/OpenLegislation ryankamiri/OpenLegislation Public

    HackHarvard '24 Winner

    JavaScript 2

  4. sandeepsalwan1/ClaimCheckerModels sandeepsalwan1/ClaimCheckerModels Public

    Jupyter Notebook