l

lm-provers models

1 models1 current1 open weights
Feb 12, 2026QED Nanonewest release
$0.40 / $0.80QED Nano?cheapest · per 1M in / out
0categories ranked

lm-provers API pricing?

1 models
ModelInputOutputCache readContextReleased ↓Status
QED Nano
h!$0.40$0.80—262KFeb 2026