Neurosymbolic AI

3 items

RESEARCHarXiv CS.CL·hace 6d

Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling

Una inspección sistemática de las divisiones de validación de extsf{FOLIO} y extsf{MALLS} reveló altas tasas de formalizaciones FOL incorrectas y oraciones NL ambiguas, distorsionando la evaluación de modelos de IA. Los autores desarrollaron y publicaron verdades fundamentales corregidas para estos conjuntos de datos, demostrando cómo los errores de anotación impactan la evaluación de LLMs de última generación.

LLMs Neurosymbolic AI Natural Language Processing Benchmarks

RESEARCHarXiv CS.AI·hace 15d

ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization

ImProver 2 es un nuevo marco neurosimbólico para la optimización automatizada de pruebas en Lean 4, diseñado para abordar los desafíos de la refactorización de pruebas matemáticas formales. Utiliza una tubería de iteración experta eficiente en datos y un andamiaje neurosimbólico, lo que permite que un modelo de 7 mil millones de parámetros logre un rendimiento competitivo frente a modelos mucho más grandes.

Neurosymbolic AI machine learning Proof Optimization Formal Mathematics

RESEARCHarXiv CS.AI·hace 15d

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic

NeuroNL2LTL es una arquitectura neurosimbólica que unifica la traducción aprendida con la verificación formal para convertir el lenguaje natural en Lógica Temporal Lineal. Utiliza un entrenamiento con verificador en el bucle, donde los resultados de la verificación sirven como señales de recompensa para el aprendizaje por refuerzo, optimizando la corrección formal.

reinforcement learning Neurosymbolic AI Formal verification Natural Language Processing