Alex Lavaee

@lavaman131

Applied AI @ Microsoft Research | Prev AI Research @ Harvard + BU | AI Startups

@Microsoft
Redmond, WA
alexlavaee.me
github.com/lavaman131
Joined October 2026

commits: 3
following: 7
followers: 8

Commit activity

3 commits in the last 30 days

longest streak 1 day

187 / 400 XP213 XP to maintainer

Pinned

Alex Lavaee @lavaman131Oct 22c421011

Hi, I'm Alex! I'm a research engineer at Microsoft Research working on agentic engineering. My hobby is contributing to open-source. My latest project is Atomic, an OSS verifiable coding agent runtime. In the past I've built coding agents for a 1B LoC codebase, an FDA Deep…

Sergii Shcherbak @SergiiShcherbakOct 22

Great background! Anyone from your team working on markitdown, by chance?

Ervin Szilágyi @ErnyokeOct 22

welcome👋

Thu, Oct 22

Alex Lavaee @lavaman131Oct 22949fee6

I've never trusted code I didn't review until now. Agents write more code than any of us can review. We often end up skimming the PR/diff and pushing. Current review methods do not prove the code is correct or does what we asked. Recent research found the best AI code reviewer…

That's @lavaman131's root commit.