Tag
The study models AI development as a transition system to explore the formal reachability of AGI, distinguishing between basic, stable, and safe reachability using modal logic and computability theory.
TwiL-LM is a parameter-efficient LoRA adapter for SmolLM2-1.7B-Instruct, designed for formal-logic and reasoning tasks, achieving a macro-primary score of 0.361 on a formal-logic suite.
This paper presents a new paraconsistent AGM-like abductive expansion operation that can assimilate contradictory explanatory hypotheses without trivialization, based on the paraconsistent logic RCbr. It is the first operation of its kind in the AGM literature.
This paper identifies a systematic gap between legal interpretation and formal logic in AI legal reasoning, proposes a neuro-symbolic approach to bridge it, and demonstrates substantial label shifts when re-annotating legal NLI data under strict formal entailment.