Anonymous - AI safety researcher from the formal methods community
ActiveResearch focus
Correctness of AI, verification
Open to collaboration
Yes
Looking for
independent contributors
Join the Damaqu community to see this team's full profile.
Correctness of AI, verification
independent contributors