Goedel-Prover-DPO
Desenvolvido pela Goedel-LM, Goedel-Prover-DPO é um modelo de chat. Goedel-Prover-DPO is an open-weights chat model.
by Goedel-LM
Ideal para
- chat e roteamento de baixa latência
- roteamento e triagem de requisições
- classificação de texto
Como usar Goedel-Prover-DPO no osFoundry
Conecte com sua própria chave (BYOK)
Abra o diálogo de chaves e cole sua chave de API da Goedel-LM. O osFoundry descobre Goedel-Prover-DPO automaticamente — atribua-o a um papel do Maestro (router, direct, orchestrator ou fallback) na aba Pipeline e ele estará ativo em cada chat. Sua chave, sua conta no provedor — sem markup sobre tokens.
Implante um endpoint dedicado
Goedel-Prover-DPO é open-weights — execute localmente sem custo, ou implante um endpoint GPU dedicado no seu workspace para capacidade reservada sem limites de taxa.
Use em um Room App
Os Room Apps declaram recursos de IA em seus manifestos e os chamam com invokeAI:
import { invokeAI } from '@osfoundry/app-sdk'
// 'summarize' is an AI feature declared in your app manifest.
const result = await invokeAI('summarize', userText)
Chame a partir dos seus próprios apps
Uma vez que um modelo está conectado ao seu workspace, você pode hospedá-lo como uma API e acessá-lo a partir dos seus próprios serviços, scripts ou CI — fora do osFoundry.
Goedel-Prover-DPO vs modelos semelhantes
| Modelo | Organização | Parâmetros | Contexto | Preço de entrada | Auto-hospedado |
|---|
| Goedel-Prover-DPO | Goedel-LM | — | — | Free (local) | Sim |
| PixCell-256 | StonyBrook-CVLab | — | — | Free (local) | Sim |
| gpt-nyc-small-GGUF | mradermacher | — | — | Free (local) | Sim |
| EITD_-_phi_2-gguf | RichardErkhov | — | — | Free (local) | Sim |
Licença
Não especificada — Termos de licença não especificados — verifique o model card original antes do uso comercial.
Consulte a documentação original.
Perguntas frequentes sobre Goedel-Prover-DPO
Goedel-Prover-DPO é gratuito?
Goedel-Prover-DPO é gratuito para rodar localmente no seu próprio hardware. O acesso hospedado via osFoundry é medido (entrada Free (local), saída Free (local)). Você pode alternar entre local e hospedado a qualquer momento.
Posso usar Goedel-Prover-DPO comercialmente?
Uso comercial é permitido com condições. Termos de licença não especificados — verifique o model card original antes do uso comercial. Consulte a documentação original.
Posso rodar Goedel-Prover-DPO localmente?
Sim. Goedel-Prover-DPO é open-weights e roda localmente em uma GPU de workstation. O runtime local do osFoundry cuida do carregamento, da quantização e do roteamento do modelo.
Em que Goedel-Prover-DPO é melhor?
Goedel-Prover-DPO é bem adequado para chat e roteamento de baixa latência, roteamento e triagem de requisições, classificação de texto.
Como uso Goedel-Prover-DPO no osFoundry?
Cole sua chave de API da Goedel-LM no diálogo de chaves (ou implante os pesos abertos para modelos auto-hospedáveis), atribua Goedel-Prover-DPO a um papel do Maestro na aba Pipeline e use-o em chats, em Room Apps via invokeAI ou nos seus próprios apps.
Publicado pela Goedel-LM em 19 de abril de 2025. Fonte: https://huggingface.co/Goedel-LM/Goedel-Prover-DPO