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·il y a 20j

High Quality Embeddings for Horn Logic Reasoning

Cet article présente de nouvelles approches pour créer des embeddings de haute qualité pour les énoncés logiques, essentiels pour l'entraînement des réseaux neuronaux à classer efficacement les choix des raisonneurs logiques. Ces méthodes impliquent la génération d'ancres avec des termes répétés, l'équilibrage des exemples faciles, moyens et difficiles pour l'entraînement par triplet loss, et l'accentuation périodique des exemples les plus difficiles.

neural networks Logic reasoning Machine Learning embeddings