media Hugging Face Forums · hace 18 h · open_models

Agent-ProSAT abre el código del solucionador programático para la síntesis de CoT

Traducido del English → Español

Shehab Anwer ha liberado en código abierto Agent-ProSAT, una tubería que genera conjuntos de datos de Cadena de Pensamiento (CoT) haciendo que un agente escriba código y mejore iterativamente solucionadores programáticos verificables en lugar de depender del texto generado por el modelo.

El sistema utiliza bucles de autocorrección para validar la solidez lógica frente a la verdad fundamental y muestras retenidas.
Fue evaluado en el Desafío de Razonamiento Nemotron de NVIDIA utilizando acertijos lógicos de "Alicia en el País de las Maravillas" para probar restricciones espaciales y lógicas.
El enfoque busca reducir los riesgos de alucinación y mejorar la utilización de tokens en tuberías SFT/RL mediante revisión programática.

El autor comparte la base de código, un cuaderno de Kaggle para ajuste fino y el conjunto de datos ProSAT CoT resultante en Hugging Face.

Importancia 1/3 Nuevo entorno de evaluación con diferenciadores Confianza 1/3 Hugging Face Forums AI agents Training methods

Leer original

Un marco acelerado por IA valida la rápida actualización profesional en cinco etapas

Los autores presentan un marco de extremo a extremo que aplica aceleración por IA a cinco etapas de adquisición de conocimientos, desarrollo de contenido, revisión, enseñanza y evaluación. Este enfoque tiene como objetivo abordar la creciente brecha de habilidades empresariales mejorando tanto la eficiencia productiva como la de aprendizaje.

lab NVIDIA Technical Blog · hace 6 d · 1 vista

NVIDIA NeMo habilita flujos de trabajo de investigación autónoma con habilidades de agentes RL

NVIDIA NeMo proporciona capacidades para codificar agentes de IA que operen en flujos de trabajo de aprendizaje automático de larga duración, específicamente dirigidos a la investigación de aprendizaje por refuerzo.

media r/LocalLLaMA · hace 6 d

Dan Austin entrena con RL a Qwen3.6-35B-A3B para generar trabajos de entrenamiento para modelos Qwen más pequeños

Dan Austin ha liberado como código abierto un sistema en el que un agente Qwen3.6-35B-A3B entrenado con RL escribe y envía autónomamente trabajos de entrenamiento completos para modelos Qwen más pequeños (0.6B o 1.7B). El agente utiliza el marco prime-rl para definir entornos, recompensas, conjuntos de datos e hiperparámetros, que luego se ejecutan en GPUs de Runpod.

media r/LocalLLaMA · hace 6 d

SAO introduce optimización asíncrona de un solo rollout para un entrenamiento estable de RL agéntico

El artículo presenta Single-rollout Asynchronous Optimization (SAO), un método diseñado para abordar los desafíos de estabilidad y fuera de política en el aprendizaje por refuerzo asíncrono para grandes modelos de lenguaje. Al reemplazar el muestreo grupal con muestreo de un solo rollout, el enfoque reduce los efectos fuera de política y mejora la generalización durante las tareas agénticas de largo plazo.

arxiv arXiv cs.CL · hace 6 d

OpenSquilla introduce enrutamiento agénico nativo de Harness para crear un ciclo de datos

El artículo propone el enrutamiento agénico nativo de Harness, un paradigma a nivel de paso que selecciona modelos basándose en el estado completo del entorno de ejecución (execution harness) en lugar de optimizar los compromisos costo-calidad de una sola vuelta. Este enfoque trata cada decisión de enrutamiento como un registro de datos estructurado para formar un ciclo de datos nativo de Harness, donde las trazas de ejecución entrenan mejores enrutadores y modelos.