Devakh Rashie

Devakh Rashie on Hugging Face Daily Papers: 1 papers, 0 in the top 3 of their day, 2 upvotes.

1. Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving 7 upvotes, #32 of 2026-04-07

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.