team profile

Solid

LM-Provers

1 models · best: QED-Nano

Team rank#38

Score41.3

LM-Provers models · ranked

1 models · composite 0–100

#ModelBest resultComposite

MathArena Apex · 1.6%