{"schema_version":"onlylabs.public_signal.v1","title":"StepFun Repo: stepfun-ai/StepFun-Formalizer","description":"StepFun repo signal with public source context, captured evidence pages, related signals, and category-scoped analysis context.","url":"https://onlylabs.fyi/signals/9fae1ecf-bfbd-4f4d-b28b-ecf0bb3bfacc","json_url":"https://onlylabs.fyi/signals/9fae1ecf-bfbd-4f4d-b28b-ecf0bb3bfacc/signal.json","generated_at":"2026-06-11T03:20:32.822689+00:00","org":{"slug":"stepfun","name":"StepFun","category":"neolab","category_label":"Neolab","dossier_url":"https://onlylabs.fyi/labs/stepfun","dossier_json_url":"https://onlylabs.fyi/labs/stepfun/dossier.json"},"related_urls":{"signal":"https://onlylabs.fyi/signals/9fae1ecf-bfbd-4f4d-b28b-ecf0bb3bfacc","signal_json":"https://onlylabs.fyi/signals/9fae1ecf-bfbd-4f4d-b28b-ecf0bb3bfacc/signal.json","source":"https://github.com/stepfun-ai/StepFun-Formalizer","lab_dossier":"https://onlylabs.fyi/labs/stepfun","lab_dossier_json":"https://onlylabs.fyi/labs/stepfun/dossier.json","analysis":"https://onlylabs.fyi/analysis/stepfun","analysis_json":"https://onlylabs.fyi/analysis/stepfun/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/stepfun/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":"StepFun published stepfun-ai/StepFun-Formalizer (Python). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo stepfun-ai/StepFun-Formalizer · language Python · Low stars, routine repo. onlylabs links this event to 1 captured evidence page and 6 related repo signals.","signal_desk":"repos","source_context":{"source_url":"https://github.com/stepfun-ai/StepFun-Formalizer","source_host":"github.com","occurred_at":"2025-08-19T03:34:06+00:00","first_seen_at":"2026-06-05T20:58:53.52612+00:00","date_source":"source","context":"Python"},"context_markers":[{"label":"Lab","value":"StepFun","source":"signal"},{"label":"Signal desk","value":"repos","source":"signal"},{"label":"Source host","value":"github.com","source":"source"},{"label":"Repository","value":"stepfun-ai/StepFun-Formalizer","source":"source"},{"label":"Language","value":"Python","source":"source"},{"label":"Stars","value":"30","source":"traction"},{"label":"Notability","value":"Low stars, routine repo","source":"signal"},{"label":"Watch term","value":"Eval methodology","source":"evidence"},{"label":"Watch term","value":"Data pipeline","source":"evidence"},{"label":"Watch term","value":"Infrastructure","source":"evidence"},{"label":"Watch term","value":"Safety and alignment","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/stepfun-ai/StepFun-Formalizer"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-06-11T03:20:32.822689+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/9fae1ecf-bfbd-4f4d-b28b-ecf0bb3bfacc/signal.json","dossier_json":"https://onlylabs.fyi/labs/stepfun/dossier.json","analysis_json":"https://onlylabs.fyi/analysis/stepfun/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/stepfun/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/9fae1ecf-bfbd-4f4d-b28b-ecf0bb3bfacc/signal.json","required":true},{"label":"source","url":"https://github.com/stepfun-ai/StepFun-Formalizer","required":true},{"label":"dossier_json","url":"https://onlylabs.fyi/labs/stepfun/dossier.json","required":true},{"label":"analysis_evidence_json","url":"https://onlylabs.fyi/analysis/stepfun/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 StepFun's repo signal \"stepfun-ai/StepFun-Formalizer\" for neolab strategy."},"semantic_triples":[{"subject":"StepFun","predicate":"published repo","object":"stepfun-ai/StepFun-Formalizer","text":"StepFun published repo stepfun-ai/StepFun-Formalizer."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"is classified as","object":"repo signal","text":"stepfun-ai/StepFun-Formalizer is classified as repo signal."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"belongs to","object":"repos desk","text":"stepfun-ai/StepFun-Formalizer belongs to repos desk."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"has context","object":"Python","text":"stepfun-ai/StepFun-Formalizer has context Python."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"has evidence coverage","object":"1 captured evidence page","text":"stepfun-ai/StepFun-Formalizer has evidence coverage 1 captured evidence page."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"has captured page count","object":"1","text":"stepfun-ai/StepFun-Formalizer has captured page count 1."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"has readable page count","object":"1","text":"stepfun-ai/StepFun-Formalizer has readable page count 1."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"has related signal count","object":"6","text":"stepfun-ai/StepFun-Formalizer has related signal count 6."},{"subject":"stepfun-ai/StepFun-Formalizer","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":"stepfun-ai/StepFun-Formalizer 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":"stepfun-ai/StepFun-Formalizer","predicate":"has source host","object":"github.com","text":"stepfun-ai/StepFun-Formalizer has source host github.com."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"has lab","object":"StepFun","text":"stepfun-ai/StepFun-Formalizer has lab StepFun."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"has signal desk","object":"repos","text":"stepfun-ai/StepFun-Formalizer has signal desk repos."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"has source host","object":"github.com","text":"stepfun-ai/StepFun-Formalizer has source host github.com."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"has repository","object":"stepfun-ai/StepFun-Formalizer","text":"stepfun-ai/StepFun-Formalizer has repository stepfun-ai/StepFun-Formalizer."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"has language","object":"Python","text":"stepfun-ai/StepFun-Formalizer has language Python."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"has stars","object":"30","text":"stepfun-ai/StepFun-Formalizer has stars 30."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"has notability","object":"Low stars, routine repo","text":"stepfun-ai/StepFun-Formalizer has notability Low stars, routine repo."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"has watch term","object":"Eval methodology","text":"stepfun-ai/StepFun-Formalizer has watch term Eval methodology."}]},"intelligence":{"signal_desk":"repos","answer":"StepFun published stepfun-ai/StepFun-Formalizer (Python). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo stepfun-ai/StepFun-Formalizer · language Python · Low stars, routine repo. onlylabs links this event to 1 captured evidence page and 6 related repo signals.","semantic_triples":[{"subject":"StepFun","predicate":"published repo","object":"stepfun-ai/StepFun-Formalizer","text":"StepFun published repo stepfun-ai/StepFun-Formalizer."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"is classified as","object":"repo signal","text":"stepfun-ai/StepFun-Formalizer is classified as repo signal."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"belongs to","object":"repos desk","text":"stepfun-ai/StepFun-Formalizer belongs to repos desk."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"has context","object":"Python","text":"stepfun-ai/StepFun-Formalizer has context Python."},{"subject":"stepfun-ai/StepFun-Formalizer","predicate":"has evidence coverage","object":"1 captured evidence page","text":"stepfun-ai/StepFun-Formalizer has evidence coverage 1 captured evidence page."}]},"signal":{"id":"9fae1ecf-bfbd-4f4d-b28b-ecf0bb3bfacc","url":"https://onlylabs.fyi/signals/9fae1ecf-bfbd-4f4d-b28b-ecf0bb3bfacc","json_url":"https://onlylabs.fyi/signals/9fae1ecf-bfbd-4f4d-b28b-ecf0bb3bfacc/signal.json","source_url":"https://github.com/stepfun-ai/StepFun-Formalizer","title":"stepfun-ai/StepFun-Formalizer","summary":"StepFun 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":"stepfun","name":"StepFun","category":"neolab"},"occurred_at":"2025-08-19T03:34:06+00:00","first_seen_at":"2026-06-05T20:58:53.52612+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/stepfun-ai/StepFun-Formalizer"]},"facets":{"repo":"stepfun-ai/StepFun-Formalizer","language":"Python"},"traction":{"github_stars":30,"hn_points":null,"hn_comments":null,"hn_story_id":null,"hf_downloads":null,"hf_likes":null},"data_radar":null},"primary_evidence_page":{"url":"https://github.com/stepfun-ai/StepFun-Formalizer","final_url":"https://github.com/stepfun-ai/StepFun-Formalizer","title":"stepfun-ai/StepFun-Formalizer repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-06-11T03:20:32.822689+00:00","bytes":11655,"raw_path":"ea3564863bed05362d245575c93e69db1fed8284ef317e81a4ea4dbae2831943.json","content_hash":"0ba08ca7549524afe843a604c1196ae7f59361d80bad2d41027701a349383c9c","excerpt_chars":1200,"truncated":true,"excerpt":"stepfun-ai/StepFun-Formalizer Description: StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion Language: Python License: Apache-2.0 Stars: 30 Forks: 3 Open issues: 0 Created: 2025-08-19T03:34:06Z Pushed: 2025-08-19T03:34:42Z Default branch: master Fork: no Archived: no README: StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion <p align=\"center\"> <img src=\"assets/logo.png\" width=\"250px\"><br> </p> <div align=\"center\"> <a href=\"https://www.arxiv.org/abs/2508.04440\"><img src=\"https://img.shields.io/static/v1?label=Paper&message=Arxiv&color=red\"></a> &ensp; <a href=\"https://huggingface.co/stepfun-ai/StepFun-Formalizer-32B\"><img src=\"https://img.shields.io/static/v1?label=Model&message=HuggingFace&color=yellow\"></a> &ensp; <a href=\"https://github.com/stepfun-ai/StepFun-Formalizer\"><img src=\"https://img.shields.io/static/v1?label=Code&message=Github&color=blue\"></a> &ensp; </div> <br> Introduction We introduce StepFun-Formalizer, a family of large language models designed to translate natural-language mathematical problems into formal statements in Lean 4. Through the fusion of..."},"evidence_pages":[{"url":"https://github.com/stepfun-ai/StepFun-Formalizer","final_url":"https://github.com/stepfun-ai/StepFun-Formalizer","title":"stepfun-ai/StepFun-Formalizer repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-06-11T03:20:32.822689+00:00","bytes":11655,"raw_path":"ea3564863bed05362d245575c93e69db1fed8284ef317e81a4ea4dbae2831943.json","content_hash":"0ba08ca7549524afe843a604c1196ae7f59361d80bad2d41027701a349383c9c","excerpt_chars":1200,"truncated":true,"excerpt":"stepfun-ai/StepFun-Formalizer Description: StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion Language: Python License: Apache-2.0 Stars: 30 Forks: 3 Open issues: 0 Created: 2025-08-19T03:34:06Z Pushed: 2025-08-19T03:34:42Z Default branch: master Fork: no Archived: no README: StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion <p align=\"center\"> <img src=\"assets/logo.png\" width=\"250px\"><br> </p> <div align=\"center\"> <a href=\"https://www.arxiv.org/abs/2508.04440\"><img src=\"https://img.shields.io/static/v1?label=Paper&message=Arxiv&color=red\"></a> &ensp; <a href=\"https://huggingface.co/stepfun-ai/StepFun-Formalizer-32B\"><img src=\"https://img.shields.io/static/v1?label=Model&message=HuggingFace&color=yellow\"></a> &ensp; <a href=\"https://github.com/stepfun-ai/StepFun-Formalizer\"><img src=\"https://img.shields.io/static/v1?label=Code&message=Github&color=blue\"></a> &ensp; </div> <br> Introduction We introduce StepFun-Formalizer, a family of large language models designed to translate natural-language mathematical problems into formal statements in Lean 4. Through the fusion of..."}],"related_signals":[{"id":"90ab2903-1de5-475c-a9f0-3fc16ca5bbf4","url":"https://onlylabs.fyi/signals/90ab2903-1de5-475c-a9f0-3fc16ca5bbf4","source_url":"https://github.com/stepfun-ai/Step-Realtime-CLI","title":"stepfun-ai/Step-Realtime-CLI","context":"TypeScript","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"stepfun","name":"StepFun","category":"neolab"},"occurred_at":"2026-06-01T06:00:45+00:00","first_seen_at":"2026-06-11T07:01:17.12185+00:00","date_source":"source"},{"id":"a6e66305-4aef-4f71-88bb-ae062e216220","url":"https://onlylabs.fyi/signals/a6e66305-4aef-4f71-88bb-ae062e216220","source_url":"https://github.com/stepfun-ai/Step-3.7-Flash","title":"stepfun-ai/Step-3.7-Flash","context":null,"kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"stepfun","name":"StepFun","category":"neolab"},"occurred_at":"2026-05-27T09:06:25+00:00","first_seen_at":"2026-06-05T20:58:53.52612+00:00","date_source":"source"},{"id":"b9789e37-6115-4fc1-aec9-68b73e2d2186","url":"https://onlylabs.fyi/signals/b9789e37-6115-4fc1-aec9-68b73e2d2186","source_url":"https://github.com/stepfun-ai/StepAudio-Skills","title":"stepfun-ai/StepAudio-Skills","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"stepfun","name":"StepFun","category":"neolab"},"occurred_at":"2026-03-09T12:48:01+00:00","first_seen_at":"2026-06-05T20:58:53.52612+00:00","date_source":"source"},{"id":"34766301-c7b4-4b29-a48f-7449c66ed4f5","url":"https://onlylabs.fyi/signals/34766301-c7b4-4b29-a48f-7449c66ed4f5","source_url":"https://github.com/stepfun-ai/GEBench","title":"stepfun-ai/GEBench","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"stepfun","name":"StepFun","category":"neolab"},"occurred_at":"2026-02-09T13:18:49+00:00","first_seen_at":"2026-06-05T20:58:53.52612+00:00","date_source":"source"},{"id":"b9c56539-05ed-4369-80f6-d40034c03d00","url":"https://onlylabs.fyi/signals/b9c56539-05ed-4369-80f6-d40034c03d00","source_url":"https://github.com/stepfun-ai/Step-3.5-Flash","title":"stepfun-ai/Step-3.5-Flash","context":"C++","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"stepfun","name":"StepFun","category":"neolab"},"occurred_at":"2026-01-31T02:57:03+00:00","first_seen_at":"2026-06-05T20:58:53.52612+00:00","date_source":"source"},{"id":"d57b4ea8-177f-4362-b4a3-18a1f1e3f575","url":"https://onlylabs.fyi/signals/d57b4ea8-177f-4362-b4a3-18a1f1e3f575","source_url":"https://github.com/stepfun-ai/Step3-VL-10B","title":"stepfun-ai/Step3-VL-10B","context":null,"kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"stepfun","name":"StepFun","category":"neolab"},"occurred_at":"2026-01-13T09:13:12+00:00","first_seen_at":"2026-06-05T20:58:53.52612+00:00","date_source":"source"}]}