BedrockNews

BedrockNews

Ctrl + K
Log In
Community
An 8B Model Beats 32B Specialists at Translating Math into Machine-Verifiable Lean 4 — by Looking Up the Library First | BedrockNews