media Hugging Face Forums · il y a 18 h · open_models

Agent-ProSAT open-source le code du solveur programmatique pour la synthèse de CoT

Traduit de English → Français

Shehab Anwer a ouvert le code d'Agent-ProSAT, un pipeline qui génère des ensembles de données de Chaîne de Pensée (CoT) en faisant coder à un agent et améliorer itérativement des solveurs programmatiques vérifiables plutôt que de s'appuyer sur du texte généré par le modèle.

Le système utilise des boucles d'auto-correction pour valider la solidité logique par rapport à la vérité terrain et aux échantillons retenus.
Il a été évalué sur le Défi de Raisonnement Nemotron de NVIDIA en utilisant des énigmes logiques d'« Alice au pays des merveilles » pour tester les contraintes spatiales et logiques.
L'approche vise à réduire les risques d'hallucination et à améliorer l'utilisation des tokens dans les pipelines SFT/RL par une revue programmatique.

L'auteur partage la base de code, un notebook Kaggle pour le fine-tuning et l'ensemble de données ProSAT CoT résultant sur Hugging Face.

Importance 1/3 Nouveau cadre d'évaluation avec différenciateurs Confiance 1/3 Hugging Face Forums AI agents Training methods

Lire l'original

Un cadre accéléré par l'IA valide la montée en compétences professionnelles rapide sur cinq étapes

Les auteurs présentent un cadre de bout en bout qui applique l'accélération par IA à cinq étapes : acquisition des connaissances, développement du contenu, revue, enseignement et évaluation. Cette approche vise à combler le fossé croissant en compétences des entreprises en améliorant à la fois l'efficacité de la production et celle de l'apprentissage.

lab NVIDIA Technical Blog · il y a 6 j · 1 vue

NVIDIA NeMo permet des flux de travail de recherche automatique avec des compétences d'agent RL

NVIDIA NeMo fournit des capacités pour coder des agents IA capables d'exécuter des workflows d'apprentissage machine à long terme, ciblant spécifiquement la recherche en apprentissage par renforcement.

media r/LocalLLaMA · il y a 6 j

Dan Austin entraîne par RL Qwen3.6-35B-A3B pour générer des tâches d'entraînement pour les petits modèles Qwen

Dan Austin a open-sourcé un système où un agent Qwen3.6-35B-A3B entraîné par RL écrit et soumet autonomement des tâches d'entraînement complètes pour de petits modèles Qwen (0,6B ou 1,7B). L'agent utilise le framework prime-rl pour définir les environnements, les récompenses, les ensembles de données et les hyperparamètres, qui sont ensuite exécutés sur des GPU Runpod.

media r/LocalLLaMA · il y a 6 j

SAO introduit l'optimisation asynchrone à rollout unique pour un entraînement RL agentique stable

L'article présente Single-rollout Asynchronous Optimization (SAO), une méthode conçue pour répondre aux défis de stabilité et hors politique dans l'apprentissage par renforcement asynchrone pour les grands modèles de langage. En remplaçant l'échantillonnage par groupe par un échantillonnage à rollout unique, cette approche réduit les effets hors politique et améliore la généralisation lors de tâches agentiques à long terme.

arxiv arXiv cs.CL · il y a 6 j

OpenSquilla introduit le routage agnostique natif de Harness pour créer un volant de données

L'article propose le routage agentic natif de Harness, un paradigme au niveau des étapes qui sélectionne les modèles en fonction de l'état complet du harnais d'exécution plutôt que d'optimiser les compromis coût-qualité sur un seul tour. Cette approche traite chaque décision de routage comme un enregistrement de données structuré pour former un volant de données natif de Harness, où les traces d'exécution entraînent des routeurs et des modèles meilleurs.