{"schema_version":"onlylabs.public_signal.v1","title":"OpenBMB (MiniCPM) Repo: OpenBMB/MathForm","description":"OpenBMB (MiniCPM) repo signal with public source context, captured evidence pages, related signals, and category-scoped analysis context.","url":"https://onlylabs.fyi/signals/3616e7dd-501b-4a37-8402-ae6403dd0814","json_url":"https://onlylabs.fyi/signals/3616e7dd-501b-4a37-8402-ae6403dd0814/signal.json","generated_at":"2026-08-28T17:32:33.671Z","evidence_latest_fetched_at":"2026-08-17T07:02:22.144637+00:00","signal_first_seen_at":"2026-08-17T07:00:47.019426+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/3616e7dd-501b-4a37-8402-ae6403dd0814","signal_json":"https://onlylabs.fyi/signals/3616e7dd-501b-4a37-8402-ae6403dd0814/signal.json","source":"https://github.com/OpenBMB/MathForm","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":null,"topic_signals_json":null,"topic_feed":null,"data_business":null},"answer_pack":{"answer":"OpenBMB (MiniCPM) published OpenBMB/MathForm (Python). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo OpenBMB/MathForm · language Python · New repo, minimal traction (1 star). onlylabs links this event to 1 captured evidence page and 6 related repo signals.","signal_desk":"repos","source_context":{"source_url":"https://github.com/OpenBMB/MathForm","source_host":"github.com","occurred_at":"2026-08-14T02:58:25+00:00","first_seen_at":"2026-08-17T07:00:47.019426+00:00","date_source":"source","context":"Python"},"context_markers":[{"label":"Lab","value":"OpenBMB (MiniCPM)","source":"signal"},{"label":"Signal desk","value":"repos","source":"signal"},{"label":"Source host","value":"github.com","source":"source"},{"label":"Repository","value":"OpenBMB/MathForm","source":"source"},{"label":"Language","value":"Python","source":"source"},{"label":"Stars","value":"14","source":"traction"},{"label":"Notability","value":"New repo, minimal traction (1 star)","source":"signal"},{"label":"Watch term","value":"RL environments","source":"evidence"},{"label":"Watch term","value":"Eval methodology","source":"evidence"},{"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://github.com/OpenBMB/MathForm"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-08-17T07:02:22.144637+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/3616e7dd-501b-4a37-8402-ae6403dd0814/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":null,"topic_feed":null,"category_signals_json":"https://onlylabs.fyi/signals.json?category=neolab","data_radar_json":null,"opportunities_json":null},"analysis_playbook":{"objective":"Turn new repository signals into early evidence of tooling, eval, infrastructure, model-adjacent, or product work before it appears in polished launch channels.","evidence_focus":["repo name","owner","description","language","stars","source URL","first seen time","data, eval, infra, safety, and product terms"],"extraction_questions":["What technical area does this repository expose?","Does the repo imply eval, data, infrastructure, agent, or deployment work?","Is the repo new evidence for a lab direction that is not yet in writing or releases?","Which related signals should an analyst inspect next?"],"signal_questions":["What does this new repository reveal before a formal announcement exists?","What technical area does this repository expose?","Does the repo imply eval, data, infrastructure, agent, or deployment work?","Do the 6 related repo signals show a repeated pattern?"],"output_fields":["org","repo","technical_theme","evidence_url"],"data_business_relevance":"Data-business lane extraction is scoped to frontier labs; for this category, interpret the repository as source-grounded category strategy evidence.","required_sources":[{"label":"signal_json","url":"https://onlylabs.fyi/signals/3616e7dd-501b-4a37-8402-ae6403dd0814/signal.json","required":true},{"label":"source","url":"https://github.com/OpenBMB/MathForm","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":null,"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 repo signal \"OpenBMB/MathForm\" for neolab strategy."},"semantic_triples":[{"subject":"OpenBMB (MiniCPM)","predicate":"published repo","object":"OpenBMB/MathForm","text":"OpenBMB (MiniCPM) published repo OpenBMB/MathForm."},{"subject":"OpenBMB/MathForm","predicate":"is classified as","object":"repo signal","text":"OpenBMB/MathForm is classified as repo signal."},{"subject":"OpenBMB/MathForm","predicate":"belongs to","object":"repos desk","text":"OpenBMB/MathForm belongs to repos desk."},{"subject":"OpenBMB/MathForm","predicate":"has context","object":"Python","text":"OpenBMB/MathForm has context Python."},{"subject":"OpenBMB/MathForm","predicate":"has evidence coverage","object":"1 captured evidence page","text":"OpenBMB/MathForm has evidence coverage 1 captured evidence page."},{"subject":"OpenBMB/MathForm","predicate":"has captured page count","object":"1","text":"OpenBMB/MathForm has captured page count 1."},{"subject":"OpenBMB/MathForm","predicate":"has readable page count","object":"1","text":"OpenBMB/MathForm has readable page count 1."},{"subject":"OpenBMB/MathForm","predicate":"has related signal count","object":"6","text":"OpenBMB/MathForm has related signal count 6."},{"subject":"OpenBMB/MathForm","predicate":"has analysis playbook objective","object":"Turn new repository signals into early evidence of tooling, eval, infrastructure, model-adjacent, or product work before it appears in polished launch channels.","text":"OpenBMB/MathForm has analysis playbook objective Turn new repository signals into early evidence of tooling, eval, infrastructure, model-adjacent, or product work before it appears in polished launch channels.."},{"subject":"OpenBMB/MathForm","predicate":"has source host","object":"github.com","text":"OpenBMB/MathForm has source host github.com."},{"subject":"OpenBMB/MathForm","predicate":"has lab","object":"OpenBMB (MiniCPM)","text":"OpenBMB/MathForm has lab OpenBMB (MiniCPM)."},{"subject":"OpenBMB/MathForm","predicate":"has signal desk","object":"repos","text":"OpenBMB/MathForm has signal desk repos."},{"subject":"OpenBMB/MathForm","predicate":"has source host","object":"github.com","text":"OpenBMB/MathForm has source host github.com."},{"subject":"OpenBMB/MathForm","predicate":"has repository","object":"OpenBMB/MathForm","text":"OpenBMB/MathForm has repository OpenBMB/MathForm."},{"subject":"OpenBMB/MathForm","predicate":"has language","object":"Python","text":"OpenBMB/MathForm has language Python."},{"subject":"OpenBMB/MathForm","predicate":"has stars","object":"14","text":"OpenBMB/MathForm has stars 14."},{"subject":"OpenBMB/MathForm","predicate":"has notability","object":"New repo, minimal traction (1 star)","text":"OpenBMB/MathForm has notability New repo, minimal traction (1 star)."},{"subject":"OpenBMB/MathForm","predicate":"has watch term","object":"RL environments","text":"OpenBMB/MathForm has watch term RL environments."}]},"intelligence":{"signal_desk":"repos","answer":"OpenBMB (MiniCPM) published OpenBMB/MathForm (Python). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo OpenBMB/MathForm · language Python · New repo, minimal traction (1 star). onlylabs links this event to 1 captured evidence page and 6 related repo signals.","semantic_triples":[{"subject":"OpenBMB (MiniCPM)","predicate":"published repo","object":"OpenBMB/MathForm","text":"OpenBMB (MiniCPM) published repo OpenBMB/MathForm."},{"subject":"OpenBMB/MathForm","predicate":"is classified as","object":"repo signal","text":"OpenBMB/MathForm is classified as repo signal."},{"subject":"OpenBMB/MathForm","predicate":"belongs to","object":"repos desk","text":"OpenBMB/MathForm belongs to repos desk."},{"subject":"OpenBMB/MathForm","predicate":"has context","object":"Python","text":"OpenBMB/MathForm has context Python."},{"subject":"OpenBMB/MathForm","predicate":"has evidence coverage","object":"1 captured evidence page","text":"OpenBMB/MathForm has evidence coverage 1 captured evidence page."}]},"signal":{"id":"3616e7dd-501b-4a37-8402-ae6403dd0814","url":"https://onlylabs.fyi/signals/3616e7dd-501b-4a37-8402-ae6403dd0814","json_url":"https://onlylabs.fyi/signals/3616e7dd-501b-4a37-8402-ae6403dd0814/signal.json","source_url":"https://github.com/OpenBMB/MathForm","title":"OpenBMB/MathForm","summary":"OpenBMB (MiniCPM) published a new repository. onlylabs watches repos for tooling, eval, infra, and model-adjacent work.","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openbmb","name":"OpenBMB (MiniCPM)","category":"neolab"},"occurred_at":"2026-08-14T02:58:25+00:00","first_seen_at":"2026-08-17T07:00:47.019426+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://github.com/OpenBMB/MathForm"]},"facets":{"repo":"OpenBMB/MathForm","language":"Python"},"traction":{"github_stars":14,"hn_points":null,"hn_comments":null,"hn_story_id":null,"hf_downloads":null,"hf_likes":null},"data_radar":null},"primary_evidence_page":{"is_primary":true,"source_match":true,"url":"https://github.com/OpenBMB/MathForm","final_url":"https://github.com/OpenBMB/MathForm","title":"OpenBMB/MathForm repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-08-17T07:02:22.144637+00:00","bytes":14611,"raw_path":"415dc2fa3d298f8aac7af37cd4ae2bf57b596909913d7d69c75892a94aaa146e.json","content_hash":"1bac2ee9976b84f63e187da8ea6b6a6e34713a4c140c4d8718c3b2ad3fbb1499","excerpt_chars":1200,"truncated":true,"excerpt":"OpenBMB/MathForm Language: Python License: Apache-2.0 Stars: 1 Forks: 0 Open issues: 0 Created: 2026-08-14T02:58:25Z Pushed: 2026-08-17T05:28:16Z Default branch: main Fork: no Archived: no README: 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. 📖 Introduction We introduce **MathForm**, an autoformalization framework that combines knowledge retrieval from Mathlib with verification-guided iterative refinement. MathForm retrieves relevant definitions and existing formalizations before generation, then uses compiler diagnostics and semantic-consistency feedback to refine generated Lean statements. Using this framework, we construct [**FormalVerse**](https://huggingface.co/datasets/openbmb/FormalVerse), a verified Lean 4 dataset covering diverse mathematical domains and sources. We also train [**MathForm-8B**](https://huggingface.co/openbmb/MathForm-8B) with supervised fine-tuning followed by reinforcement learning using Lean compilation and..."},"evidence_pages":[],"related_signals":[{"id":"3dcc156e-3f8c-4a81-8eb6-4e716e32bff1","url":"https://onlylabs.fyi/signals/3dcc156e-3f8c-4a81-8eb6-4e716e32bff1","source_url":"https://github.com/OpenBMB/SimpleNav","title":"OpenBMB/SimpleNav","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openbmb","name":"OpenBMB (MiniCPM)","category":"neolab"},"occurred_at":"2026-08-27T02:52:20+00:00","first_seen_at":"2026-08-28T07:00:43.375769+00:00","date_source":"source"},{"id":"891fe970-84c2-436c-9185-c163b106d185","url":"https://onlylabs.fyi/signals/891fe970-84c2-436c-9185-c163b106d185","source_url":"https://github.com/OpenBMB/ForgeStencil","title":"OpenBMB/ForgeStencil","context":"Cuda","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openbmb","name":"OpenBMB (MiniCPM)","category":"neolab"},"occurred_at":"2026-08-03T16:22:27+00:00","first_seen_at":"2026-08-04T07:00:44.69016+00:00","date_source":"source"},{"id":"8070c75c-743b-4f3f-ac89-90d7ff10bd6b","url":"https://onlylabs.fyi/signals/8070c75c-743b-4f3f-ac89-90d7ff10bd6b","source_url":"https://github.com/OpenBMB/MiniCPM-Robot","title":"OpenBMB/MiniCPM-Robot","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openbmb","name":"OpenBMB (MiniCPM)","category":"neolab"},"occurred_at":"2026-07-18T19:35:23+00:00","first_seen_at":"2026-07-19T07:00:43.508063+00:00","date_source":"source"},{"id":"db26ee44-62f8-4000-8e57-5491c9fb315c","url":"https://onlylabs.fyi/signals/db26ee44-62f8-4000-8e57-5491c9fb315c","source_url":"https://github.com/OpenBMB/StaffDeck","title":"OpenBMB/StaffDeck","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openbmb","name":"OpenBMB (MiniCPM)","category":"neolab"},"occurred_at":"2026-07-13T03:31:47+00:00","first_seen_at":"2026-07-16T07:01:34.560641+00:00","date_source":"source"},{"id":"8436400b-ce06-41e6-81dc-ff77f25e46ac","url":"https://onlylabs.fyi/signals/8436400b-ce06-41e6-81dc-ff77f25e46ac","source_url":"https://github.com/OpenBMB/SHIFT","title":"OpenBMB/SHIFT","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openbmb","name":"OpenBMB (MiniCPM)","category":"neolab"},"occurred_at":"2026-06-20T04:39:19+00:00","first_seen_at":"2026-06-23T07:00:39.391996+00:00","date_source":"source"},{"id":"5f144222-cb1d-48a1-b11d-1d824580104f","url":"https://onlylabs.fyi/signals/5f144222-cb1d-48a1-b11d-1d824580104f","source_url":"https://github.com/OpenBMB/MA-ProofBench","title":"OpenBMB/MA-ProofBench","context":"Lean","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openbmb","name":"OpenBMB (MiniCPM)","category":"neolab"},"occurred_at":"2026-06-10T09:48:54+00:00","first_seen_at":"2026-06-15T07:00:40.049849+00:00","date_source":"source"}]}