Logic reasoning

2 items

RESEARCHarXiv CS.AI·09/04/2026

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning

Este conteúdo apresenta 'ProofSketcher', um sistema híbrido de LLM com verificador de provas leves para garantir o raciocínio matemático e lógico. Ele visa corrigir falhas sutis em argumentos de LLMs, contrastando com a complexidade da formalização completa exigida por provadores de teoremas como Lean e Coq.

Proof Checker Math Reasoning Logic reasoning Reliability

RESEARCHarXiv CS.AI·19d atrás

High Quality Embeddings for Horn Logic Reasoning

O artigo apresenta abordagens inovadoras para criar embeddings de alta qualidade para declarações lógicas, essenciais para treinar redes neurais na classificação eficiente de escolhas feitas por raciocinadores lógicos. Esses métodos incluem a geração de âncoras com termos repetidos, o equilíbrio de exemplos fáceis, médios e difíceis para treinamento por triplet loss, e a ênfase periódica nos exemplos mais difíceis.

neural networks Logic reasoning machine learning embeddings