Evaluation, Benchmarking & Experimentation Datasheet — SOTA++ 2026¶
Um modelo não “tem performance”. Ele produz uma distribuição de resultados sob uma configuração experimental específica. Avaliação é a engenharia necessária para separar ganho real de ruído, harness, prompt, contaminação e wishful thinking.
A equação conceitual central:
Logo:
Veja também:
- 01_GUT_GENERATIVE_AI_UNIFIED_ENGINEERING
- 12_REWARD_VERIFIER_JUDGE_DATASHEET
- 16_TRAINING_ALIGNMENT_ADAPTATION_DATASHEET
- 09_LOCAL_AI_INFERENCE_RUNTIME_DATASHEET
- 18_SECURITY_ROBUSTNESS_FAILURE_MODES_DATASHEET
1. O que exatamente está sendo avaliado?¶
Antes de calcular qualquer métrica, defina o System Under Test — SUT.
Pode ser:
1.1 Checkpoint puro¶
1.2 Modelo + prompt/template¶
1.3 Modelo + inferência¶
1.4 Pipeline¶
1.5 Agente¶
1.6 Produto completo¶
Se o SUT não é explicitado, comparação entre scores pode não ser válida.
2. Decomposição de erro experimental¶
Pense:
onde:
- \(M_i\): efeito do modelo/configuração;
- \(H_j\): efeito do harness/prompt/scaffold;
- \(R_k\): efeito de seed/randomness;
- \(\epsilon\): residual.
Queremos estimar \(M_i\), mas frequentemente medimos todos juntos.
3. Benchmark ≠ metric ≠ harness¶
Benchmark¶
Define conjunto de tarefas/exemplos/protocolo.
Metric¶
Mapeia resultado para escalar/vetor:
Harness¶
Executa:
- prompt construction;
- model call;
- decoding;
- parsing;
- scoring;
- aggregation.
Trocar harness pode alterar score mesmo com pesos idênticos.
4. A unidade experimental mínima¶
Um registro deveria conter pelo menos:
experiment:
model_id: ...
model_hash: ...
tokenizer: ...
quantization: ...
backend: ...
backend_version: ...
prompt_template: ...
system_prompt_hash: ...
context_limit: ...
generation:
temperature: ...
top_p: ...
min_p: ...
max_tokens: ...
seed: ...
dataset:
name: ...
version: ...
split: ...
hash: ...
metric: ...
hardware: ...
timestamp: ...
Sem versionamento, um resultado vira anedota histórica.
5. Deterministic metric versus judged metric¶
Deterministic¶
Exemplos:
- exact match;
- test pass/fail;
- numerical tolerance;
- WER;
- retrieval recall.
Judged¶
É outro modelo/ser humano inferindo qualidade.
Isso adiciona nova fonte de erro:
Veja 12_REWARD_VERIFIER_JUDGE_DATASHEET.
6. Accuracy¶
Simples, mas exige definição inequívoca de “correto”.
Para classes desbalanceadas, accuracy pode ser enganosa.
7. Precision, Recall e F1¶
Macro e micro averaging respondem perguntas diferentes. Essas razões exigem denominadores não nulos; declare como casos indefinidos são pontuados ou excluídos antes de calcular médias.
8. Exact Match¶
A função normalize() é parte da métrica.
Mudá-la muda o benchmark.
9. Pass@k¶
Em code generation, com \(n\) samples e \(c\) corretos:
quando condições da estimativa são atendidas.
Pass@1 mede uma realidade diferente de pass@100.
sem que o modelo tenha mudado.
10. Retrieval metrics¶
Recall@K¶
Precision@K¶
MRR¶
Aqui \(rank_i\) é a posição do primeiro resultado relevante para a consulta \(i\); sua contribuição de reciprocal rank é zero quando nenhum resultado relevante é recuperado.
DCG¶
NDCG¶
Declare a política para consultas sem documentos relevantes ou com DCG ideal zero, e para menos de \(K\) resultados retornados; essas escolhas afetam médias e comparabilidade.
Veja 11_EMBEDDING_RETRIEVAL_RERANKER_DATASHEET.
11. Perplexity¶
Para sequência:
É útil para modelagem probabilística, mas:
necessariamente.
Comparar PPL entre tokenizers diferentes exige extremo cuidado.
12. Calibration¶
Se modelo diz probabilidade \(p\), queremos:
Brier score¶
Para outcomes binários \(y_i\in\{0,1\}\) e probabilidades previstas \(p_i\) do outcome 1:
ECE¶
Agrupa previsões por bins e mede diferença entre confidence e accuracy.
Calibration é distinta de accuracy.
13. ASR¶
Word Error Rate¶
onde:
- \(S\): substitutions;
- \(D\): deletions;
- \(I\): insertions.
Veja 06_AUDIO_MUSIC_TTS_GENERATION_DATASHEET.
14. Time-series metrics¶
MAE¶
RMSE¶
MAPE caveat¶
explode ou fica instável quando \(y_i\approx0\).
Probabilistic forecasts exigem métricas próprias de distribuição/quantis.
Veja 14_TIME_SERIES_TABULAR_FOUNDATION_MODELS.
15. Image/video/audio generation¶
Não existe uma única “quality metric” suficiente.
Dimensões distintas:
- fidelity;
- prompt adherence;
- identity consistency;
- temporal consistency;
- perceptual quality;
- diversity;
- human preference.
Logo:
não necessariamente:
Um único scalar ranking esconde trade-offs.
16. 3D evaluation¶
Pode incluir:
- Chamfer distance;
- normal consistency;
- IoU;
- watertightness;
- non-manifold edges;
- geometric validity;
- render-space perceptual metrics.
Para fabricação:
Veja 07_3D_GENERATION_REPRESENTATION_DATASHEET.
17. Agent evaluation¶
Agentes precisam métricas além do texto final:
Uma resposta bonita pode acompanhar uma trajetória operacional péssima.
18. World/VLA evaluation¶
Precisamos separar:
- prediction accuracy;
- rollout fidelity;
- action success;
- collision/safety rate;
- horizon degradation;
- sim-to-real gap.
World-model error pode acumular:
Veja 13_WORLD_MODEL_VLA_EMBODIED_AI_DATASHEET.
19. Statistical uncertainty não é opcional¶
Um score observado é amostra:
Queremos estimar:
com incerteza.
20. Standard error¶
Para \(N\) observações independentes com média comum e variância comum finita, o erro-padrão estimado da média é:
Sob essas hipóteses, aumentar o número de observações independentes reduz a incerteza aproximadamente como:
Não linearmente com N.
21. Confidence interval¶
Forma assintótica simples:
Aqui \(z_{\alpha/2}=\Phi^{-1}(1-\alpha/2)\) é o valor crítico positivo de cauda superior da normal padrão, para \(0<\alpha<1\); \(\Phi\) é sua CDF.
Para muitos benchmarks, bootstrap é mais flexível.
22. Bootstrap¶
Primeiro defina a estatística, a população-alvo e a unidade de amostragem. Para exemplos independentes:
- amostrar exemplos com reposição;
- recalcular métrica;
- repetir \(B\) vezes;
- obter distribuição empírica.
Útil para métricas sem fórmula simples de variância. Para observações agrupadas ou dependentes, escolha reamostragem por cluster/bloco ou modelo estatístico compatível com o desenho amostral e o estimando; não trate toda linha item/seed como independente. Preserve pares A/B ao reamostrar comparações pareadas. Bootstrap hierárquico só é apropriado quando sua hierarquia corresponde a esse desenho.
23. Paired design¶
Se modelos A e B respondem aos mesmos itens, use diferença pareada:
Então estude:
Isso remove parte da variação devido à dificuldade entre itens.
É geralmente melhor que comparar médias como amostras independentes.
24. McNemar para acerto/erro pareado¶
Para classificação binária, conte discordâncias:
- A certo / B errado: \(b\)
- A errado / B certo: \(c\)
A evidência de diferença vem de \(b\) versus \(c\), não de acertos totais isolados.
25. Permutation test¶
Sob hipótese nula de troca de labels/configurações, permute pares e calcule distribuição de \(\Delta\).
É útil quando não queremos assumir normalidade.
26. Effect size¶
Significância estatística não implica relevância prática.
Pergunte:
Exemplo:
+0,2 ponto de benchmark pode não compensar +70% de VRAM.
27. Multiple comparisons¶
Se testar centenas de configurações, algum “ganhador” aparece por acaso.
com número de hipóteses.
Use:
- held-out final set;
- correction quando apropriado;
- preregistered hypotheses;
- evitar escolher seed/configuração pelo test set.
28. Seed variance¶
Para stochastic generation:
onde \(s\) é seed.
Calcule:
antes de interpretar diferença entre modelos.
Se:
um único run é evidência fraca.
29. Hierarchical variance¶
Em benchmark com tasks, examples e seeds:
podemos decompor variância em múltiplos níveis.
Isso mostra se resultado é dominado por:
- algumas categorias;
- alguns itens;
- randomness.
Macro-average pode esconder tudo isso. Use o desenho amostral e a população-alvo para escolher a unidade independente das estimativas de incerteza nas seções 20–22; repetir seeds no mesmo item não cria novos itens independentes.
30. Stochastic benchmark protocol¶
Para geração livre:
for model/config:
for item:
for seed in S:
generate
score
Depois reportar:
- mean;
- median;
- std/IQR;
- CI;
- failure rate;
- tails.
31. Tail metrics¶
Usuário não experimenta “a média” apenas.
Em latency:
Em safety/reliability:
worst-case e failure-tail podem dominar risco.
Para agents:
pode ser mais importante que mean success rate.
32. Benchmark contamination¶
Tipos:
Exact contamination¶
Item idêntico no treino.
Near-duplicate¶
Paráfrase/transformação.
Solution contamination¶
Resposta/solução aparece em dados.
Benchmark-aware post-training¶
Modelo foi explicitamente otimizado para benchmark.
Mesmo sem leakage literal, score deixa de ser estimativa neutra de generalização.
33. Benchmark saturation¶
Se quase todos os modelos relevantes estão perto do teto:
benchmark perde poder discriminativo.
Pesquisa de 2026 analisando 60 benchmarks encontrou saturação em uma parcela grande e crescente com idade; expert-curated benchmarks mostraram maior resistência que crowdsourced em média.
A lição:
34. Dynamic benchmarks¶
Benchmarks atualizados periodicamente tentam reduzir contamination e saturation.
LiveBench exemplifica:
- perguntas renovadas;
- fontes recentes;
- ground truth objetivo quando possível;
- múltiplas categorias.
Mas atualização também significa:
sem versionamento do dataset.
35. Public versus private test¶
Private test data reduz exposição direta, mas não elimina:
- conceptual leakage;
- benchmark-targeted optimization;
- saturation;
- similar training examples.
Portanto:
36. LLM-as-a-Judge¶
Judge:
Problemas comuns:
- position bias;
- verbosity bias;
- style bias;
- self-preference;
- reference anchoring;
- domain mismatch.
Veja 12_REWARD_VERIFIER_JUDGE_DATASHEET.
37. Swap test¶
Para pairwise judge:
- julgar A,B;
- trocar ordem B,A;
- comparar.
Se:
há inconsistência/position sensitivity.
38. Rubric decomposition¶
Em vez de score monolítico:
Dimensões possíveis:
- correctness;
- completeness;
- relevance;
- style;
- safety;
- evidence.
Isso melhora auditabilidade.
39. Human evaluation¶
Human eval não é ground truth mágico.
Tem:
- inter-rater disagreement;
- fatigue;
- rubric ambiguity;
- expertise variation;
- context effects.
Métricas de agreement ajudam a quantificar consistência.
40. Model versus scaffold¶
Coding-agent benchmark mede frequentemente:
não apenas o model checkpoint.
SWE-bench Verified, por exemplo, explicitamente compara sistemas que vão de simple loops a RAG/multi-rollout/review systems.
Portanto leaderboard de agents não é leaderboard puro de LLMs.
41. Harness sensitivity¶
Mudanças pequenas em:
- few-shot examples;
- answer parsing;
- stop sequence;
- whitespace;
- chat template;
- reasoning budget;
podem mudar resultados.
Um benchmark sem harness versionado não é plenamente reproduzível.
42. Quality versus test-time compute¶
Se configuração A usa:
sample e B usa:
- verifier,
não estamos comparando apenas modelos.
Estamos comparando:
Reportar:
é mais honesto.
43. Best-of-N evaluation¶
Gere:
Selecione usando uma regra fixa de desempate:
Score depende de:
- generator diversity;
- N;
- verifier quality.
Com verificador fixo e conjuntos candidatos ampliados por inclusão, o máximo do score proxy não diminui. A qualidade real da tarefa pode cair por erro do verificador ou sobreotimização; maior diversidade também não garante ganho.
Atribuir todo ganho ao generator é erro causal.
44. Runtime evaluation¶
TTFT¶
Time To First Token.
Se request inicia em \(t_0\) e primeiro token chega em \(t_1\):
Inter-token latency / TPOT¶
Tempo médio por token depois do primeiro.
Generation TPS¶
Conte apenas tokens produzidos na janela declarada \(T_{decode}\). Se medir da chegada do primeiro token \(t_1\) à chegada do último \(t_N\), a taxa é \((N-1)/(t_N-t_1)\) para \(N>1\), excluindo o primeiro token da contagem. Informe a janela separadamente do tempo total do request.
Throughput¶
TPS single-user e throughput server são objetivos diferentes.
45. Prefill versus decode benchmark¶
Nunca misturar:
com:
Veja 09_LOCAL_AI_INFERENCE_RUNTIME_DATASHEET.
Prefill é muito mais paralelizável; decode frequentemente é memory-bandwidth bound.
46. Memory metric¶
Registrar:
- model load VRAM;
- idle VRAM;
- peak prefill;
- peak decode;
- host RAM;
- KV allocation;
- temporary workspace.
Um número “VRAM usada” sem fase de execução é ambíguo.
47. Energy / efficiency¶
Quando disponível:
Ou:
Para local inference, performance/W pode alterar decisão de hardware tanto quanto TPS.
48. Pareto analysis¶
Em vez de procurar “melhor modelo”, construa vetor:
Modelo é Pareto-dominado se existe outro melhor ou igual em todas as dimensões e estritamente melhor em pelo menos uma.
Para uma RTX 2060 12 GB:
é constraint real, não coluna decorativa.
49. Quality per physical budget¶
Métricas úteis:
especialmente para comparar quantizações e model sizes. Essas razões exigem uma métrica de qualidade declarada, com zero significativo, e denominador de orçamento positivo. Para scores com origem arbitrária, use análise de Pareto ou ganhos explicitamente definidos sobre um baseline; deslocar a origem do score pode inverter rankings por razão.
50. Quantization experiment¶
Ao comparar Q4 vs Q5:
Controlar:
- model source;
- context;
- sampler;
- backend;
- prompt set.
Observar:
- task quality;
- logit divergence se possível;
- VRAM;
- TPS;
- TTFT.
A pergunta é:
e:
51. A/B sampler experiment¶
Para comparar Min-P:
- mesmo model;
- mesmo prompt set;
- mesmo seed set quando backend permite;
- demais samplers fixos;
- múltiplas outputs.
Não use “achei este texto mais bonito” como única estatística.
Capture:
- repetition rate;
- lexical diversity;
- judge rubric;
- human pairwise preference;
- failure counts.
52. Evaluation dataset design¶
Amostra deve cobrir distribuição alvo:
na medida do possível.
Se benchmark é academia e deployment é atendimento B2B em português:
mesmo com score excelente.
53. Slice analysis¶
Nunca só aggregate score.
Particione por:
- idioma;
- dificuldade;
- comprimento;
- domínio;
- modality;
- risk level;
- tool type.
Pode ocorrer:
mas:
no slice crítico para produção.
54. Regression suite¶
Após escolher sistema, mantenha conjunto fixo de regressões:
must-pass
known-hard
known-failure
security
format
latency
Cada atualização roda novamente.
Isso transforma benchmark em controle de processo.
55. Golden cases¶
Casos pequenos, semanticamente importantes, inspecionados manualmente.
Não substituem benchmark amplo.
Servem para detectar regressões óbvias com alta interpretabilidade.
56. Canary tests¶
Casos desenhados para detectar uma falha específica.
Exemplo:
- template corruption;
- context truncation;
- tool hallucination;
- unicode/tokenizer bug.
Canary bom tem causalidade clara.
57. Adversarial evaluation¶
Avaliação normal mede distribuição nominal.
Adversarial eval mede vizinhança hostil:
ou inputs deliberadamente construídos para falhar.
Veja 18_SECURITY_ROBUSTNESS_FAILURE_MODES_DATASHEET.
58. Evaluation leakage via development loop¶
Mesmo sem treinar pesos:
se você olha o test set repetidamente e ajusta prompt/configuração:
Então deixou de ser test set puro.
Mantenha:
- dev set;
- final holdout.
59. Benchmark overfitting organizacional¶
Equipe pode otimizar KPI até perder validade externa.
Esse é Goodhart aplicado à avaliação.
60. Benchmark retirement¶
Critérios para aposentar ou rebaixar benchmark:
- saturation;
- contamination conhecida;
- poor external validity;
- metric no longer relevant;
- harness ambiguity;
- task obsolete.
Não há mérito em preservar comparabilidade histórica às custas de sinal atual.
61. Snapshot SOTA 2026¶
Pontos particularmente relevantes em outubro de 2026:
- Benchmark contamination deixou de ser caveat periférico; é variável de design central.
- Estudos de 2026 mostram saturação ampla em benchmarks antigos e reforçam necessidade de suites rotativas e expert-curated.
- Live/dynamic benchmarks são uma resposta útil, mas exigem versionamento temporal.
- LLM-as-a-Judge escalou avaliação aberta, porém position/verbosity/style/calibration bias precisam ser medidos, não presumidos ausentes.
- Coding-agent evaluation tornou explícita a distinção model vs scaffold/system.
- HELM permanece referência conceitual de holistic/reproducible evaluation, embora o projeto geral tenha entrado em maintenance mode em junho de 2026; isso reforça a necessidade de evitar dependência de um único harness.
- Avaliação moderna é multiobjetivo: capability, reliability, safety, latency, memory e cost devem aparecer juntos.
62. Experiment card — template recomendado¶
## Hypothesis
## System under test
## Independent variable
## Controlled variables
## Dataset + version + hash
## Metric definitions
## Seed/repetition policy
## Hardware/runtime
## Results
- mean:
- median:
- std/IQR:
- confidence interval:
- failure count:
## Paired differences
## Slice analysis
## Physical cost
- VRAM:
- RAM:
- TTFT:
- TPS:
- energy/cost:
## Decision rule
## Caveats
63. Decision rule antes do experimento¶
Defina antes:
sujeito a:
Isso reduz post-hoc rationalization.
64. Minimal local-model test battery¶
Para seu stack local, eu manteria pelo menos:
- task accuracy / instruction adherence;
- Portuguese naturalness;
- code correctness se aplicável;
- long-context retrieval;
- repetition/degeneration;
- structured-output validity;
- TTFT;
- decode TPS;
- peak VRAM/RAM;
- context scaling;
- failure cases próprios;
- safety/tool tests se agentic.
Essa bateria deve ser mais valiosa para decisão local que uma posição isolada em leaderboard público.
65. A equação final¶
Sem uncertainty, temos número.
Sem protocol, temos benchmark folklore.
Sem reproducibility, temos anedota.
Checklist de qualquer benchmark que aparecer amanhã¶
- Qual SUT está sendo medido?
- Modelo puro ou sistema?
- Qual dataset version?
- Público ou privado?
- Há contamination evidence?
- Está saturado?
- Qual métrica?
- A métrica é objetiva ou judged?
- Qual judge?
- Judge foi calibrado?
- Houve order-swap?
- Quantos samples/seed?
- Qual inference budget?
- Qual prompt/template?
- Qual harness/version?
- Qual context limit?
- Quantização?
- Hardware/backend?
- Há CI/variance?
- Comparação é pareada?
- Há slice analysis?
- Há custo físico?
- Qual external validity?
- Score melhora algo que importa?
- Decisão muda se benchmark variar dentro do CI?
Referências snapshot¶
- LiveBench — https://arxiv.org/abs/2406.19314
- LiveBench ICLR 2025 — https://proceedings.iclr.cc/paper_files/paper/2025/hash/e4a46394ba5378b3f9a186a5b4c650d1-Abstract-Conference.html
- When AI Benchmarks Plateau — https://proceedings.mlr.press/v306/akhtar26a.html
- HELM — https://github.com/stanford-crfm/helm
- SWE-bench Verified — https://www.swebench.com/verified.html
- Judging the Judges: Position Bias — https://arxiv.org/abs/2406.07791
- Mitigating the Bias of Large Language Model Evaluation — https://arxiv.org/abs/2409.16788
- 12_REWARD_VERIFIER_JUDGE_DATASHEET for 2026 judge/reward references