Skip to content
Change the repository type filter

All

    Repositories list

    • StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion
      Python
      0500Updated Aug 19, 2025Aug 19, 2025
    • Python
      1346640Updated Aug 18, 2025Aug 18, 2025
    • StepMesh

      Public
      C++
      1927930Updated Aug 14, 2025Aug 14, 2025
    • Large language models designed for formal theorem proving through tool-integrated reasoning.
      02500Updated Aug 13, 2025Aug 13, 2025
    • Step3

      Public
      740202Updated Aug 10, 2025Aug 10, 2025
    • vllm

      Public
      A high-throughput and memory-efficient inference and serving engine for LLMs
      Python
      9.5k2001Updated Jul 31, 2025Jul 31, 2025
    • A SOTA open-source image editing model, which aims to provide comparable performance against the closed-source models like GPT-4o and Gemini 2 Flash.
      Python
      731.6k250Updated Jul 30, 2025Jul 30, 2025
    • Step-Audio 2 is an end-to-end multi-modal large language model designed for industry-strength audio understanding and speech conversation.
      1034830Updated Jul 25, 2025Jul 25, 2025
    • Step1X-3D

      Public
      Step1X-3D: Towards High-Fidelity and Controllable Generation of Textured 3D Assets
      Python
      47763322Updated Jun 30, 2025Jun 30, 2025
    • Python
      3614.5k563Updated Jun 12, 2025Jun 12, 2025
    • 0900Updated May 21, 2025May 21, 2025
    • Step-Realtime-Console
      JavaScript
      73820Updated May 9, 2025May 9, 2025
    • Step Realtime Demo
      Python
      0000Updated May 6, 2025May 6, 2025
    • Python
      54012Updated Mar 27, 2025Mar 27, 2025
    • Python
      2934950Updated Mar 20, 2025Mar 20, 2025
    • Python
      3283.1k353Updated Mar 17, 2025Mar 17, 2025