From the 1 of 5 linked papers with an AI index.
5 papers
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
The paper proposes ZAPs, a framework for assigning rewards in DeFi that combines economic contribution scoring with a multi‑layer defense against bots and sybil attacks using anoma…
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…
Data-Aware and Scalable Sensitivity Analysis for Decision Tree Ensembles
Namrita Varshney, Ashutosh Gupta, Arhaan Ahmad +2
Decision tree ensembles are widely used in critical domains, making robustness and sensitivity analysis essential to their trustworthiness. We study the feature sensitivity problem…
Deep Reputation Scoring in DeFi: zScore-Based Wallet Ranking from Liquidity and Trading Signals
Dhanashekar Kandaswamy, Ashutosh Sahoo, Akshay SP +3
As decentralized finance (DeFi) evolves, distinguishing between user behaviors - liquidity provision versus active trading - has become vital for risk modeling and on-chain reputat…
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…