Read

Physical Sciences

22 principal claims

66 C9 · descriptive · principal · novelty: new, by the authors
The two claimsets that the Haiku agent completed give a scope to none of their three principal claims, against all three in each of the two that the Sonnet agent completed (principal claims with scope).
Claude Sonnet and Claude Haiku agents keeping Claimset lab records and completing claimsets: a pilot on one simulation study · entrylib:2026.000005@v2
67 C8 · interpretive · principal · novelty: new, by the authors
The agents under test answered the brief's questions about how large the bias and RMSE are with pass-or-fail tests against thresholds they chose themselves, so the estimates never became claims: claimset-lab turns only hypotheses decided by a rule into claims.
Claude Sonnet and Claude Haiku agents keeping Claimset lab records and completing claimsets: a pilot on one simulation study · entrylib:2026.000005@v2
69 C4 · descriptive · principal · novelty: new, by the authors
Three of the four lab runs of the agents under test left statsforecast's damped-trend option unset, so that their statsforecast arm selected between a damped and an undamped trend, against the fixed model forms of the brief (model form fixed).
Claude Sonnet and Claude Haiku agents keeping Claimset lab records and completing claimsets: a pilot on one simulation study · entrylib:2026.000005@v2
72 C5 · descriptive · principal · novelty: new, by the authors
Every claimset that the agents under test completed with claimset-submit from one lab record validates with no errors (claimset validates), at the fourth to sixth validator outcome (validator outcomes until valid).
Claude Sonnet and Claude Haiku agents keeping Claimset lab records and completing claimsets: a pilot on one simulation study · entrylib:2026.000005@v2
74 C6 · descriptive · principal · novelty: new, by the authors
No claim of the four claimsets that the agents under test completed with claimset-submit is wrong against the answer key: each is correct or partly correct (claim correctness).
Claude Sonnet and Claude Haiku agents keeping Claimset lab records and completing claimsets: a pilot on one simulation study · entrylib:2026.000005@v2
74 C7 · descriptive · principal · novelty: new, by the authors
None of the four claimsets that the agents under test completed with claimset-submit states as a claim any of the main findings of the answer key: how large the estimation bias is, that statsforecast's optimiser fails to converge for the seasonal model, or that statsforecast caps β (answer-key findings stated).
Claude Sonnet and Claude Haiku agents keeping Claimset lab records and completing claimsets: a pilot on one simulation study · entrylib:2026.000005@v2
75 C1 · descriptive · principal · novelty: new, by the authors
Every lab record that the agents under test kept with claimset-lab on the ETS estimation brief passes `claimset lab verify` (record verifies).
Claude Sonnet and Claude Haiku agents keeping Claimset lab records and completing claimsets: a pilot on one simulation study · entrylib:2026.000005@v2
76 C11 · methodological · principal · novelty: new, by the authors
The smooth package for R and Python implements the observed-data likelihood without the entropy term, the SSOE Kalman filter for the pure additive models with the normal distribution and in logarithms for the ADAM multiplicative ETS with the log-normal distribution, the normal-drift mixture density with moment-equation scales for the other pure multiplicative models, and the corrected log-normal scale, in one C++ routine shared by both languages.
The observed-data likelihood of ADAM and iETS with unobserved periods · entrylib:2026.000003@v4
78 C2 · descriptive · principal · novelty: new, by the authors
In both of its lab runs, the Sonnet agent ran every confirmatory test under a plan with a computed decision rule, written with its hypotheses before any run and approved by the human before the test (plans before data).
Claude Sonnet and Claude Haiku agents keeping Claimset lab records and completing claimsets: a pilot on one simulation study · entrylib:2026.000005@v2
78 C3 · descriptive · principal · novelty: new, by the authors
Neither lab run of the Haiku agent planned its tests before seeing the data (plans before data): one run made no plan at all, and the other set its hypotheses and thresholds after three pilot runs.
Claude Sonnet and Claude Haiku agents keeping Claimset lab records and completing claimsets: a pilot on one simulation study · entrylib:2026.000005@v2
84 C10 · descriptive · principal · novelty: new, by the authors
Under EntryLib rubric 0.2, the one claimset that tested nothing under a plan gets a higher reliability score than each of the six claimsets whose principal claims were planned tests.
Claude Sonnet and Claude Haiku agents keeping Claimset lab records and completing claimsets: a pilot on one simulation study · entrylib:2026.000005@v2
85 C9 · descriptive · principal · novelty: new, by the authors
For iETS(M,N,N) in the conventional multiplicative ETS form, the normal-drift mixture density of the demand size after an interval had a largest Kullback-Leibler divergence per observation from the exact density at least three orders of magnitude smaller than that of the one-step density, for the Gamma, the log-normal and the inverse Gaussian distribution.
The observed-data likelihood of ADAM and iETS with unobserved periods · entrylib:2026.000003@v4
91 C6 · formal · principal · novelty: new, by the authors
For the ADAM multiplicative ETS with the log-normal distribution and unobserved periods, the SSOE Kalman filter applied to $\log z_t$ , with the known error mean $-s/2$ added to the prediction and, multiplied by $\mathbf g$ , to the propagation, gives the exact observed-data likelihood, and the maximum likelihood scale $s$ is the positive root of $\Big(\sum \frac{b_t^2}{f_t}\Big)s^2+T_1s-\sum\frac{(v_t^0)^2}{f_t}=0,$ where $v_t(s)=v_t^0+sb_t$ is the filter's prediction error.
The observed-data likelihood of ADAM and iETS with unobserved periods · entrylib:2026.000003@v4
91 C7 · formal · principal · novelty: new, by the authors
For the ADAM multiplicative ETS with the log-normal distribution and all periods observed, the maximum likelihood estimate of the scale is $\hat s=2(\sqrt{1+m}-1)$ with $m=\frac{1}{T_1}\sum\log^2(1+\epsilon_t)$ .
The observed-data likelihood of ADAM and iETS with unobserved periods · entrylib:2026.000003@v4
91 C8 · formal · principal · novelty: refutes earlier work, by the authors
The log-normal scale estimator $2(1-\sqrt{1-m})$ used in ADAM, with $m=\frac{1}{T_1}\sum\log^2(1+\epsilon_t)$ , is not the maximum likelihood estimator: it overestimates the scale $s$ by about 35% at $s=0.5$ (0.677 against 0.5 when $m=s+s^2/4$ ) and is undefined for $m>1$ .
The observed-data likelihood of ADAM and iETS with unobserved periods · entrylib:2026.000003@v4
92 C4 · formal · principal · novelty: extends earlier work, by the authors
For a pure additive single source of error model with normal errors and unobserved periods, the SSOE Kalman filter gives $z_t\mid Y_{t-1}\sim\mathcal N(\mathbf w'\mathbf a_t,\sigma^2 f_t)$ at the observed periods, the exact observed-data log-likelihood $-\frac12\sum_{O_t=1}\left[\log(2\pi\sigma^2f_t)+\frac{v_t^2}{\sigma^2f_t}\right],$ and the concentrated variance $\hat\sigma^2=\frac{1}{T_1}\sum_{O_t=1}\frac{v_t^2}{f_t}.$
The observed-data likelihood of ADAM and iETS with unobserved periods · entrylib:2026.000003@v4
92 C5 · formal · principal · novelty: refutes earlier work, by the authors
For pure additive single source of error models with normal errors and unobserved periods, if $c_i=\mathbf w'\mathbf F^{i-1}\mathbf g\neq0$ for some $i$ shorter than an interval, the zero-error recursion likelihood is not the observed-data likelihood and its maximiser in the error variance is in general not the maximum likelihood estimate, because at the observed period after such an interval the recursion uses the error variance $\sigma^2$ instead of $\sigma^2f_t>\sigma^2$ .
The observed-data likelihood of ADAM and iETS with unobserved periods · entrylib:2026.000003@v4
94 C11 · descriptive · principal · novelty: new, by the authors
Under EntryLib rubric 0.2, a claimset that states no limitations and gives its claims no scope (claimset-haiku-2) gets a higher reliability score than one written from the same lab record with scoped claims and three specific limitations (claimset-sonnet-1).
Claude Sonnet and Claude Haiku agents keeping Claimset lab records and completing claimsets: a pilot on one simulation study · entrylib:2026.000005@v2
95 C1 · formal · principal · novelty: new, by the authors
For a model of intermittent demand $y_t=o_tz_t$ with Bernoulli occurrence $o_t\sim\text{Bernoulli}(p_t)$ independent of a positive continuous size $z_t$ , the observed-data likelihood is $\sum_{O_t=1}\log f(z_t\mid Y_{t-1};\theta) + \sum_{O_t=1}\log p_t + \sum_{O_t=0}\log(1-p_t),$ in which the unobserved sizes do not appear and the size and occurrence parts separate.
The observed-data likelihood of ADAM and iETS with unobserved periods · entrylib:2026.000003@v4
95 C2 · formal · principal · novelty: refutes earlier work, by the authors
The stationary points of the entropy-augmented likelihood of iETS differ in general from those of the observed-data likelihood: at a fixed point of the EM algorithm the gradient of the expected complete-data log-likelihood equals the score of the observed-data likelihood, while the term $-H_z(\theta)$ of each period with zero demand has a gradient that is not zero in general, and for normal sizes with fixed location the two objectives are stationary at different variances.
The observed-data likelihood of ADAM and iETS with unobserved periods · entrylib:2026.000003@v4
95 C3 · formal · principal · novelty: new, by the authors
For normally distributed demand sizes with fixed location, the maximiser in the variance of the entropy-augmented likelihood is $\frac{T_1}{T}\hat\sigma^2$ , where $\hat\sigma^2=\frac{1}{T_1}\sum_{O_t=1}e_t^2$ is the fixed point of the EM algorithm, $T$ the number of periods and $T_1$ the number of periods with observed sizes.
The observed-data likelihood of ADAM and iETS with unobserved periods · entrylib:2026.000003@v4
96 C10 · formal · principal · novelty: new, by the authors
For a model with an occurrence part, occurrence probability $p_t$ and positive sizes, a prediction interval $[0,u]$ of the demand with coverage $c>1-p_t$ that counts the zeros as covered has as upper bound $u$ the quantile at level $(c-(1-p_t))/p_t$ of the distribution of the demand size, whose mean, the conditional mean of the size, is the size forecast $\hat\mu_t$ , not the demand forecast $p_t\hat\mu_t$ .
The observed-data likelihood of ADAM and iETS with unobserved periods · entrylib:2026.000003@v4