4 papers
zLend: A Dual-Scope Cash-Flow Reconstruction Framework for On-Chain Credit Underwriting
Girish G N, Ashutosh Sahoo, Akshay SP +2
Decentralized lending lacks a credit bureau: a borrower's capacity to repay must be inferred entirely from public on-chain activity, without income verification or a liability reco…
ZAPs: A Reward Attribution Framework for DeFi Ecosystems with Adversarial-Robust Scoring via Parallel Anomaly Ensemble Detection
Girish G N, Ashutosh Sahoo, Ajay Bhat +4
Incentive programs are central to user acquisition in decentralized finance, but many reward systems rely on raw volume, transaction count, and wallet count, making them vulnerable…
Formal Reasoning About Confidence and Automated Verification of Neural Networks
Mohammad Afzal, S. Akshay, Blaise Genest +1
In the last decade, a large body of work has emerged on robustness of neural networks, i.e., checking if the decision remains unchanged when the input is slightly perturbed. Howeve…
Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
Yun Chen Tsai, Kittiphon Phalakarn, S. Akshay +1
Markov decision processes (MDPs) are a popular model for decision-making in the presence of uncertainty. The conventional view of MDPs in verification treats them as state transfor…