How It Works Ecosystem

The open directory of AI agents, LLMs, MCP servers, workflows, and tools — search, compare, and track status across platforms.

Explore

Browse All AI Agents LLMs MCP Servers Tools & Frameworks

Account

Sign In Create Account Submit an Agent Saved Agents

Support

How It Works FAQ Report an Issue

Company

ATMEZ AI Solutions

© 2026 ATMEZ AI Solutions · All rights reserved.

Built with ❤️ for the AI community

All Agents LLMs MCP Servers Workflows Frameworks Tools Skills GenAI News

internlm2-5-step-prover-critic — LLM for Coding | Genaihub

internlm2-5-step-prover-critic

Open-weight LLM by WufuJu

Live

Open / InstallLast updated September 7, 2026

Description

internlm2-5-step-prover-critic is an open-weight text-generation model published by WufuJu on the Hugging Face Hub. It has 316 downloads.

Author

WufuJu

Platform

api

Pricing model

free

Categories

Coding
Research
Productivity

Tags

internlm2
math
text-generation
conversational
custom_code
en

Capabilities

Text generation
Conversational

Related llms

Others in the same category, ranked by how often they are opened.

DeepSeek-R1Open-weight LLM by deepseek-aiLLMs · Coding
bloomOpen-weight LLM by bigscienceLLMs · Coding
phi-2Open-weight LLM by microsoftLLMs · Coding
DeepSeek-V3-0324Open-weight LLM by deepseek-aiLLMs · Coding
starcoderOpen-weight LLM by bigcodeLLMs · Coding
gemma-4-12B-coder-fable5-composer2.5-v1-GGUF12B open-weight LLM by yuxinlu1LLMs · Coding
DeepSeek-R1-0528Open-weight LLM by deepseek-aiLLMs · Coding
falcon-40b40B open-weight LLM by tiiuaeLLMs · Coding