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·vor 20T

High Quality Embeddings for Horn Logic Reasoning

Dieser Artikel stellt neue Ansätze zur Erstellung hochwertiger Embeddings für logische Aussagen vor, die für das Training neuronaler Netze zur effizienten Bewertung von Entscheidungen logischer Schlussfolgerer entscheidend sind. Diese Methoden umfassen die Generierung von Ankern mit wiederholten Begriffen, die Ausbalancierung einfacher, mittlerer und schwerer Beispiele für das Triplet-Loss-Training sowie die periodische Betonung der schwierigsten Beispiele.

neural networks Logic reasoning machine learning embeddings