Zhe Ye

@0xlf_

PhD candidate @BerkeleyRDI

Berkeley, CA

zhe.sh

Joined June 2021

367 Following

389 Followers

Replies Reposts Media

Pinned
Zhe Ye
@0xlf_
Oct 23
1/🧵 Coding agents can make code faster. Can they also prove it still does the same thing? Introducing Agentic Verified Optimization 🚀 Agents return faster code plus a Lean proof that it equals the original on every input. 🌐 Blog: aqueduct.verina.io 📄 Paper:
GIF
11
Zhe Ye
@0xlf_
Oct 24
Great work! Autoformalization remains the bottleneck, even for fuzzing properties: a spec checks only what it asserts. What excites me more: RISC-V-level proofs. Maybe next: agentic verified optimization, faster machine code proved equal to the original. aqueduct.verina.io
Anthropic
@AnthropicAI
Oct 22
New on our Frontier Red Team blog: using Claude to formally verify software at large scale. Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time). With AI models,
Zhe Ye
@0xlf_
Oct 20
Very excited to be part of the CyberArena project, where I contributed the initial challenges that set the task format and quality standard, and led the result analysis. CyberArena is a dynamic, live cybersecurity benchmark built to keep pace with frontier agents. It has been
2077AI
@2077AI
Oct 20
⚔️ We are pleased to introduce CyberArena, where we benchmark 12 frontier AI agents via letting them combat with each other in live attack-and-defense security contests. 🧵
Zhe Ye
@0xlf_
May 18
Congrats to the @logic_int team! Exciting to see Aleph push the frontier on formal math and program verification benchmarks, including VERINA 🙌! The vision of provably correct AI-generated code is getting closer.
Logical Intelligence
@logic_int
May 14
Aleph, our fully autonomous AI agent system for formal verification, aced all major theorem proving benchmarks including PutnamBench, VeriSoftBench, and Verina
Zhe Ye
@0xlf_
May 5
Is your code really formally verified or the agent being too smart?

Zhe Ye

Zhe Ye’s posts