This paper explores leverage staking with stETH, revealing high returns but also significant risks.
problem Leverage staking introduces risks through intensified selling pressure and cascading liquidations.
method Formal framework for leverage staking, stress tests under extreme conditions of stETH devaluation.
result Leverage staking amplifies risks, leading to intensified selling pressure and price declines.
Optimizes leveraged staking strategies in decentralized finance.
problem Maximizing returns on staked assets in decentralized lending platforms.
method Developed a mathematical framework to optimize leveraged staking strategies, reducing the multi-market problem to convex allocation over market exposures.
result Rebalanced leveraged positions can achieve up to 6.2% APY, significantly higher than unleveraged staking.
Centralized exchanges influence staking behavior and decentralization in Proof of Stake blockchain ecosystems.
problem How do centralized exchanges affect staking behavior and decentralization in Proof of Stake blockchain ecosystems?
method Formulate a continuous-time mean field model of miners as validators and traders in a centralized market.
result Centralized trading activities enhance staking participation and promote decentralization through market incentives.
Proof-of-Stake networks with EIP-1559 exhibit stable token prices and secure network security.
problem Token valuation and institutional capital in Proof-of-Stake networks under EIP-1559
method Open-economy macroeconomic equilibrium model
result Stable steady-state equilibrium price for ETH
Research predicts cryptocurrency staking rewards with high accuracy.
problem Predicting cryptocurrency staking rewards.
method Two predictive methodologies: sliding-window average and linear regression models.
result ETH staking rewards can be forecasted with RMSE within 0.7% and 1.1% of the mean value for 1-day and 7-day look-aheads respectively.
Optimal trading strategy in Proof-of-Stake blockchain using continuous-time control.
problem Finding the optimal balance between stake utility and consumption utility in Proof-of-Stake blockchain.
method Continuous-time control approach, dynamic programming, Hamilton-Jacobi-Bellman (HJB) equations.
result Close-form solutions for linear and convex utility functions, optimal strategies identified.
Model shows PoS networks can be captured by external finance, leading to centralization.
problem Long-term centralization of PoS networks under external finance pressures.
method Heterogeneous macroeconomic model with two actor classes: investors and consumers.
result External finance forces PoS networks to centralize, leading to zero internal staking yield.
Novel AMM model for pegged cryptoassets using nested OU processes.
problem Liquidity and risk management in markets for pegged cryptoassets.
method Multi-level nested Ornstein-Uhlenbeck (OU) processes for exchange rate dynamics, calibrated and filtered AMM model.
result Consistent efficient quotes and improved liquidity provision for pegged cryptoassets.
Ethereum's Pectra upgrade introduces 0x02 compounding validators, offering higher stake and potential APR uplifts.
problem Staking rewards on Ethereum
method Analyzing compounding effects on consensus-layer rewards
result 0x02 validators achieve modestly higher median CL APR
New tools found to create hyperbolic links with lower volume bounds.
problem Finding lower bounds on volumes of staked links.
method Defining charm bracelets and constructing hyperbolic links.
result Infinitely many hyperbolic staked links with lower volume bounds.
PoEL protocol aims to efficiently create and secure liquidity for blockchain networks.
problem Lack of sustainable liquidity and network security in Proof of Stake blockchains.
method PoEL uses staking rewards to attract risk capital, structuring incentives for capital efficiency and security.
result PoEL protocol enhances blockchain network security and liquidity sustainability.
New model assesses risks of staking and borrowing in smart contracts.
problem Security and efficiency of staking in smart contract platforms.
method Combines birth-death Pólya processes and credit derivatives models.
result Derivatives can reduce wealth concentration in staking networks.
Proof of Stake (PoS) is a burgeoning Sybil resistance mechanism that aims to have a digital asset ("token") serve as security collateral in crypto networks. However, PoS has so far eluded a comprehensive threat model that encompasses both Byzantine attacks from distributed systems and financial attacks that arise from …
AI systems are being deployed to support human decision making in high-stakes domains. In many cases, the human and AI form a team, in which the human makes decisions after reviewing the AI's inferences. A successful partnership requires that the human develops insights into the performance of the AI system, including …
Model analyzes Proof-of-Stake network dynamics and speculative capital effects on token prices.
problem Understanding and managing price dynamics in Proof-of-Stake networks.
method Developed an open-economy macroeconomic model to analyze Proof-of-Stake dynamics and speculative capital effects.
result Speculative capital can shift staked-token ownership, potentially improving consensus decentralization.
TRACER improves interpretability in high stakes analytics.
problem Interpreting complex models in high stakes applications.
method TRACER framework with TITV model for healthcare analytics.
result TRACER facilitates both accurate and interpretable analytics.
Perry uses auxiliary data to estimate RL policy values with confidence intervals.
problem Leveraging auxiliary datasets for off-policy evaluation with uncertainty quantification.
method Two methods for constructing valid confidence intervals for OPE with data augmentation.
result Methods consistently produce confidence intervals covering ground truth policy values.
Conformal Alignment ensures trustworthy outputs from foundation models.
problem Ensuring outputs from foundation models align with human values in high-stakes tasks.
method A framework that trains an alignment predictor using reference data to select trustworthy outputs.
result Conformal Alignment accurately identifies trustworthy outputs via lightweight training over moderate reference data.
The paper analyzes security issues in blockchain ecosystems with multiple SSPs and proposes two models for better stake management.
problem Security issues in blockchain ecosystems with multiple SSPs and stake fragmentation.
method Formalized the Multiple SSP Problem and analyzed two architectures: Model M and Model S through convex optimization and game-theoretic lens. result Model S achieves tighter security guarantees through single validator sets and aggregated slashing logic. Investors optimize liquid staking decisions in LSP and AMM protocols.
problem Optimal timing and allocation in liquid staking protocols.
method Derive optimal allocation strategy and model optimal exit timing using Laplace transforms and free-boundary techniques.
result Optimal stop-loss strategy maximizes expected payoff, influenced by fees and opportunity gains.
The paper examines stability of shares in Proof of Stake protocol, identifying different investor behaviors and phase transitions.
problem Stability of shares in Proof of Stake protocol.
method Identification of large, medium, and small investors under various rewarding schemes; dynamical population model analysis.
result Phase transitions and thresholds for stability are characterized; chaotic centralization leads to concentration of shares.
A new method for optimizing stakes in a single event with multiple outcomes.
problem Maximizing expected log wealth in a single event with multiple outcomes.
method Using implicit state positions to derive the optimal stake formula.
result A compact formula and greedy algorithm for support selection.
ECS evaluates synthetic CXR images' distributional fidelity.
problem Evaluating synthetic CXR images' distributional fidelity under privacy constraints.
method Characteristic function transforms of feature embeddings.
result ECS uncovers clinically relevant distributional discrepancies.
MCD offers a complete model understanding for high-stake decisions.
problem Local model understanding in XAI methods is not sufficient for high-stake decisions.
method MCD extends concept-based methods to ensure global model understanding via multi-dimensional subspaces.
result MCD provides a complete model understanding, ensuring the model reasoning is related to the actual model.
Cryptofinance generates yield through innovative decentralized finance.
problem Lack of intrinsic yield in crypto-assets.
method Analysis of yield-generating mechanisms in cryptofinance.
result Cryptofinance innovations enable yield generation through various decentralized and centralised mechanisms.
Black box machine learning models are currently being used for high stakes decision-making throughout society, causing problems throughout healthcare, criminal justice, and in other domains. People have hoped that creating methods for explaining these black box models will alleviate some of these problems, but trying t…
Study on wealth and trading in PoS blockchain.
problem Decentralization and trading incentives in PoS.
method Analytic and stochastic tools, optimal control theory, mean field model.
result Miners balance PoS mining and trading for optimal strategy.
New framework assesses extreme errors in machine learning models.
problem Current validation methods fail to quantify extreme errors in high-stakes domains.
method Uses Extreme Value Theory (EVT) to estimate worst-case failures.
result Establishes EVT as a fundamental tool for assessing model reliability.
Extends PoS proof-of-stake transaction fee mechanism with miner utility model.
problem Designing a transaction fee mechanism for PoS protocol that incorporates miner utility.
method Introduced a new mechanism (BSP(θ)) incorporating a parameter θ to ensure user and miner incentives.
result The new mechanism (BSP(θ)) satisfies user and miner incentives and contract proofness.
We study hyperbolic bongles and find their volumes.
problem Characterizing and quantifying hyperbolic bongles.
method Provided necessary and sufficient conditions for hyperbolicity, calculated volumes, and established upper bounds.
result All balanced hyperbolic n-bongles have the same volume and this volume is an upper bound for any hyperbolic n-bongle. The paper examines how algorithmic classification affects behavior and proposes democratizing stakes to mitigate predatory practices.
problem The impact of algorithmic classification on individual behavior and fairness in decision-making processes.
method Characterization of optimal classification by an algorithm designer and analysis of the effect of democratizing stakes.
result Optimal classification can lead to surprising behavior patterns, and democratizing stakes can mitigate predatory practices.
Paper develops a new method to improve model calibration under distribution shifts.
problem Challenges in uncertainty quantification with different training and test distributions.
method Develops multi-domain temperature scaling to handle distribution shifts.
result Outperforms existing methods on in-distribution and out-of-distribution test sets.
Logistic regression with wavelets achieves bacterial infection detection accuracy.
problem Interpreting complex biomedical signal models for high-stakes decisions.
method Wavelet features and knockoff variables for feature selection.
result Logistic regression outperforms neural networks in bacterial infection detection.
FIGS improves prediction performance while maintaining interpretability, especially in medical domains.
problem Lack of interpretability in machine learning models, particularly in high-stakes domains like medicine.
method Generalizes CART algorithm to grow multiple trees in summation, combining logical rules with addition.
result FIGS achieves state-of-the-art prediction performance and derives interpretable clinical decision instruments (CDIs).
Ethereum transition to PoS reduces energy consumption and decentralizes the network.
problem Transitioning from proof-of-work to proof-of-stake to reduce energy consumption and decentralize the network.
method Analyzed the impact of the Ethereum transition to proof-of-stake on network performance, competing platforms, and transaction fees.
result The transition to PoS has reduced energy consumption by 99.98% and decreased network concentration.
Fair active learning selects data points to balance model accuracy and fairness.
problem Ensuring fairness in machine learning models used in high-stakes applications.
method Designing algorithms for fair active learning that select data points to balance model accuracy and fairness, focusing on demographic parity.
result Demonstrated the effectiveness of the proposed fair active learning approach over benchmark datasets.
MACI improves LLM factuality inference with higher retention and lower time cost.
problem Ensuring factuality in LLM responses for high-stakes domains.
method Reformulated conformal inference in a multiplicative filtering setting, leveraging ensembles for more accurate factuality scores and group-conditional calibration.
result MACI achieves higher retention and lower time cost compared to baselines, preserving validity through group-conditional calibration.
The study determines conditions for hyperbolicity of links in thickened surfaces with boundary.
problem Conditions for hyperbolicity of links in thickened surfaces with boundary.
method Simple conditions and embeddings of surfaces in ambient manifolds.
result Conditions guaranteeing hyperbolicity of links in thickened surfaces and fiber bundles.
Deep neural networks (DNNs) may outperform human brains in complex tasks, but the lack of transparency in their decision-making processes makes us question whether we could fully trust DNNs with high stakes problems. As DNNs' operations rely on a massive number of both parallel and sequential linear/nonlinear computati…
Model predicts activist fund targets with 78.2% accuracy.
problem Predicting activist fund targets to mitigate risks and inform investments.
method Evaluated 123 model configurations using machine learning techniques.
result Best model achieved AUC-ROC of 0.782.
A new spherical Sliced-Wasserstein distance for data on spheres.
problem Defining Wasserstein distance on manifolds, especially spheres.
method Closed-form solutions of the Wasserstein distance on the circle and a new spherical Radon transform.
result A novel spherical Sliced-Wasserstein (SW) discrepancy for data on spheres.
New metrics improve probabilistic forecasting, especially for rare events.
problem Current evaluation frameworks for probabilistic forecasting assume independence and lack sensitivity to tail events.
method Proposed signature kernel-based metrics: Sig-MMD and CSig-MMD.
result These metrics capture complex dependencies and prioritize tail event prediction.
Paper proposes a framework for reliable off-policy evaluation in reinforcement learning.
problem Quantifying uncertainty in off-policy estimates for safe deployment of target policies.
method Distributionally robust optimization for creating confidence bounds.
result Non-asymptotic and asymptotic guarantees for robust cumulative reward estimates.
HySRL improves RL sample efficiency with shifted-dynamics data.
problem Leveraging historical data with shifted dynamics to improve sample efficiency in RL.
method HySRL, a hybrid transfer RL algorithm that uses prior information on dynamics shift to achieve better sample complexity.
result HySRL achieves problem-dependent sample complexity and outperforms pure online RL.
New framework controls statistical dispersion for high-stakes applications.
problem Understanding and controlling the dispersion of loss distributions in high-stakes applications.
method Simple yet flexible framework for distribution-free control of statistical dispersion measures.
result Proposed methods control statistical dispersion measures with societal implications.
Paper proposes SCQ and P-TAMS for structured OOD testing in high-stakes ML.
problem Difficulty of incorporating auxiliary information in traditional conformal methods.
method Structure-adaptive conformal q-value (SCQ) and pseudo-score-guided transductive automated model selection (P-TAMS).
result Unified framework controls false discovery rate and improves power across diverse settings.
Amazon SageMaker Model Monitor detects drift in deployed ML models.
problem Ensuring high performance of ML models in production environments.
method Automatically detects data, concept, bias, and feature attribution drift in real-time.
result Maintains high quality models by providing alerts and corrective actions.
The paper explores fairness metrics in automated decision-making and their limitations.
problem Discrimination in automated resource allocation decisions.
method Analysis of fairness metrics and distributive justice principles.
result Prominent fairness metrics fail to address egalitarian and sufficiency concerns in resource allocation.