Wandering Logic Intelligence (WLI)

Non-axiomatic spatio-temporal logic for context-dependent reasoning, integrated with MES.

Neighborhood — ranked by edge-count

paper

framework

WLIMES
extends
Integration of MES and WLI enabling second-order reasoning about categorical structures themselves.

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

Linear Combinatory Logicframework0.697
A resource-sensitive combinatory algebra with modalities for copying; provides a fine-grained model of computation.
Mind-Wanderingconcept0.684
Gap between true attentional state and the agent's belief about it; key phenomenological phenomenon formally modeled via precision inference.
DiffLogic CA represents, to best of authors' knowledge, the first exploration of differentiable logic gate networks in a recurrent settingfinding0.683
Novelty claim about the contribution to the field
Recurrent Logic Circuitconcept0.680
The key novel property of DiffLogic CA — logic gate networks that are recurrent both spatially and temporally
The sensitivity to think/don't think instructions may be achieved via a circuit that tags tokens as attention-worthy based on instructions or incentiveshypothesis0.679
Mechanism for how the model modulates representation strength.
Differentiable Logic Cellular Automata (DiffLogic CA)framework0.678
The novel framework introduced in this paper, combining DLGN and NCA for fully differentiable discrete CA learning
SEAL (Steerable Reasoning Calibration)framework0.678
Prior work using steering vectors to control reflection, motivated by reducing redundant self-reflection in long CoT.
Logical Coherence of LM Beliefsconcept0.677
The extent to which an LM's beliefs respect logical entailment: if it believes A and A→B, it should also believe B.