SatisfiesLawsOfLogic

"L2T transforms raw text into structured input-output pairs to provide explicit linguistic stimulation... Pre-training LMs on a mixture of raw text and L2T data... improves... linguistic competence benchmarks"

"RLoCo = 1 iff fa_rp = fa and RFormat = 1 (Eq. 2); Self-Contra proportion drops from ~30% (RFT) to ~2% (LoCo-RFT)"

"Grounded in Horn Rules, our approach integrates a backward verification mechanism to systematically evaluate three key reasoning dimensions: Completeness, Conciseness, and Determinateness."

"SSLogic is an agentic meta-synthesis framework in which LLM agents iteratively author and refine executable Generator-Validator pairs inside a closed Generate-Validate-Refine loop"

"the variational regularization term through the lens of the information bottleneck principle... LIB = I(Ẑ,S;Y) − α I(Ẑ;X) ... L_ELBO := I_BA(Ẑ,S;Y) − α R(Ẑ;X)"

"R = −∑r (ν+r − ν−r) jr with local detailed balance kBT ln(j+/j−) = ⟨ν+−ν−, δF/δψ⟩"

"the optimal policy must ignore b entirely"

"minimizing I(X;Z|Y) ... Markov chain Y→X→Z→Z′ ... I(X;Z|Y)≥I(X;Z′|Y)"

"the Baxter equation ψ(x+iπk|z) + ψ(x−iπk|z) = z / (2 cosh(x/2)) ψ(x|z)"

"y_q = √[p̂_q(1-p̂_q)] ... Teacher continuously aligns its predictions with the Student’s evolving capabilities"

"framing preference learning as likelihood-ratio estimation under Bregman divergences, connecting DPO to classical density-ratio estimators"

"integrating differentiable fuzzy logic with deep segmentation models... product t-norm semantics... semantic loss L(x,ϕ):=−logp(ϕ|x)"

"IBZ = max I(Z;Y) − βZ I(X,A;Z) ... final objective combines these terms and regularisers"

"The validation kernel enforces evidence completeness, rule coverage, non-contradiction, and provenance completeness before any fragment enters the decision record (Algorithm 1, Section V)."

"We argue that such approaches structurally fail to detect misleading claims due to systematic divergences between conclusions that are logically sound and inferences that humans typically make and accept."

"A single weakly damped collective photon-reservoir mode governs both effects"

"The BB plot is presented as a diagnostic that validates approximate Bayes-factor calculations without ground truth."

"Proposition 1 (Exact proximal form). ... the relaxed update in (3) is the exact minimizer of min_S ½∥S − eS_{t−1}∥²_F + μ_t/2 ∥S^T k_t − v_t∥²₂."

"ARR externalizes a VLM’s internalized preference knowledge as prompt-specific rubrics, translating holistic intent into independently verifiable quality dimensions. This conversion of implicit preference structure into inspectable, interpretable constraints substantially suppresses evaluation biases"

"RuleSafe-VL formalizes 93 atomic rules and 92 typed rule relations... four diagnostic tasks... rule-relation recovery as the dominant bottleneck"

"we employ a standard spatio-temporal skeleton encoder... mapped to interpretable concept predicates via a spatio-temporal concept decoder... composed through differentiable first-order logic layers"

"LogiHard, a formal framework that deterministically transforms 0-order selection into 2-order logical judgment... validity-by-construction... propositional logic tasks via exactness (EXACTi ≡ pi ∧ ⋀j≠i ¬pj), Disjunction (pi ∨ pj), and Negation"

"We develop an evidence-tracked tape semantics using the monadic-core-to-evidenced-frame pipeline (and its induced realizability tripos)"

"generalised entropy h_ℓ[p(z|d)] = min_a E[ℓ(z,a)]"

"Reward learning enables the application of reinforcement learning (RL) to tasks where reward is defined by human judgment, building a model of reward by asking humans questions."

"A nucleus operator R on a frame ... generates a Heyting algebra Ω_R of fixed points"

"GCE adopts an explicit functionalist commitment: cognitive functions are individuated by their causal-functional roles, not by substrate"

"we structurally generate persona-based diverse candidate beliefs... perform adversarial auditing to localize violations and repair through constraint-guided minimal interventions under verifiable acceptance criteria"