News

Jan 12, 2026 — First major open source commit to google-deepmind/formal-conjectures
Nov 5, 2025 — Won 1st place at IN-SPACE rocketry competition with Team Antariksh — The Hindu
Jul 20, 2025 — Won 3rd place at HAL Aerothon '25 with ironeye
May 27, 2025 — darkwire featured in Decrypt