Goedel-Prover-SFT
Conçu par Goedel-LM, Goedel-Prover-SFT est un modèle chat . Goedel-Prover-SFT is an open-weights chat model.
by Goedel-LM
Idéal pour
- chat et routage à faible latence
- routage et triage des requêtes
- classification de texte
Comment utiliser Goedel-Prover-SFT dans osFoundry
Connectez-vous avec votre propre clé (BYOK)
Ouvrez la fenêtre de clés et collez votre clé API Goedel-LM. osFoundry détecte automatiquement Goedel-Prover-SFT — assignez-le à un rôle Maestro (router, direct, orchestrator ou fallback) dans l'onglet Pipeline et il est actif dans chaque conversation. Votre clé, votre compte fournisseur — sans majoration sur les tokens.
Déployez un endpoint dédié
Goedel-Prover-SFT est en open-weights — exécutez-le localement gratuitement, ou déployez un endpoint GPU dédié dans votre espace de travail pour disposer d'une capacité réservée sans limite de débit.
Utilisez-le dans une Room App
Les Room Apps déclarent leurs fonctionnalités IA dans leur manifeste, puis les appellent via invokeAI :
import { invokeAI } from '@osfoundry/app-sdk'
// 'summarize' is an AI feature declared in your app manifest.
const result = await invokeAI('summarize', userText)
Appelez-le depuis vos propres applications
Une fois un modèle intégré à votre espace de travail, vous pouvez l'héberger en tant qu'API et l'appeler depuis vos propres services, scripts ou CI — en dehors d'osFoundry.
Goedel-Prover-SFT face aux modèles similaires
Licence
Non spécifiée — Conditions de licence non spécifiées — vérifiez la fiche du modèle en amont avant tout usage commercial.
Consultez la documentation en amont.
Questions fréquentes sur Goedel-Prover-SFT
Goedel-Prover-SFT est-il gratuit à utiliser ?
Goedel-Prover-SFT est gratuit à exécuter localement sur votre propre matériel. L'accès hébergé via osFoundry est facturé à l'usage (entrée Free (local), sortie Free (local)). Vous pouvez basculer entre local et hébergé à tout moment.
Puis-je utiliser Goedel-Prover-SFT à des fins commerciales ?
L'usage commercial est autorisé sous conditions. Conditions de licence non spécifiées — vérifiez la fiche du modèle en amont avant tout usage commercial. Consultez la documentation en amont.
Puis-je exécuter Goedel-Prover-SFT localement ?
Oui. Goedel-Prover-SFT est en open-weights et s'exécute localement sur un GPU station de travail. Le runtime local d'osFoundry gère le chargement du modèle, la quantification et le routage.
À quoi Goedel-Prover-SFT excelle-t-il ?
Goedel-Prover-SFT convient particulièrement bien à chat et routage à faible latence, routage et triage des requêtes, classification de texte.
Comment utiliser Goedel-Prover-SFT dans osFoundry ?
Collez votre clé API Goedel-LM dans la fenêtre de clés (ou déployez les open weights pour les modèles auto-hébergeables), assignez Goedel-Prover-SFT à un rôle Maestro dans l'onglet Pipeline, puis utilisez-le en chat, dans les Room Apps via invokeAI, ou dans vos propres applications.
Publié par Goedel-LM le 28 janvier 2025. Source : https://huggingface.co/Goedel-LM/Goedel-Prover-SFT