Under independence and tail conditions on random symmetric matrices, the DNN relaxation of the standard quadratic program is exact with probability tending to 1, the optimizer is unique and rank one, and recoverable in O(n^2) time.
Title resolution pending
9 Pith papers cite this work. Polarity classification is still indexing.
9
Pith papers citing it
citation-role summary
background 2
method 1
citation-polarity summary
years
2026 9representative citing papers
Statistical model checking on the K+S model shows macro-financial and structural parameters produce stronger transient effects on unemployment and GDP growth than heuristic-rule parameters under fixed precision policies.
A generalization of the Benjamini-Hochberg procedure controls the FDR curve below any specified level in location families, and the standard procedure simultaneously controls the entire curve for free.
A single algorithm for online multicalibration achieves instance-adaptive rates by dynamically refining a dyadic prediction grid, recovering the worst-case Õ(T^{2/3}) bound and improving to Õ(√T) in marginal stochastic settings and Õ(√(JT)) for J-piecewise stationary means.
Power-one sequential tests exist for testing any weakly compact null set of distributions against its complement.
Proposes an inferential framework to test differences in categorical Gini correlations for predictor importance in classification, establishing asymptotic normality and consistency while accommodating unequal dimensions and dependence.
42% of significant turn-level associations in LLM conversation analysis are spurious due to unaccounted autocorrelation, with a validated two-stage correction framework improving replication.
Statistical model checking reproduces key stylized facts of the Island Model with confidence intervals, confirms moderate exploration rates are optimal, and enables counterfactual sensitivity analysis across parameters.
The thesis proposes specialized algebraic, logical, and geometric methods to enable scalable reasoning over imprecise attributes, probabilistic triples, and incomplete schemas in knowledge graphs.
citing papers explorer
-
Exactness of the DNN Relaxation for Random Standard Quadratic Programs
Under independence and tail conditions on random symmetric matrices, the DNN relaxation of the standard quadratic program is exact with probability tending to 1, the optimizer is unique and rank one, and recoverable in O(n^2) time.
-
Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM
Statistical model checking on the K+S model shows macro-financial and structural parameters produce stronger transient effects on unemployment and GDP growth than heuristic-rule parameters under fixed precision policies.
-
Simultaneous false discovery rate control in location families
A generalization of the Benjamini-Hochberg procedure controls the FDR curve below any specified level in location families, and the standard procedure simultaneously controls the entire curve for free.
-
Instance-Adaptive Online Multicalibration
A single algorithm for online multicalibration achieves instance-adaptive rates by dynamically refining a dyadic prediction grid, recovering the worst-case Õ(T^{2/3}) bound and improving to Õ(√T) in marginal stochastic settings and Õ(√(JT)) for J-piecewise stationary means.
-
Power one sequential tests exist for weakly compact $\mathscr P$ against $\mathscr P^c$
Power-one sequential tests exist for testing any weakly compact null set of distributions against its complement.
-
Comparing Two Categorical Gini Correlations with Applications to Classification Problems
Proposes an inferential framework to test differences in categorical Gini correlations for predictor importance in classification, establishing asymptotic normality and consistency while accommodating unequal dimensions and dependence.
-
The Autocorrelation Blind Spot: Why 42% of Turn-Level Findings in LLM Conversation Analysis May Be Spurious
42% of significant turn-level associations in LLM conversation analysis are spurious due to unaccounted autocorrelation, with a validated two-stage correction framework improving replication.
-
Statistical Model Checking of the Island Model: An Established Economic Agent-Based Model of Endogenous Growth
Statistical model checking reproduces key stylized facts of the Island Model with confidence intervals, confirms moderate exploration rates are optimal, and enables counterfactual sensitivity analysis across parameters.
-
Scalable Uncertainty Reasoning in Knowledge Graphs
The thesis proposes specialized algebraic, logical, and geometric methods to enable scalable reasoning over imprecise attributes, probabilistic triples, and incomplete schemas in knowledge graphs.