{"schema_version":"onlylabs.public_signal.v1","title":"StepFun Model: stepfun-ai/StepFun-Prover-Preview-32B","description":"StepFun model signal with public source context, captured evidence pages, related signals, and category-scoped analysis context.","url":"https://onlylabs.fyi/signals/2dca6d3c-dab8-4873-a520-529db3600124","json_url":"https://onlylabs.fyi/signals/2dca6d3c-dab8-4873-a520-529db3600124/signal.json","generated_at":"2026-06-11T02:50:37.60494+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/2dca6d3c-dab8-4873-a520-529db3600124","signal_json":"https://onlylabs.fyi/signals/2dca6d3c-dab8-4873-a520-529db3600124/signal.json","source":"https://huggingface.co/stepfun-ai/StepFun-Prover-Preview-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-Prover-Preview-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 · 60 HF downloads · Low traction, routine new model. 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-Prover-Preview-32B","source_host":"huggingface.co","occurred_at":"2025-08-13T08:26:04+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":"60","source":"traction"},{"label":"Likes","value":"11","source":"traction"},{"label":"Notability","value":"Low traction, routine new model","source":"signal"},{"label":"Watch term","value":"Model card","source":"model"},{"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-Prover-Preview-32B/raw/main/README.md"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-06-11T02:50:37.60494+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/2dca6d3c-dab8-4873-a520-529db3600124/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/2dca6d3c-dab8-4873-a520-529db3600124/signal.json","required":true},{"label":"source","url":"https://huggingface.co/stepfun-ai/StepFun-Prover-Preview-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-Prover-Preview-32B\" for neolab strategy."},"semantic_triples":[{"subject":"StepFun","predicate":"published model","object":"stepfun-ai/StepFun-Prover-Preview-32B","text":"StepFun published model stepfun-ai/StepFun-Prover-Preview-32B."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"is classified as","object":"model signal","text":"stepfun-ai/StepFun-Prover-Preview-32B is classified as model signal."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"belongs to","object":"releases desk","text":"stepfun-ai/StepFun-Prover-Preview-32B belongs to releases desk."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"has evidence coverage","object":"1 captured evidence page","text":"stepfun-ai/StepFun-Prover-Preview-32B has evidence coverage 1 captured evidence page."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"has captured page count","object":"1","text":"stepfun-ai/StepFun-Prover-Preview-32B has captured page count 1."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"has readable page count","object":"1","text":"stepfun-ai/StepFun-Prover-Preview-32B has readable page count 1."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"has related signal count","object":"6","text":"stepfun-ai/StepFun-Prover-Preview-32B has related signal count 6."},{"subject":"stepfun-ai/StepFun-Prover-Preview-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-Prover-Preview-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-Prover-Preview-32B","predicate":"has source host","object":"huggingface.co","text":"stepfun-ai/StepFun-Prover-Preview-32B has source host huggingface.co."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"has lab","object":"StepFun","text":"stepfun-ai/StepFun-Prover-Preview-32B has lab StepFun."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"has signal desk","object":"releases","text":"stepfun-ai/StepFun-Prover-Preview-32B has signal desk releases."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"has source host","object":"huggingface.co","text":"stepfun-ai/StepFun-Prover-Preview-32B has source host huggingface.co."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"has task","object":"text-generation","text":"stepfun-ai/StepFun-Prover-Preview-32B has task text-generation."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"has license","object":"apache-2.0","text":"stepfun-ai/StepFun-Prover-Preview-32B has license apache-2.0."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"has library","object":"transformers","text":"stepfun-ai/StepFun-Prover-Preview-32B has library transformers."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"has params","object":"32.8B","text":"stepfun-ai/StepFun-Prover-Preview-32B has params 32.8B."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"has downloads","object":"60","text":"stepfun-ai/StepFun-Prover-Preview-32B has downloads 60."}]},"intelligence":{"signal_desk":"releases","answer":"StepFun published stepfun-ai/StepFun-Prover-Preview-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 · 60 HF downloads · Low traction, routine new model. 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-Prover-Preview-32B","text":"StepFun published model stepfun-ai/StepFun-Prover-Preview-32B."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"is classified as","object":"model signal","text":"stepfun-ai/StepFun-Prover-Preview-32B is classified as model signal."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"belongs to","object":"releases desk","text":"stepfun-ai/StepFun-Prover-Preview-32B belongs to releases desk."},{"subject":"stepfun-ai/StepFun-Prover-Preview-32B","predicate":"has evidence coverage","object":"1 captured evidence page","text":"stepfun-ai/StepFun-Prover-Preview-32B has evidence coverage 1 captured evidence page."}]},"signal":{"id":"2dca6d3c-dab8-4873-a520-529db3600124","url":"https://onlylabs.fyi/signals/2dca6d3c-dab8-4873-a520-529db3600124","json_url":"https://onlylabs.fyi/signals/2dca6d3c-dab8-4873-a520-529db3600124/signal.json","source_url":"https://huggingface.co/stepfun-ai/StepFun-Prover-Preview-32B","title":"stepfun-ai/StepFun-Prover-Preview-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-13T08:26:04+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-Prover-Preview-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":60,"hf_likes":11},"data_radar":null},"primary_evidence_page":{"url":"https://huggingface.co/stepfun-ai/StepFun-Prover-Preview-32B/raw/main/README.md","final_url":"https://huggingface.co/stepfun-ai/StepFun-Prover-Preview-32B/raw/main/README.md","title":"stepfun-ai/StepFun-Prover-Preview-32B model card","http_status":200,"content_type":"text/plain; charset=utf-8","capture_method":"plain","fetched_at":"2026-06-11T02:50:37.60494+00:00","bytes":1997,"raw_path":"c1e9487e1c4853032c70ac2302af83519f1b2f9927c94686224974f2bfd77712.md","content_hash":"529047e5343113ed255d0ed06383ee640bc1f1ae04941e99aa9ca1c972a437ed","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 --- StepFun-Prover-Preview-32B **StepFun-Prover-Preview-32B** is a theorem proving model developed by StepFun Team. It can iteratively refine the proof sketch via interacting with Lean4, and achieve 70.0% accuracy with Pass@1 on MiniF2F-test. Advanced usage examples can be seen in [github](https://github.com/stepfun-ai/StepFun-Prover-Preview). Quick Start with vLLM ```python from vllm import LLM, SamplingParams from transformers import AutoTokenizer model_name = \"Stepfun/Stepfun-Prover-Preview-32B\" model = LLM( model=model_name, tensor_parallel_size=8, ) tokenizer = AutoTokenizer.from_pretrained(model_name, trust_remote_code=True) formal_problem = \"\"\" import Mathlib theorem test_theorem (x y z : ℝ) (hx : 0 < x) (hy : 0 < y) (hz : 0 < z) : (x^2 - z^2) / (y + z) + (y^2 - x^2) / (z + x) + (z^2 - y^2) / (x + y) ≥ 0 := by \"\"\".strip() system_prompt = \"You will be given an unsolved Lean 4 problem. Think carefully and work towards a solution. At any point, you may use the Lean 4 REPL to check your progress by enclosing your partial solution between <sketch>..."},"evidence_pages":[{"url":"https://huggingface.co/stepfun-ai/StepFun-Prover-Preview-32B/raw/main/README.md","final_url":"https://huggingface.co/stepfun-ai/StepFun-Prover-Preview-32B/raw/main/README.md","title":"stepfun-ai/StepFun-Prover-Preview-32B model card","http_status":200,"content_type":"text/plain; charset=utf-8","capture_method":"plain","fetched_at":"2026-06-11T02:50:37.60494+00:00","bytes":1997,"raw_path":"c1e9487e1c4853032c70ac2302af83519f1b2f9927c94686224974f2bfd77712.md","content_hash":"529047e5343113ed255d0ed06383ee640bc1f1ae04941e99aa9ca1c972a437ed","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 --- StepFun-Prover-Preview-32B **StepFun-Prover-Preview-32B** is a theorem proving model developed by StepFun Team. It can iteratively refine the proof sketch via interacting with Lean4, and achieve 70.0% accuracy with Pass@1 on MiniF2F-test. Advanced usage examples can be seen in [github](https://github.com/stepfun-ai/StepFun-Prover-Preview). Quick Start with vLLM ```python from vllm import LLM, SamplingParams from transformers import AutoTokenizer model_name = \"Stepfun/Stepfun-Prover-Preview-32B\" model = LLM( model=model_name, tensor_parallel_size=8, ) tokenizer = AutoTokenizer.from_pretrained(model_name, trust_remote_code=True) formal_problem = \"\"\" import Mathlib theorem test_theorem (x y z : ℝ) (hx : 0 < x) (hy : 0 < y) (hz : 0 < z) : (x^2 - z^2) / (y + z) + (y^2 - x^2) / (z + x) + (z^2 - y^2) / (x + y) ≥ 0 := by \"\"\".strip() system_prompt = \"You will be given an unsolved Lean 4 problem. Think carefully and work towards a solution. At any point, you may use the Lean 4 REPL to check your progress by enclosing your partial solution between <sketch>..."}],"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"}]}