Devakh Rashie's picture

Devakh Rashie

arkanemystic

https://devrashie.space

AI & ML interests

None yet

Recent Activity

liked a Space 5 days ago

jane-street/droppedaneuralnet

upvoted a paper 20 days ago

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

submitted a paper 20 days ago

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

View all activity

Organizations

None yet

Papers 1

arxiv:2604.01483

spaces 1

InsurAI

models 0

None public yet

datasets 0

None public yet