Spaces:

DineshAI
/

qIOcJSCGn2

Running

13.6 kB

Ctrl+K

1 contributor

Claim [2]: reproduce Lemma 4.2 -- hazard-MLE consistency + asymptotic normality O(n^-1/2) (empirical cov -> inverse Fisher, KS-normal, 95% Wald coverage) and delta-method normality of the plug-in value estimator

db72d25 verified 10 days ago

verify_lemma42.py

7.93 kB
Claim [2]: reproduce Lemma 4.2 -- hazard-MLE consistency + asymptotic normality O(n^-1/2) (empirical cov -> inverse Fisher, KS-normal, 95% Wald coverage) and delta-method normality of the plug-in value estimator 10 days ago
verify_survival.py

5.63 kB
Reproduce Prop 4.1: goal-conditioned value = -sum gamma^t S(t); value iteration -4.116238 == survival identity -4.116238 (error 0.0), multimodal time-to-goal 11 days ago