bug-bounty537
xss385
exploit281
google242
rce210
facebook170
microsoft150
writeup146
web3123
cve121
malware101
open-source91
csrf89
apple85
browser82
account-takeover79
sqli72
cloudflare66
ssrf64
ai-agents63
dos60
privilege-escalation57
phishing53
pentest52
oauth47
tool46
supply-chain46
ctf46
lfi44
privacy44
reverse-engineering43
auth-bypass42
aws41
cloud39
llm37
idor37
node36
opinion35
race-condition35
react35
automation33
cors33
clickjacking32
machine-learning32
code-generation31
infrastructure31
info-disclosure27
access-control27
postmessage26
subdomain-takeover26
0
2/10
A formal mechanization in Lean 4 of AlphaGeometry's underlying logic, proposing the 'logic of observation' as a mathematically principled foundation that abstracts specialized geometric reasoning to generalize across multiple mathematical theories.
formal-verification
lean-4
mathematical-logic
machine-learning
theorem-proving
euclidean-geometry
alphageometry
AlphaGeometry
Lean 4
Anthony Bordg
Farzad Jafarrahmani
International Mathematical Olympiad