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
🌙
