Formal model evaluation methods typically certify that a model satisfies a prescribed target key performance indicator (KPI) level. However, in many applications, the relevant target KPI level may not be known a priori, and the user may instead wish to compare candidate models by analyzing the full trade-offs between performance and reliability achievable at test time by the models. This task, requiring the reliable estimate of the test-time KPI distributions, is made more complicated by the fact that the same data must often be used both to pre-select a subset of candidate models and to estimate their KPI distributions, causing a potential post-selection bias. In this work, we introduce post-selection distributional model evaluation (PS-DME), a general framework for statistically valid distributional model assessment after arbitrary data-dependent model pre-selection. Building on e-values, PS-DME controls post-selection false coverage rate (FCR) for the distributional KPI estimates and we establish explicit conditions under which it is provably more sample efficient than a baseline method based on sample splitting. Experiments on synthetic data, text-to-SQL decoding with large language models, and telecom network performance evaluation demonstrate that PS-DME enables reliable comparison of candidate configurations across a range of reliability levels, supporting the statistically reliable exploration of performance--reliability trade-offs.
Figures & tables
Figure 1: (a) CDF of a negatively-oriented key performance indicator (KPI), such as the prefill latency for an LLM agent to be deployed on a device ( Huang et al., 2026 ) , for two model configurations. For a test-time reliability level 1−γ , knowing the CDF for each configuration allows the user to compare achievable performance across different configurations. Furthermore, it also supports the exploration of different reliability levels 1−γ . (b) Two strategies for handling model pre-selection, namely data splitting and in-sample inference. (c)-(d) Illustration of the proposed post-selection distributional model evaluation (PS-DME), which applies in-sample pre-selection: (c) A user-defined selection strategy identifies a subset K of promising configurations among the K candidates; (d) For all the configurations in set K , PS-DME constructs confidence bands for the CDFs of the KPI of interest with guaranteed false coverage rate (FCR), enabling reliable comparison of performance–reliability trade-offs across configurations.
Figure 2: For a candidate hyperparameter λk=0.0231 , we show the true CDF Fk(x) , the empirical CDF Fk(x) , and the post-selection confidence band [Lk(x),Uk(x)] for the data splitting, naive in-sample, and post-hoc in-sample benchmarks.
Figure 3: Best guaranteed KPI for the synthetic data experiment as a function of the target probability 1−γ for SS-DME and PS-DME. For SS-DME, a fraction nsel/n∈{0.5,0.6,0.7} of the available data is used for model pre-selection, while the remaining samples are used to construct the CDF confidence bands. (a) Results with 20 calibration samples. (b) Results with 100 calibration samples. The vertical error bars show the standard error of the mean across 100 random splits of the dataset.
Figure 4: Best guaranteed KPI (loss) for the Spider text-to-SQL experiment as a function of the target probability 1−γ for SS-DME and PS-DME. For SS-DME, a fraction nsel/n∈{0.6,0.7,0.8} of the available data is used for decoding strategy pre-selection, while the remaining samples are used to construct the CDF confidence bands. Results are shown for n=50 calibration samples. The vertical error bars show the standard error of the mean across 100 random splits of the dataset.
Appendix figures & tables16 assets
Supplementary material from the paper’s appendix.
Appendix
Figure 5: Illustration of the miscoverage event Ok defined in ( 5 ). (a) A scenario in which the miscoverage event Ok in ( 5 ) does not occur, as the true CDF lies entirely within the reported confidence band. (b) A scenario in which the miscoverage event Ok in ( 5 ) occurs, since the true CDF exits the band over the region of input x marked in red.
Figure 6: Comparison of the band widths produced by SS-DME and by PS-DME with the e-calibrator family ( 12 ). The parameter δ∣K∣/K is fixed to 0.01.
Figure 7: Comparison between the DKW-based and Berk–Jones-based implementations of PS-DME. (a) CDF confidence bands for a representative hyperparameter; (b) Best guaranteed KPI as a function of the outage probability γ .
n
Method
Empirical FCR
20
SS-DME
0.0401
PS-DME
0.0116
100
SS-DME
0.0923
PS-DME
0
Appendix
Table 1: Empirical FCR for the synthetic experiment at δ=0.1 , averaged over 100 replications.
Figure 8: Representative post-selection CDF bands for the O-RAN buffer occupancy experiment for a selected configuration for PS-DME, and SS-DME with dataset split ratio ∣Dsel∣/∣D∣=0.5 .
Figure 9: Best guaranteed buffer occupancy for the O-RAN experiment as a function of the target probability 1−γ for PS-DME and SS-DME with dataset split ratio nsel/n∈{0.2,0.3,0.4} . The vertical error bars show the standard error of the mean across 100 random splits of the dataset.
Figure 10: Effect of the SS-DME split ratio nsel/n on the best guaranteed buffer occupancy in the O-RAN experiment, for two target probabilities 1−γ∈{0.7,0.8} . Each panel corresponds to a different calibration regime, with (a) 30% and (b) 100% of the available data used for calibration. The vertical error bars show the standard error of the mean across 1,000 random splits of the calibration dataset into pre-selection and evaluation datasets.
Figure 11: Representative post-selection CDF bands for a selected server configuration using three different e-calibrators. The empirical CDF is common across all curves, while the shaded regions correspond to different values of parameter τ in ( 12 ).
Benchmark
Setting
Empirical FCR
Spider (text-to-SQL)
M=5 selected
0.031±0.007
M=10 selected
0.046±0.007
M=20 selected
0.070±0.008
O-RAN (telecom)
M=6 selected
0.007±0.001
Appendix
Table 2: Empirical FCR of PS-DME on the Spider text-to-SQL and O-RAN telecom benchmarks at target δ=0.1 . Mean ± one standard error of the mean across random splits.
M
M/K
εPS
εSS
XPS⋆
XSS⋆
2
0.06
0.149
0.179
0.793
0.814
5
0.16
0.139
0.168
0.791
0.807
10
0.32
0.132
0.158
0.790
0.804
15
0.48
0.127
0.153
0.789
0.800
20
0.65
0.124
0.148
0.789
0.799
25
0.81
0.121
0.145
0.789
0.796
Appendix
Table 3: Band width ε and best guaranteed KPI X⋆ at 1−γ=0.75 for PS-DME and SS-DME on synthetic data, as a function of the selected-set size M (with K=31 ). Lower is better for both ε and X⋆ .
Target M
Mean ∣K∣
Empirical FCR
εPS
5
5.0±4.1
0.004±0.003
0.203
10
9.2±4.1
0.018±0.006
0.191
20
21.3±6.1
0.078±0.012
0.175
Appendix
Table 4: PS-DME under data-dependent selection with target size M . Mean realized ∣K∣ , empirical FCR, and PS-DME band width εPS across 500 repetitions.
M
τ⋆
ε(τ⋆)
ε(τ=1/2)
X⋆(τ⋆)
X⋆(τ=1/2)
5
0.859
0.139
0.161
0.791
0.808
10
0.841
0.132
0.150
0.790
0.793
20
0.816
0.124
0.138
0.789
0.791
Appendix
Table 5: Band width ε and best guaranteed KPI X⋆ at 1−γ=0.75 for the power e-calibrator with τ=τ⋆ from Corollary 2 and with τ=1/2 (square-root e-calibrator).
n
εPS
εBonf
εDKW1
FCRPS
FCRBonf
FCRDKW1
20
0.401
0.498
0.274
0.005
0.000
0.102
100
0.179
0.223
0.122
0.000
0.000
0.080
200
0.127
0.157
0.087
0.000
0.000
0.106
500
0.080
0.100
0.055
0.000
0.000
0.078
Appendix
Table 6: Band widths and empirical FCRs for PS-DME, Bonferroni, and single-DKW baselines on synthetic data with K=2000 , M=1000 , δ=0.1 .
M
FCRDKW
FCRBJ
XDKW⋆ (p=0.9)
XBJ⋆ (p=0.9)
5
0.038±0.008
0.043±0.008
0.66
0.74
10
0.039±0.007
0.055±0.008
0.69
0.75
20
0.080±0.009
0.096±0.009
0.72
0.75
Appendix
Table 7: Empirical FCR and best guaranteed KPI at 1−γ=0.9 for the DKW and BJ implementations of PS-DME on Spider text-to-SQL.
Method
Empirical FCR
X⋆ (p=0.90)
X⋆ (p=0.99)
PS-DME
0.087±0.011
0.751
0.772
N-PS-DME
0.372±0.017
0.762
0.781
Appendix
Table 8: Empirical FCR and best guaranteed KPI for PS-DME and the naive in-sample baseline (N-PS-DME) on the BIRD text-to-SQL benchmark.
Method
Empirical FCR
ε
X⋆ (p=0.75)
PS-DME
0.003
0.183
4.92 / 10
SS-DME
−
0.220
0.93 / 10
Appendix
Table 9: PS-DME and SS-DME under an LLM-as-judge KPI on Spider. SS-DME uses neval=31 samples (set to 70% of the Corollary 2 crossover threshold).