Devakh Rashie's picture

Devakh Rashie

arkanemystic

https://devrashie.space

AI & ML interests

None yet

Recent Activity

liked a Space about 7 hours ago

jane-street/droppedaneuralnet

upvoted a paper 15 days ago

Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving

submitted a paper 15 days ago

Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving

View all activity

Organizations

None yet

arkanemystic 's models

None public yet