OpenBMBMathForm
OpenBMB MathForm Teaches AI to Translate Math—Chinese AI Bites Into Hard Tech
OpenBMB MathForm lifts auto-formalization from ~40% to 60%+ on 367K samples. A signal of Chinese AI's shift from parameter races to depth.
Aug 22·2 min read
