How to sell a service with uncertain outcomes
Pith reviewed 2026-05-23 02:39 UTC · model grok-4.3
The pith
Sellers maximize profit for uncertain-outcome services only with two-stage contracts combining upfront and usage payments.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that profit maximization requires a two-stage payment structure in which each contract specifies an action, an upfront price, and usage prices for each possible outcome. The buyer pays the upfront fee upon selecting the contract and then, after observing the outcome, chooses whether to accept it by paying the corresponding usage price or to reject and pay nothing further. This structure is necessary, as the maximum profit cannot be achieved with only upfront prices or only usage prices. For computation, an FPTAS exists when the number of buyer types is constant, and a single contract suffices in the single-parameter case.
What carries the argument
A menu of two-stage contracts, each specifying an action, upfront price, and vector of outcome-dependent usage prices, allowing the buyer to opt out after seeing the realized outcome.
If this is right
- Only upfront prices or only usage prices is insufficient to maximize profit.
- Computing the exact maximum seller profit is NP-hard even for two buyer types.
- A fully-polynomial time approximation scheme exists for the maximum profit when there is a constant number of buyer types.
- In the single-parameter setting, seller revenue can be maximized using a menu consisting of a single contract.
Where Pith is reading between the lines
- If the model holds, platforms offering ML training or similar services could increase revenue by implementing post-outcome acceptance options.
- The necessity of two-stage pricing may extend to other domains with verifiable but uncertain quality, such as medical treatments or repairs.
- Future work could examine settings where the seller cannot commit or where outcomes are not fully observable to the buyer.
Load-bearing premise
The buyer observes the realized outcome quality before choosing to accept or reject the contract.
What would settle it
Finding a setting with two buyer types where the optimal profit using only upfront prices equals that of any two-stage menu would disprove the necessity of the two-stage structure.
read the original abstract
Motivated by the recent popularity of machine learning training services, we introduce a contract design problem in which a provider sells a service that results in an outcome of uncertain quality for the buyer. The seller has a set of actions that lead to different distributions over outcomes. We focus on a setting in which the seller has the ability to commit to an action and the buyer is free to accept or reject the outcome after seeing its realized quality. We propose a two-stage payment scheme where the seller designs a menu of contracts, each of which specifies an action, an upfront price and a vector of outcome-dependent usage prices. Upon selecting a contract, the buyer pays the upfront price, and after observing the realized outcome, the buyer either accepts and pays the corresponding usage price, or rejects and is exempt from further payment. We show that this two-stage payment structure is necessary to maximize profit: only upfront price or only usage prices is insufficient. We then study the computational complexity of computing a profit-maximizing menu. While computing the optimal profit is NP-hard even for two buyer types, we derive a fully-polynomial time approximation scheme (FPTAS) for the optimal profit for a constant number of buyer types. Finally, we prove that in the single-parameter setting in which buyers' valuations are parametrized by a single real number, there exists a revenue-optimal menu consisting of a single contract.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces a contract design problem for a seller offering a service with stochastic outcomes (e.g., ML training), where the seller commits to an action inducing a distribution over outcomes and the buyer observes the realized outcome before deciding to accept or reject. The authors propose a two-stage menu of contracts, each specifying an action, an upfront price, and a vector of outcome-dependent usage prices. They claim this structure is necessary for profit maximization (neither pure upfront nor pure usage prices suffice), that exact profit maximization is NP-hard even for two buyer types but admits an FPTAS for any constant number of types, and that a single contract is optimal in the single-parameter setting.
Significance. If the proofs are correct, the work contributes structural and algorithmic results to contract theory in stochastic environments. The necessity of the two-stage payment scheme, the FPTAS for constant buyer types, and the single-contract characterization in the single-parameter case are concrete advances. The paper supplies explicit proofs of these claims rather than relying on simulations or fitted parameters.
Simulated Author's Rebuttal
We thank the referee for their positive review and recommendation to accept the manuscript. The summary accurately captures the main results on two-stage contracts, necessity of the payment structure, the FPTAS, and single-contract optimality.
Circularity Check
No significant circularity detected
full rationale
The paper defines a novel contract-design model (seller commits to action; buyer observes outcome and accepts/rejects) and derives its three central claims via direct proofs: necessity of the two-stage menu, existence of an FPTAS for constant buyer types, and optimality of a single contract in the single-parameter case. These follow from the stated model without reduction to fitted parameters, self-citations, or ansatzes imported from prior work by the same authors. No equations or claims in the abstract reduce by construction to their inputs; the results are presented as new theorems in a standard but extended mechanism-design setting.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Seller can commit to an action that determines the distribution over outcomes
- domain assumption Buyer observes realized outcome quality before deciding to accept or reject
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.