Revofusion
@revofusion
Vulnerability Detection @MoonAISec
#1# ETH Security Leaderboard
Building Lean autoformalization for Rust, C, and Go
加入 August 2021
710 正在關注 1.9K 粉絲
Honored to have been part of Audit Engine's first two engagements
Top 2 finishes for @MoonAISec among AI Auditors in each
🌙
