Edit Models filters

Model Tree

Apps

Docker Model Runner

Inference Providers

OVHcloud AI Endpoints

HF Inference API

One-click Deployment

Inference Endpoints

Microsoft Foundry

Amazon SageMaker AI

Misc

hoskinson-center/proofnet

text-generation-inference

Eval Results (legacy)

text-embeddings-inference

4-bit precision

8-bit precision

Mixture of Experts

Carbon Emissions

Models

7

Base only

Active filters: hoskinson-center/proofnet

SUMMERZETT/gemma-2-2b-proofnet-finetuned

Text Generation • Updated Nov 4, 2024

purewhite42/rautoformalizer_gtra_deepseek

Text Generation • Updated May 20, 2025 • 7

purewhite42/rautoformalizer_gtra_internlm

Text Generation • Updated May 20, 2025 • 9

purewhite42/rautoformalizer_nora_deepseek

Text Generation • Updated May 20, 2025 • 9

purewhite42/rautoformalizer_nora_internlm

Text Generation • Updated May 20, 2025 • 10

purewhite42/rautoformalizer_ra_deepseek

Text Generation • Updated May 20, 2025 • 9

purewhite42/rautoformalizer_ra_internlm

Text Generation • Updated May 20, 2025 • 10