Neurosymbolic AI

3 items

RESEARCHarXiv CS.CL·6d atrás

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

Uma inspeção sistemática das validações de extsf{FOLIO} e extsf{MALLS} revelou altas taxas de formalizações FOL incorretas e sentenças NL ambíguas, distorcendo a avaliação de modelos de IA. Os autores desenvolveram e lançaram verdades fundamentais corrigidas para esses conjuntos de dados, demonstrando como os erros de anotação impactam a avaliação de LLMs de ponta.

LLMs Neurosymbolic AI Natural Language Processing Benchmarks

RESEARCHarXiv CS.AI·15d atrás

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

ImProver 2 é uma nova estrutura neurossimbólica para otimização automatizada de provas em Lean 4, desenvolvida para lidar com os desafios de refatorar provas matemáticas formais. Ele utiliza um pipeline de iteração de especialistas eficiente em dados e um andaime neurossimbólico, permitindo que um modelo de 7 bilhões de parâmetros alcance desempenho competitivo contra modelos muito maiores.

Neurosymbolic AI machine learning Proof Optimization Formal Mathematics

RESEARCHarXiv CS.AI·15d atrás

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

NeuroNL2LTL é uma arquitetura neurosimbólica que une a tradução aprendida com a verificação formal para converter linguagem natural em Lógica Temporal Linear. Ele utiliza um treinamento com verificador no loop, onde os resultados da verificação servem como sinais de recompensa para o aprendizado por reforço, otimizando a correção formal.

reinforcement learning Neurosymbolic AI Formal verification Natural Language Processing