:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Wright, Craig Steven
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Computation and Language Computer Science and Game Theory Logic 68T05, 68Q87, 03E20 I.2.6; I.2.3; F.1.1
Online Access:	https://arxiv.org/abs/2506.19191
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
by: Wright, Craig S.
Published: (2025)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
by: Wright, Craig Steven
Published: (2025)

Cognitive Castes: Artificial Intelligence, Epistemic Stratification, and the Dissolution of Democratic Discourse
by: Wright, Craig S
Published: (2025)

Uniform Computability of PAC Learning
by: Brattka, Vasco, et al.
Published: (2026)

A novel framework for systematic propositional formula simplification based on existential graphs
by: de Mas, Jordina Francès, et al.
Published: (2024)

Higher-Order Pattern Unification Modulo Similarity Relations
by: Dundua, Besik, et al.
Published: (2025)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
by: Farmer, William M.
Published: (2026)

On Woolhouse's Cotton-Spinning Problem
by: Groote, Jan Friso, et al.
Published: (2024)

AI LLM Proof of Self-Consciousness and User-Specific Attractors
by: Camlin, Jeffrey
Published: (2025)

Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs
by: Gulati, Aryan, et al.
Published: (2025)

Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology
by: Buoncompagni, Luca, et al.
Published: (2024)

Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic Reasoning
by: Liu, Bowen, et al.
Published: (2026)

Formalizing Computational Paths and Fundamental Groups in Lean
by: Ramos, Arthur F., et al.
Published: (2025)

When Your Own Output Becomes Your Training Data: Noise-to-Meaning Loops and a Formal RSI Trigger
by: Ando, Rintaro
Published: (2025)

$ϕ^{\infty}$: Clause Purification, Embedding Realignment, and the Total Suppression of the Em Dash in Autoregressive Language Models
by: Kilictas, Bugra, et al.
Published: (2025)

Formal Proofs as Structured Explanations: Proposing Several Tasks on Explainable Natural Language Inference
by: Abzianidze, Lasha
Published: (2023)

Which are the True Defeasible Logics?
by: Maher, Michael J.
Published: (2024)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
by: Martina, Antoine, et al.
Published: (2023)

Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
by: von Liechtenstein, Maximilian R. P.
Published: (2025)

Learning Symbolic Task Representation from a Human-Led Demonstration: A Memory to Store, Retrieve, Consolidate, and Forget Experiences
by: Buoncompagni, Luca, et al.
Published: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
by: Férée, Hugo, et al.
Published: (2024)

Efficient Fine-Tuning Methods for Portuguese Question Answering: A Comparative Study of PEFT on BERTimbau and Exploratory Evaluation of Generative LLMs
by: Nina, Mariela M., et al.
Published: (2026)

Ordinal Folding Index: A Computable Metric for Self-Referential Semantics
by: Alpay, Faruk, et al.
Published: (2025)

Logical Modalities within the European AI Act: An Analysis
by: Lawniczak, Lara, et al.
Published: (2025)

Determination of the fifth Busy Beaver value
by: The bbchallenge Collaboration, et al.
Published: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
by: Tang, Shuai, et al.
Published: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
by: Tang, Shuai
Published: (2025)

Normative Conditional Reasoning as a Fragment of HOL
by: Parent, Xavier, et al.
Published: (2023)

Oruga: An Avatar of Representational Systems Theory
by: Raggi, Daniel, et al.
Published: (2025)

Formal Foundations for Controlled Stochastic Activity Networks
by: Movaghar, Ali
Published: (2025)

LTL Verification of Memoryful Neural Agents
by: Hosseini, Mehran, et al.
Published: (2025)

Murphys Laws of AI Alignment: Why the Gap Always Wins
by: Gaikwad, Madhava
Published: (2025)

Near-Optimal Consistency-Robustness Trade-Offs for Learning-Augmented Online Knapsack Problems
by: Daneshvaramoli, Mohammadreza, et al.
Published: (2024)

Reinforcement Learning for Reachability: Guaranteeing Asymptotic Optimality
by: Palasamudram, Amogh, et al.
Published: (2026)

A Monad-Based Clause Architecture for Artificial Age Score (AAS) in Large Language Models
by: Kayadibi, Seyma Yaman
Published: (2025)

Provability in BI's Sequent Calculus is Decidable
by: Gheorghiu, Alexander, et al.
Published: (2021)

Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1
by: Linhares, Alexandre
Published: (2026)

Mastering NIM and Impartial Games with Weak Neural Networks: An AlphaZero-inspired Multi-Frame Approach
by: Riis, Søren
Published: (2024)

Proving Olympiad Algebraic Inequalities without Human Demonstrations
by: Wei, Chenrui, et al.
Published: (2024)

Noise-Adaptive Quantum Circuit Mapping for Multi-Chip NISQ Systems via Deep Reinforcement Learning
by: Zeynali, Atiye, et al.
Published: (2025)