{"schema_version":"onlylabs.public_signal.v1","title":"StepFun Model: stepfun-ai/StepFun-Formalizer-32B","description":"StepFun model signal with public source context, captured evidence pages, related signals, and category-scoped analysis context.","url":"https://onlylabs.fyi/signals/cd1a3a1b-00f6-42e9-ac41-bef8788bae91","json_url":"https://onlylabs.fyi/signals/cd1a3a1b-00f6-42e9-ac41-bef8788bae91/signal.json","generated_at":"2026-06-11T02:50:37.161037+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/cd1a3a1b-00f6-42e9-ac41-bef8788bae91","signal_json":"https://onlylabs.fyi/signals/cd1a3a1b-00f6-42e9-ac41-bef8788bae91/signal.json","source":"https://huggingface.co/stepfun-ai/StepFun-Formalizer-32B","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":"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":"StepFun published stepfun-ai/StepFun-Formalizer-32B. This model signal is evidence of what shipped on model infrastructure and how the release is positioned. High-signal details: license apache-2.0 · 682 HF downloads · Low downloads (781) indicate modest interest. onlylabs links this event to 1 captured evidence page and 6 related model signals.","signal_desk":"releases","source_context":{"source_url":"https://huggingface.co/stepfun-ai/StepFun-Formalizer-32B","source_host":"huggingface.co","occurred_at":"2025-08-19T02:59:21+00:00","first_seen_at":"2026-06-06T01:49:42.562564+00:00","date_source":"source","context":null},"context_markers":[{"label":"Lab","value":"StepFun","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":"32.8B","source":"model"},{"label":"Downloads","value":"682","source":"traction"},{"label":"Likes","value":"10","source":"traction"},{"label":"Notability","value":"Low downloads (781) indicate modest interest","source":"signal"},{"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/stepfun-ai/StepFun-Formalizer-32B/raw/main/README.md"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-06-11T02:50:37.161037+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/cd1a3a1b-00f6-42e9-ac41-bef8788bae91/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":"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/cd1a3a1b-00f6-42e9-ac41-bef8788bae91/signal.json","required":true},{"label":"source","url":"https://huggingface.co/stepfun-ai/StepFun-Formalizer-32B","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":"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 StepFun's model signal \"stepfun-ai/StepFun-Formalizer-32B\" for neolab strategy."},"semantic_triples":[{"subject":"StepFun","predicate":"published model","object":"stepfun-ai/StepFun-Formalizer-32B","text":"StepFun published model stepfun-ai/StepFun-Formalizer-32B."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"is classified as","object":"model signal","text":"stepfun-ai/StepFun-Formalizer-32B is classified as model signal."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"belongs to","object":"releases desk","text":"stepfun-ai/StepFun-Formalizer-32B belongs to releases desk."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"has evidence coverage","object":"1 captured evidence page","text":"stepfun-ai/StepFun-Formalizer-32B has evidence coverage 1 captured evidence page."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"has captured page count","object":"1","text":"stepfun-ai/StepFun-Formalizer-32B has captured page count 1."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"has readable page count","object":"1","text":"stepfun-ai/StepFun-Formalizer-32B has readable page count 1."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"has related signal count","object":"6","text":"stepfun-ai/StepFun-Formalizer-32B has related signal count 6."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","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":"stepfun-ai/StepFun-Formalizer-32B has analysis playbook objective Turn model cards, repository releases, and launch artifacts into a current view of what shipped and what changed.."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"has source host","object":"huggingface.co","text":"stepfun-ai/StepFun-Formalizer-32B has source host huggingface.co."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"has lab","object":"StepFun","text":"stepfun-ai/StepFun-Formalizer-32B has lab StepFun."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"has signal desk","object":"releases","text":"stepfun-ai/StepFun-Formalizer-32B has signal desk releases."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"has source host","object":"huggingface.co","text":"stepfun-ai/StepFun-Formalizer-32B has source host huggingface.co."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"has task","object":"text-generation","text":"stepfun-ai/StepFun-Formalizer-32B has task text-generation."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"has license","object":"apache-2.0","text":"stepfun-ai/StepFun-Formalizer-32B has license apache-2.0."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"has library","object":"transformers","text":"stepfun-ai/StepFun-Formalizer-32B has library transformers."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"has params","object":"32.8B","text":"stepfun-ai/StepFun-Formalizer-32B has params 32.8B."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"has downloads","object":"682","text":"stepfun-ai/StepFun-Formalizer-32B has downloads 682."}]},"intelligence":{"signal_desk":"releases","answer":"StepFun published stepfun-ai/StepFun-Formalizer-32B. This model signal is evidence of what shipped on model infrastructure and how the release is positioned. High-signal details: license apache-2.0 · 682 HF downloads · Low downloads (781) indicate modest interest. onlylabs links this event to 1 captured evidence page and 6 related model signals.","semantic_triples":[{"subject":"StepFun","predicate":"published model","object":"stepfun-ai/StepFun-Formalizer-32B","text":"StepFun published model stepfun-ai/StepFun-Formalizer-32B."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"is classified as","object":"model signal","text":"stepfun-ai/StepFun-Formalizer-32B is classified as model signal."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"belongs to","object":"releases desk","text":"stepfun-ai/StepFun-Formalizer-32B belongs to releases desk."},{"subject":"stepfun-ai/StepFun-Formalizer-32B","predicate":"has evidence coverage","object":"1 captured evidence page","text":"stepfun-ai/StepFun-Formalizer-32B has evidence coverage 1 captured evidence page."}]},"signal":{"id":"cd1a3a1b-00f6-42e9-ac41-bef8788bae91","url":"https://onlylabs.fyi/signals/cd1a3a1b-00f6-42e9-ac41-bef8788bae91","json_url":"https://onlylabs.fyi/signals/cd1a3a1b-00f6-42e9-ac41-bef8788bae91/signal.json","source_url":"https://huggingface.co/stepfun-ai/StepFun-Formalizer-32B","title":"stepfun-ai/StepFun-Formalizer-32B","summary":"StepFun published a model signal. onlylabs watches model cards, launch context, and traction.","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"stepfun","name":"StepFun","category":"neolab"},"occurred_at":"2025-08-19T02:59:21+00:00","first_seen_at":"2026-06-06T01:49:42.562564+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/stepfun-ai/StepFun-Formalizer-32B/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":682,"hf_likes":10},"data_radar":null},"primary_evidence_page":{"url":"https://huggingface.co/stepfun-ai/StepFun-Formalizer-32B/raw/main/README.md","final_url":"https://huggingface.co/stepfun-ai/StepFun-Formalizer-32B/raw/main/README.md","title":"stepfun-ai/StepFun-Formalizer-32B model card","http_status":200,"content_type":"text/plain; charset=utf-8","capture_method":"plain","fetched_at":"2026-06-11T02:50:37.161037+00:00","bytes":4407,"raw_path":"c27ad6415e12f71e8bf1292ade57189abf18059a0b17fe7a732a70b14fe1d930.md","content_hash":"d55c5e057b699cfe44912c32162fe67cdb60a32e6ef9d469b766b9d2bc1f15e8","excerpt_chars":1200,"truncated":true,"excerpt":"--- language: - en base_model: deepseek-ai/DeepSeek-R1-Distill-Qwen-32B tags: - chat library_name: transformers license: apache-2.0 datasets: - stepfun-ai/StepFun-Formalizer-Training --- <p align=\"center\"> <img src=\"assets/logo.png\" width=\"250px\"><br> </p> StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion <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-7B\"><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 formal knowledge and informal-to-formal reasoning capability, StepFun-Formalizer achieves strong performance on autoformalization tasks. Evaluated..."},"evidence_pages":[{"url":"https://huggingface.co/stepfun-ai/StepFun-Formalizer-32B/raw/main/README.md","final_url":"https://huggingface.co/stepfun-ai/StepFun-Formalizer-32B/raw/main/README.md","title":"stepfun-ai/StepFun-Formalizer-32B model card","http_status":200,"content_type":"text/plain; charset=utf-8","capture_method":"plain","fetched_at":"2026-06-11T02:50:37.161037+00:00","bytes":4407,"raw_path":"c27ad6415e12f71e8bf1292ade57189abf18059a0b17fe7a732a70b14fe1d930.md","content_hash":"d55c5e057b699cfe44912c32162fe67cdb60a32e6ef9d469b766b9d2bc1f15e8","excerpt_chars":1200,"truncated":true,"excerpt":"--- language: - en base_model: deepseek-ai/DeepSeek-R1-Distill-Qwen-32B tags: - chat library_name: transformers license: apache-2.0 datasets: - stepfun-ai/StepFun-Formalizer-Training --- <p align=\"center\"> <img src=\"assets/logo.png\" width=\"250px\"><br> </p> StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion <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-7B\"><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 formal knowledge and informal-to-formal reasoning capability, StepFun-Formalizer achieves strong performance on autoformalization tasks. Evaluated..."}],"related_signals":[{"id":"75371011-2872-44b9-bf60-c41fb2e2f0fb","url":"https://onlylabs.fyi/signals/75371011-2872-44b9-bf60-c41fb2e2f0fb","source_url":"https://huggingface.co/stepfun-ai/Step-3.7-Flash","title":"stepfun-ai/Step-3.7-Flash","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"stepfun","name":"StepFun","category":"neolab"},"occurred_at":"2026-05-23T02:13:46+00:00","first_seen_at":"2026-06-06T01:49:42.562564+00:00","date_source":"source"},{"id":"1a84a279-2a4f-4253-80c9-4f07acd82b3f","url":"https://onlylabs.fyi/signals/1a84a279-2a4f-4253-80c9-4f07acd82b3f","source_url":"https://huggingface.co/stepfun-ai/Step-3.5-Flash-Base","title":"stepfun-ai/Step-3.5-Flash-Base","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"stepfun","name":"StepFun","category":"neolab"},"occurred_at":"2026-03-02T16:17:50+00:00","first_seen_at":"2026-06-06T01:49:42.562564+00:00","date_source":"source"},{"id":"65659b12-3d4e-4cb7-96f5-783dc1bc2372","url":"https://onlylabs.fyi/signals/65659b12-3d4e-4cb7-96f5-783dc1bc2372","source_url":"https://huggingface.co/stepfun-ai/Step-3.5-Flash-Base-Midtrain","title":"stepfun-ai/Step-3.5-Flash-Base-Midtrain","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"stepfun","name":"StepFun","category":"neolab"},"occurred_at":"2026-03-02T09:49:21+00:00","first_seen_at":"2026-06-06T01:49:42.562564+00:00","date_source":"source"},{"id":"59a33bc4-341e-4c3e-8230-749ae55f0530","url":"https://onlylabs.fyi/signals/59a33bc4-341e-4c3e-8230-749ae55f0530","source_url":"https://huggingface.co/stepfun-ai/NextStep-1.1-Pretrain-256px","title":"stepfun-ai/NextStep-1.1-Pretrain-256px","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"stepfun","name":"StepFun","category":"neolab"},"occurred_at":"2026-02-16T06:26:39+00:00","first_seen_at":"2026-06-06T01:49:42.562564+00:00","date_source":"source"},{"id":"8d249566-8324-459c-a4ba-999588e66894","url":"https://onlylabs.fyi/signals/8d249566-8324-459c-a4ba-999588e66894","source_url":"https://huggingface.co/stepfun-ai/Step3-VL-10B-FP8","title":"stepfun-ai/Step3-VL-10B-FP8","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"stepfun","name":"StepFun","category":"neolab"},"occurred_at":"2026-02-02T06:58:16+00:00","first_seen_at":"2026-06-06T01:49:42.562564+00:00","date_source":"source"},{"id":"8dfff472-9670-4ad2-b0b3-3e52cad3178f","url":"https://onlylabs.fyi/signals/8dfff472-9670-4ad2-b0b3-3e52cad3178f","source_url":"https://huggingface.co/stepfun-ai/Step-3.5-Flash","title":"stepfun-ai/Step-3.5-Flash","context":null,"kind":{"key":"model_released","label":"Model"},"org":{"slug":"stepfun","name":"StepFun","category":"neolab"},"occurred_at":"2026-02-01T08:03:45+00:00","first_seen_at":"2026-06-06T01:49:42.562564+00:00","date_source":"source"}]}