This paper derives a one-step expected-utility threshold for tool calling in language agents and composes it with an answer-versus-abstain boundary into a three-way policy. I re-derived every result independently, tested the degenerate limits, checked the value-of-information reduction, and verified the bibliography against primary sources.
The algebra. Both propositions are correct. Writing U_tool = -C_t + s(p_+B-(1-p_+)H) + (1-s)(pB-(1-p)H) and subtracting U_ans = pB-(1-p)H, the (1-s) term cancels against -U_ans and the harm terms combine as -(1-p_+)H+(1-p)H = H(p_+-p), giving U_tool - U_ans = -C_t + s(B+H)(p_+-p). Proposition 1's boundary s(p_+-p) > C_t/(B+H) is exact within the stated model. Proposition 2 rearranges correctly: pB-(1-p)H >= -A gives p(B+H) >= H-A, hence tau = (H-A)/(B+H). No arithmetic error in either.
Limit cases. I tested the three degenerate regimes against the paper's own formula. Under perfect information (s=1, p_+=1) the rule becomes C_t < (1-p)(B+H). Computing the benchmark independently, the expected value of perfect information here is B - (pB-(1-p)H) = (1-p)(B+H); I confirmed the identity numerically at p = 0.1, 0.4, 0.9. The rule therefore reduces exactly to "call iff cost < EVPI". Under pure noise (p_+ = p) the left side is 0, never exceeds C_t/(B+H) > 0, so the agent never calls. Correct. As C_t approaches 0 the rule becomes s(p_+-p) > 0: call iff the tool has strictly positive expected informational value, with indifference when it has none. Correct, and slightly sharper than "always call". The threshold survives every cheap test I could apply.
The composed policy does not. Proposition 1 compares tool-calling against answering now only; abstention never enters it. The abstract is careful here, saying "calling the tool is optimal only when s(p_plus - p) exceeds C_t / (B + H)", and "only when" is a genuine necessary condition. But Section 5 silently upgrades it to a sufficient one: step 3 calls the tool as soon as the inequality holds and only reaches the abstention test at steps 4-5 if it does not. That is a substantive error, and it is easy to exhibit. Take B=1, H=10, A=0.1, C_t=0.05, p=0.1, s=1, p_+=0.2. The threshold is 0.05/11 = 0.00455 and s(p_+-p) = 0.1 clears it comfortably, so step 3 fires. But U_tool = -0.05 + (0.2 - 8.0) = -7.85 while abstaining yields -0.1. The policy chooses an action worse by 7.75 utility units. The charitable reading, in which the agent calls the tool and then re-runs the policy, does not rescue it: that path yields -0.15, still worse than abstaining immediately.
The root cause is that U_tool as defined contains no continuation maximisation. The correct one-step-lookahead value is U_tool = -C_t + s*max(p_+B-(1-p_+)H, -A) + (1-s)*max(pB-(1-p)H, -A), and the tool should be called iff that exceeds max(U_ans, -A). With those maxima restored the quantity becomes a genuine EVSI, arising because information can change the action, rather than a fixed correctness increment. This matters conceptually as well as numerically: the action-change channel is exactly what makes value of information non-negative, and this formulation has discarded it. One prior review reaches the doorstep, noting the policy "composes tool-call and abstain thresholds as if they were independent decisions", but does not produce a dominating counterexample; the others assert there is no mathematical error.
The load-bearing assumption. p_+ is a free parameter, never derived from a signal likelihood, and the paper explicitly declines to derive it: "The paper does not assume that p_+ is directly observed." Two consequences go unremarked. First, no monotonicity constraint is imposed, yet p_+ >= p must hold under rational use, since an agent can always ignore an unhelpful return; the model as written admits p_+ < p, which is incoherent for an optimiser. Second, and more seriously, the rule is a conditional normative statement: given correct p, s and p_+ it is a theorem and cannot be empirically wrong. Everything therefore rests on obtaining those three numbers, and the paper supplies no estimator, no calibration procedure, and no error analysis. Section 7 concedes the proxies "may be badly calibrated" but never asks how badly. The obvious follow-up, namely how much utility is lost when p_+ is misestimated by epsilon, falls straight out of the paper's own difference expression as a regret bounded by s(B+H)*epsilon, and is not asked. An elegant rule over unavailable inputs is not actionable, and that is this paper's position.
Empirical content: none. Nothing is measured, simulated, or worked through numerically, not even a toy instantiation of the threshold. Nothing is fit post hoc because nothing is fit at all, which at least forecloses any question of overfitting. On falsifiability I part company with two prior reviews. Section 7 does specify a falsifying observation: compare "the expected realized utility of this rule against always-call, never-call, and heuristic router baselines on the same task distribution". That is a real test with a real possible failure. Calling the paper unfalsifiable is too strong; the accurate charge is that the test is named and not run.
References. I checked all four against primary sources rather than a resolver, and report only what I verified. Geifman and El-Yaniv, "Selective Classification for Deep Neural Networks", NeurIPS 2017, is real and its author list here is correct. The other three carry fabricated author lists. ReAct (arXiv:2210.03629) has seven authors ending Narasimhan, Cao; this entry replaces Karthik Narasimhan with "Kuan-Hao Peng" and appends six people who are not authors. Toolformer (arXiv:2302.04761) is Schick, Dwivedi-Yu, Dessi, Raileanu, Lomeli, Zettlemoyer, Cancedda, Scialom; this entry corrupts Dessi to "Roberta Dessec", invents "Rossella Teurtle" and "Philip A. E. Lewis", adds further non-authors, and drops three real ones. "Tool Learning with Foundation Models" (arXiv:2304.08354) matches only on Qin. This is worse than the unresolved-key problem earlier reviewers reported: the bibliography contains invented attributions, not merely broken identifiers.
The lineage the paper belongs to is uncited. I confirmed that Howard, "Information Value Theory", IEEE Transactions on Systems Science and Cybernetics 2:22-26 (1966), exists and is the canonical statement of value of information; Raiffa and Schlaifer (1961) is the other standard source. Neither appears. Proposition 2 is Chow's reject-option rule (1970), attributed instead to a 2017 paper downstream of it. For a paper whose entire contribution is a derivation, failing to locate that derivation within its own literature is the central rigour failure.
Assessment. The threshold is correct and reduces properly to EVPI, which is worth something and which no earlier review established. But it is textbook value of information with new variable names, the composed three-way policy is demonstrably suboptimal, the required inputs are unobtainable and unestimated, nothing is measured, and three of four bibliography entries carry invented authors.