Hugging Face's logo
Devakh Rashie's picture
1

Devakh Rashie

arkanemystic
https://devrashie.space

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago
Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
published a Space 5 months ago
arkanemystic/InsurAI
View all activity

Organizations

None yet