{"schema_version":"onlylabs.public_signal.v1","title":"OpenBMB (MiniCPM) Model: openbmb/MathForm-8B","description":"OpenBMB (MiniCPM) model signal with public source context, captured evidence pages, related signals, and category-scoped analysis context.","url":"https://onlylabs.fyi/signals/d3aa2c24-3769-4e65-919c-73b13cc43883","json_url":"https://onlylabs.fyi/signals/d3aa2c24-3769-4e65-919c-73b13cc43883/signal.json","generated_at":"2026-09-09T21:06:47.947Z","evidence_latest_fetched_at":"2026-08-17T07:20:21.841732+00:00","signal_first_seen_at":"2026-08-17T07:20:08.722624+00:00","org":{"slug":"openbmb","name":"OpenBMB (MiniCPM)","category":"neolab","category_label":"Neolab","dossier_url":"https://onlylabs.fyi/labs/openbmb","dossier_json_url":"https://onlylabs.fyi/labs/openbmb/dossier.json"},"related_urls":{"signal":"https://onlylabs.fyi/signals/d3aa2c24-3769-4e65-919c-73b13cc43883","signal_json":"https://onlylabs.fyi/signals/d3aa2c24-3769-4e65-919c-73b13cc43883/signal.json","source":"https://huggingface.co/openbmb/MathForm-8B","lab_dossier":"https://onlylabs.fyi/labs/openbmb","lab_dossier_json":"https://onlylabs.fyi/labs/openbmb/dossier.json","analysis":"https://onlylabs.fyi/analysis/openbmb","analysis_json":"https://onlylabs.fyi/analysis/openbmb/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/openbmb/evidence.json","category":"https://onlylabs.fyi/neolabs","category_json":"https://onlylabs.fyi/neolabs.json","category_feed":"https://onlylabs.fyi/neolabs/feed.xml","category_signals_json":"https://onlylabs.fyi/signals.json?category=neolab","topic":"https://onlylabs.fyi/topics/releases","topic_signals_json":"https://onlylabs.fyi/topics/releases/signals.json?category=neolab","topic_feed":"https://onlylabs.fyi/topics/releases/feed.xml?category=neolab","data_business":null},"answer_pack":{"answer":"OpenBMB (MiniCPM) published openbmb/MathForm-8B. This model signal is evidence of what shipped on model infrastructure and how the release is positioned. High-signal details: license apache-2.0 · 934 HF downloads · OpenBMB's 8B model converting natural-language math into formal Lean code.. onlylabs links this event to 1 captured evidence page and 6 related model signals.","signal_desk":"releases","source_context":{"source_url":"https://huggingface.co/openbmb/MathForm-8B","source_host":"huggingface.co","occurred_at":"2026-08-14T02:57:40+00:00","first_seen_at":"2026-08-17T07:20:08.722624+00:00","date_source":"source","context":null},"context_markers":[{"label":"Lab","value":"OpenBMB (MiniCPM)","source":"signal"},{"label":"Signal desk","value":"releases","source":"signal"},{"label":"Source host","value":"huggingface.co","source":"source"},{"label":"Task","value":"text-generation","source":"model"},{"label":"License","value":"apache-2.0","source":"model"},{"label":"Library","value":"transformers","source":"model"},{"label":"Params","value":"8.2B","source":"model"},{"label":"Downloads","value":"934","source":"traction"},{"label":"Likes","value":"8","source":"traction"},{"label":"Context","value":"OpenBMB's 8B model converting natural-language math into formal Lean code.","source":"signal"},{"label":"Notability","value":"Notable math model release, lacks major traction info.","source":"signal"},{"label":"Watch term","value":"RL environments","source":"evidence"},{"label":"Watch term","value":"Eval methodology","source":"evidence"},{"label":"Watch term","value":"Model card","source":"model"},{"label":"Watch term","value":"Data pipeline","source":"evidence"},{"label":"Watch term","value":"Infrastructure","source":"evidence"}],"evidence_coverage":{"target_pages":1,"captured_pages":1,"readable_pages":1,"capture_methods":["plain"],"missing_page_urls":[],"failed_page_urls":[],"blocked_page_urls":[],"page_urls":["https://huggingface.co/openbmb/MathForm-8B/raw/main/README.md"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-08-17T07:20:21.841732+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/d3aa2c24-3769-4e65-919c-73b13cc43883/signal.json","dossier_json":"https://onlylabs.fyi/labs/openbmb/dossier.json","analysis_json":"https://onlylabs.fyi/analysis/openbmb/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/openbmb/evidence.json","topic_signals_json":"https://onlylabs.fyi/topics/releases/signals.json?category=neolab","topic_feed":"https://onlylabs.fyi/topics/releases/feed.xml?category=neolab","category_signals_json":"https://onlylabs.fyi/signals.json?category=neolab","data_radar_json":null,"opportunities_json":null},"analysis_playbook":{"objective":"Turn model cards, repository releases, and launch artifacts into a current view of what shipped and what changed.","evidence_focus":["model card","release note","version or tag","pipeline tag","license","downloads, likes, stars, and linked papers"],"extraction_questions":["What actually shipped, and through which public artifact?","Which releases include inspectable model, repo, paper, or package evidence?","Which launches create new eval, data, infra, or deployment needs?","Which shipped signals are missing captured page context?"],"signal_questions":["What shipped in this model artifact, and what evidence describes its capability, license, or traction?","What actually shipped, and through which public artifact?","Which releases include inspectable model, repo, paper, or package evidence?","Do the 6 related model signals show a repeated pattern?"],"output_fields":["org","release_type","artifact","traction","evidence_url"],"data_business_relevance":"Data-business lane extraction is scoped to frontier labs; for this category, keep conclusions tied to category-specific strategy, source evidence, and follow-up questions.","required_sources":[{"label":"signal_json","url":"https://onlylabs.fyi/signals/d3aa2c24-3769-4e65-919c-73b13cc43883/signal.json","required":true},{"label":"source","url":"https://huggingface.co/openbmb/MathForm-8B","required":true},{"label":"dossier_json","url":"https://onlylabs.fyi/labs/openbmb/dossier.json","required":true},{"label":"analysis_evidence_json","url":"https://onlylabs.fyi/analysis/openbmb/evidence.json","required":true},{"label":"topic_signals_json","url":"https://onlylabs.fyi/topics/releases/signals.json?category=neolab","required":false},{"label":"data_radar_json","url":null,"required":false}],"expected_output":["one-paragraph source-grounded interpretation","category-specific implication","confidence and missing evidence","recommended next source to inspect"],"prompt_seed":"Using only the linked onlylabs JSON, captured source context, and cited evidence, analyze OpenBMB (MiniCPM)'s model signal \"openbmb/MathForm-8B\" for neolab strategy."},"semantic_triples":[{"subject":"OpenBMB (MiniCPM)","predicate":"published model","object":"openbmb/MathForm-8B","text":"OpenBMB (MiniCPM) published model openbmb/MathForm-8B."},{"subject":"openbmb/MathForm-8B","predicate":"is classified as","object":"model signal","text":"openbmb/MathForm-8B is classified as model signal."},{"subject":"openbmb/MathForm-8B","predicate":"belongs to","object":"releases desk","text":"openbmb/MathForm-8B belongs to releases desk."},{"subject":"openbmb/MathForm-8B","predicate":"has evidence coverage","object":"1 captured evidence page","text":"openbmb/MathForm-8B has evidence coverage 1 captured evidence page."},{"subject":"openbmb/MathForm-8B","predicate":"has captured page count","object":"1","text":"openbmb/MathForm-8B has captured page count 1."},{"subject":"openbmb/MathForm-8B","predicate":"has readable page count","object":"1","text":"openbmb/MathForm-8B has readable page count 1."},{"subject":"openbmb/MathForm-8B","predicate":"has related signal count","object":"6","text":"openbmb/MathForm-8B has related signal count 6."},{"subject":"openbmb/MathForm-8B","predicate":"has analysis playbook objective","object":"Turn model cards, repository releases, and launch artifacts into a current view of what shipped and what changed.","text":"openbmb/MathForm-8B has analysis playbook objective Turn model cards, repository releases, and launch artifacts into a current view of what shipped and what changed.."},{"subject":"openbmb/MathForm-8B","predicate":"has source host","object":"huggingface.co","text":"openbmb/MathForm-8B has source host huggingface.co."},{"subject":"openbmb/MathForm-8B","predicate":"has lab","object":"OpenBMB (MiniCPM)","text":"openbmb/MathForm-8B has lab OpenBMB (MiniCPM)."},{"subject":"openbmb/MathForm-8B","predicate":"has signal desk","object":"releases","text":"openbmb/MathForm-8B has signal desk releases."},{"subject":"openbmb/MathForm-8B","predicate":"has source host","object":"huggingface.co","text":"openbmb/MathForm-8B has source host huggingface.co."},{"subject":"openbmb/MathForm-8B","predicate":"has task","object":"text-generation","text":"openbmb/MathForm-8B has task text-generation."},{"subject":"openbmb/MathForm-8B","predicate":"has license","object":"apache-2.0","text":"openbmb/MathForm-8B has license apache-2.0."},{"subject":"openbmb/MathForm-8B","predicate":"has library","object":"transformers","text":"openbmb/MathForm-8B has library transformers."},{"subject":"openbmb/MathForm-8B","predicate":"has params","object":"8.2B","text":"openbmb/MathForm-8B has params 8.2B."},{"subject":"openbmb/MathForm-8B","predicate":"has downloads","object":"934","text":"openbmb/MathForm-8B has downloads 934."}]},"intelligence":{"signal_desk":"releases","answer":"OpenBMB (MiniCPM) published openbmb/MathForm-8B. This model signal is evidence of what shipped on model infrastructure and how the release is positioned. High-signal details: license apache-2.0 · 934 HF downloads · OpenBMB's 8B model converting natural-language math into formal Lean code.. onlylabs links this event to 1 captured evidence page and 6 related model signals.","semantic_triples":[{"subject":"OpenBMB (MiniCPM)","predicate":"published model","object":"openbmb/MathForm-8B","text":"OpenBMB (MiniCPM) published model openbmb/MathForm-8B."},{"subject":"openbmb/MathForm-8B","predicate":"is classified as","object":"model signal","text":"openbmb/MathForm-8B is classified as model signal."},{"subject":"openbmb/MathForm-8B","predicate":"belongs to","object":"releases desk","text":"openbmb/MathForm-8B belongs to releases desk."},{"subject":"openbmb/MathForm-8B","predicate":"has evidence coverage","object":"1 captured evidence page","text":"openbmb/MathForm-8B has evidence coverage 1 captured evidence page."}]},"signal":{"id":"d3aa2c24-3769-4e65-919c-73b13cc43883","url":"https://onlylabs.fyi/signals/d3aa2c24-3769-4e65-919c-73b13cc43883","json_url":"https://onlylabs.fyi/signals/d3aa2c24-3769-4e65-919c-73b13cc43883/signal.json","source_url":"https://huggingface.co/openbmb/MathForm-8B","title":"openbmb/MathForm-8B","summary":"OpenBMB (MiniCPM) published a model signal. onlylabs watches model cards, launch context, and traction.","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"openbmb","name":"OpenBMB (MiniCPM)","category":"neolab"},"occurred_at":"2026-08-14T02:57:40+00:00","first_seen_at":"2026-08-17T07:20:08.722624+00:00","date_source":"source","evidence_coverage":{"target_pages":1,"captured_pages":1,"readable_pages":1,"capture_methods":["plain"],"missing_page_urls":[],"failed_page_urls":[],"blocked_page_urls":[],"page_urls":["https://huggingface.co/openbmb/MathForm-8B/raw/main/README.md"]},"facets":{"pipeline_tag":"text-generation","license":"apache-2.0"},"traction":{"github_stars":null,"hn_points":null,"hn_comments":null,"hn_story_id":null,"hf_downloads":934,"hf_likes":8},"data_radar":null},"primary_evidence_page":{"is_primary":true,"source_match":true,"url":"https://huggingface.co/openbmb/MathForm-8B/raw/main/README.md","final_url":"https://huggingface.co/openbmb/MathForm-8B/raw/main/README.md","title":"openbmb/MathForm-8B model card","http_status":200,"content_type":"text/plain; charset=utf-8","capture_method":"plain","fetched_at":"2026-08-17T07:20:21.841732+00:00","bytes":4816,"raw_path":"47a43af57c2d665bc0f43f265b9e716bca18bde15d2902e9936df685282bd718.md","content_hash":"b833b14c7f1dd66d2a55a12b12d48a8b7a78ec6a3b9ea9d6241105ea49e1ad5f","excerpt_chars":1200,"truncated":true,"excerpt":"**MathForm-8B** is an autoformalization model that translates natural-language mathematical statements into Lean 4. It is released with the paper *MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement*. The model is trained on [FormalVerse](https://huggingface.co/datasets/openbmb/FormalVerse) through supervised fine-tuning followed by reinforcement learning using Lean compilation and semantic-consistency feedback. Figure 1: Overview of the MathForm data construction and training pipeline. The system combines Mathlib knowledge retrieval, compilation and semantic verification, and iterative refinement to generate reliable formal data, followed by trajectory reconstruction and training of MathForm-8B. Results Figure 2: Pass@8 pass rates (%) under Syntax Check (SC) and Consistency Check (CC) for specialized autoformalizers on six benchmarks. AVG is the equally weighted macro-average across all six benchmarks. For each column, the best result is shown in bold and the second best is underlined. Usage Transformers ```python import torch from transformers import AutoModelForCausalLM, AutoTokenizer model_id = \"openbmb/MathForm-8B\"..."},"evidence_pages":[],"related_signals":[{"id":"ef917e21-8de0-4123-b6bf-3bf014cd86a2","url":"https://onlylabs.fyi/signals/ef917e21-8de0-4123-b6bf-3bf014cd86a2","source_url":"https://huggingface.co/openbmb/JustRL-II-base-model","title":"openbmb/JustRL-II-base-model","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"openbmb","name":"OpenBMB (MiniCPM)","category":"neolab"},"occurred_at":"2026-09-07T08:25:05+00:00","first_seen_at":"2026-09-08T07:20:08.657444+00:00","date_source":"source"},{"id":"0f647d0f-1ca9-4787-b107-0fe653027fc7","url":"https://onlylabs.fyi/signals/0f647d0f-1ca9-4787-b107-0fe653027fc7","source_url":"https://huggingface.co/openbmb/UltraData-Code-L2-Classifier","title":"openbmb/UltraData-Code-L2-Classifier","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"openbmb","name":"OpenBMB (MiniCPM)","category":"neolab"},"occurred_at":"2026-09-06T12:40:06+00:00","first_seen_at":"2026-09-08T07:20:08.657444+00:00","date_source":"source"},{"id":"f518f533-1589-490a-848b-27b67843fa28","url":"https://onlylabs.fyi/signals/f518f533-1589-490a-848b-27b67843fa28","source_url":"https://huggingface.co/openbmb/MiniCPM5-2B-DSpark","title":"openbmb/MiniCPM5-2B-DSpark","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"openbmb","name":"OpenBMB (MiniCPM)","category":"neolab"},"occurred_at":"2026-09-06T11:33:35+00:00","first_seen_at":"2026-09-08T07:20:08.657444+00:00","date_source":"source"},{"id":"4b474f8a-783c-4771-a9be-0961aa429745","url":"https://onlylabs.fyi/signals/4b474f8a-783c-4771-a9be-0961aa429745","source_url":"https://huggingface.co/openbmb/MiniCPM5-2B","title":"openbmb/MiniCPM5-2B","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"openbmb","name":"OpenBMB (MiniCPM)","category":"neolab"},"occurred_at":"2026-09-06T11:12:19+00:00","first_seen_at":"2026-09-08T07:20:08.657444+00:00","date_source":"source"},{"id":"fa11d615-a1dd-4796-9e4d-1800875104d5","url":"https://onlylabs.fyi/signals/fa11d615-a1dd-4796-9e4d-1800875104d5","source_url":"https://huggingface.co/openbmb/MiniCPM5-2B-Midtrain","title":"openbmb/MiniCPM5-2B-Midtrain","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"openbmb","name":"OpenBMB (MiniCPM)","category":"neolab"},"occurred_at":"2026-09-01T06:21:58+00:00","first_seen_at":"2026-09-08T07:20:08.657444+00:00","date_source":"source"},{"id":"083fefdc-08d3-4b26-aaa6-9b58d5be2cb4","url":"https://onlylabs.fyi/signals/083fefdc-08d3-4b26-aaa6-9b58d5be2cb4","source_url":"https://huggingface.co/openbmb/MiniCPM5-2B-SFT","title":"openbmb/MiniCPM5-2B-SFT","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"openbmb","name":"OpenBMB (MiniCPM)","category":"neolab"},"occurred_at":"2026-08-27T09:28:38+00:00","first_seen_at":"2026-09-08T07:20:08.657444+00:00","date_source":"source"}]}