TY  - RPRT
TI  - Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning
AU  - Lan Zhang
AU  - Marco Valentino
AU  - Jordan Meadows
AU  - Andre Freitas
PY  - 2026
UR  - https://arxiv.org/abs/2506.10903
ID  - 2506.10903
ER  -