Devakh Rashie's picture

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

submitted a paper 2 days ago

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

authored a paper 3 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