You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Diagnostic of physics literacy in frontier LLMs. Evaluates induction, formulation, and prediction inside unfamiliar physics frameworks via dual-judge inter-rater reliability with human-audit resolution.
CTA-Bench: research benchmark and toolkit for studying how well systems turn problem descriptions and reference code into Lean 4 proof obligations, and how faithful those obligations are to the intended algorithm.
Code, data, and paper for an evaluation-protocol-adjusted residual audit of public LLM benchmark scores — predicting score variation from public metadata and using the residuals as a review queue.
The instrument makes the winner: reconciling two contradictory 2026 clinical-AI evaluations (Real-POCQi vs Nature Medicine). A 2x2 instrument x rater decomposition shows the evaluation instrument (pairwise vs rubric), not the model, drives the disagreement.