arxiv:2604.01483
Devakh Rashie
arkanemystic
AI & ML interests
None yet
Recent Activity
liked a Space 18 days ago
jane-street/droppedaneuralnet upvoted a paper about 1 month ago
Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving submitted a paper about 1 month ago
Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem ProvingOrganizations
None yet