Logic reasoning

2 items

RESEARCHarXiv CS.AI·4/9/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 ago

High Quality Embeddings for Horn Logic Reasoning

This paper introduces novel approaches for creating high-quality embeddings for logical statements, crucial for training neural networks to efficiently rank choices made by logical reasoners. These methods involve generating anchors with repeated terms, balancing easy, medium, and hard examples for triplet loss training, and periodically emphasizing the hardest examples.

neural networks Logic reasoning machine learning embeddings