Inyección neuro-simbólica de LTLf en RL autorregresivo
Descubre cómo inyectar conocimiento LTLf en políticas de RL autorregresivas para mejorar el cumplimiento de restricciones temporales sin sacrificar recompensas.
#neuro-simbólico
Razonamiento Matemático con IA: Modelos, Neuro-simbólicos y Descubrimiento
Descubre la evolución de la IA en matemáticas: desde problemas con lenguaje natural hasta sistemas neuro-simbólicos y descubrimientos verificados.
Superando los límites del razonamiento natural con verificación formal
Descubre cómo la verificación lógica formal en tiempo real mejora el razonamiento de los LLM, superando errores y aumentando la precisión en matemáticas y
VeriGraph: Agentes analíticos de datos verificables
VeriGraph: Agentes analíticos verificables con grafos de evidencia. Descubre cómo mejora la trazabilidad y precisión en IA.
¿Rápido o lento? Predicción de movimiento con guía neuro-simbólica
Descubre TraCS, un marco neuro-simbólico que mejora la predicción de movimiento en tráfico heterogéneo, combinando redes neuronales con lógica de primer orden
ANSR-DT: Marco neuro-simbólico para gemelos digitales adaptativos y explicables
Conoce ANSR-DT, el marco neuro-simbólico que hace los gemelos digitales más transparentes y adaptativos. Mejora la eficiencia industrial.
Agentes neuro-simbólicos para automatización regulada: desafíos y agenda
Descubre cómo los agentes neuro-simbólicos logran cumplimiento normativo desde el diseño en automatización de procesos regulados. Lee desafíos y agenda.
Agentes Neuro-Simbólicos en Automatización Procesos Regulados: Retos y Agenda
Los agentes neuro-simbólicos integran cumplimiento normativo desde el diseño para automatizar procesos regulados. Conoce los desafíos y agenda de investigación.
IVIE: Enfoque neuro-simbólico para mundos de ficción interactiva
IVIE combina LLMs y validación simbólica para generar mundos de ficción interactiva coherentes e inmersivos. Descubre cómo equilibra creatividad y consistencia.
Señales no son estados: Salvaguardas neuro-simbólicas para IA escolar
Descubre cómo separar señales de interpretaciones culturales en IA del aula. Marco neuro-simbólico evita estereotipos y garantiza inferencias seguras.
Dual topológico en AlphaGeometry: lógica a topología
Descubre cómo el dual topológico de un dataset transforma la interpretabilidad de modelos neuro-simbólicos, revelando invariantes estructurales en el razonamiento de AlphaGeometry.
PandaAI: Agente neuro-simbólico para análisis y decisiones en finanzas
Descubre PandaAI: un agente neuro-simbólico para finanzas. Mejora un 18.2% el Rank IC y reduce un 25.7% el drawdown máximo.
Aprendizaje Neuro-Simbólico para Planificación de Tareas a Largo Plazo
Descubre cómo el aprendizaje neuro-simbólico con optimización bilevel y estrategia 3R reduce 80% fallos y 57% tiempo en planificación de tareas a largo plazo.
Ontologías para la Web de Agentes
Descubre cómo las ontologías evolucionan para guiar a los agentes de IA: desde conocimiento estático a memorias activas, validación y herramientas ejecutables.
Razonamiento Científico con LLMs para Decisiones basadas en Simulación
Aprende cómo MechSim permite a los LLMs razonar sobre simuladores, logrando explicaciones transparentes y decisiones más fiables en entornos críticos.
BiNSGPS: Problemas de geometría con interacción neuro-simbólica bidireccional
BiNSGPS resuelve problemas de geometría con interacción bidireccional entre MLLM y solucionadores, eliminando errores y alucinaciones.
PhyDrawGen: Diagramas físicos desde texto natural
PhyDrawGen usa IA neuro-simbólica para crear diagramas de física exactos desde texto, eliminando alucinaciones y violaciones de leyes. Supera a GPT-5 y Gemini.
Generación Neural Simbólica aplicada al descubrimiento de fármacos
Los generadores neuronales simbólicos (SNG) integran lógica y redes neuronales para generar moléculas candidatas a fármacos con alta afinidad.
Resolviendo problemas de construcción de respuestas con Lean formalmente
Descubre cómo el marco ECP combina LLMs y Lean para resolver problemas de construcción de respuestas con pruebas formales verificadas.
Destilando programas neuro-simbólicos en LLMs 3D multimodales
Descubre cómo APEIRIA combina la transparencia del razonamiento simbólico con la flexibilidad de los LLMs 3D para mejorar el razonamiento espacial. ¡Lee más!