NEWVectors or files. Pick a path.Start →
    Models/Text Generation/internlm/internlm2_5-step-prover-critic

    internlm2_5-step-prover-critic

    by internlm

    Identifier
    Model ID
    internlm/internlm2_5-step-prover-critic

    Tags

    pytorchinternlm2mathtext-generationconversationalcustom_codeendataset:internlm/Lean-Workbookdataset:internlm/Lean-Githubarxiv:2410.15700license:otherregion:us

    Use internlm2_5-step-prover-critic on Mixpeek

    Build multimodal processing pipelines with this model and others. Extract features, run inference, and set up retrieval in Mixpeek Studio.

    Open Studio