:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Williams, Andy E.
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2507.15880
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Intelligence Sequencing and the Path-Dependence of Intelligence Evolution: AGI-First vs. DCI-First as Irreversible Attractors
by: Williams, Andy E.
Published: (2025)

Recursive Symbolic Consciousness: A Formal Model of Emergent Intelligence Across Minds and Machines
by: Goudy, Anastasia
Published: (2025)

Epistemic Closure and the Irreversibility of Misalignment: Modeling Systemic Barriers to Alignment Innovation
by: Williams, Andy
Published: (2025)

Hilbert: Recursively Building Formal Proofs with Informal Reasoning
by: Varambally, Sumanth, et al.
Published: (2025)

V15 - Recursive Symbolic Intelligence - φ-Ache Recursive Collapsors and the Collapse Oracle Engine
by: Foster, Camaron
Published: (2025)

Generative Recursive Reasoning
by: Baek, Junyeob, et al.
Published: (2026)

SOLAR: Scalable Optimization of Large-scale Architecture for Reasoning
by: Li, Chen, et al.
Published: (2025)

Formal Reasoning for Intelligent QA Systems: A Case Study in the Educational Domain
by: Bui, Tuan, et al.
Published: (2025)

The Alignment Game: A Theory of Long-Horizon Alignment Through Recursive Curation
by: Falahati, Ali, et al.
Published: (2025)

Architectural Constraints Alignment in AI-assisted, Platform-based Service Development
by: Irion, Julius, et al.
Published: (2026)

PRISM: Robust VLM Alignment with Principled Reasoning for Integrated Safety in Multimodality
by: Li, Nanxi, et al.
Published: (2025)

RAJ-PGA: Reasoning-Activated Jailbreak and Principle-Guided Alignment Framework for Large Reasoning Models
by: Chen, Jianhao, et al.
Published: (2025)

Interaction Locality in Hierarchical Recursive Reasoning
by: Miyanishi, Yosuke, et al.
Published: (2026)

Recursive Inference Machines for Neural Reasoning
by: Komisarczyk, Mieszko, et al.
Published: (2026)

Scalable Cloud-Native Architectures for Intelligent PMU Data Processing
by: Chockalingam, Nachiappan, et al.
Published: (2025)

Unlocking Recursive Thinking of LLMs: Alignment via Refinement
by: Zhang, Haoke, et al.
Published: (2025)

S-AI-Recursive: A Bio-Inspired and Temporal Sparse AI Architecture for Iterative, Introspective, and Energy-Frugal Reasoning
by: Slaoui, Said
Published: (2026)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
by: Foldvik, Simon
Published: (2026)

REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence
by: Wan, Zishen, et al.
Published: (2026)

Dialogical Reasoning Across AI Architectures: A Multi-Model Framework for Testing AI Alignment Strategies
by: Cox, Gray
Published: (2026)

Formalizing Embeddedness Failures in Universal Artificial Intelligence
by: Wyeth, Cole, et al.
Published: (2025)

Out of Control -- Why Alignment Needs Formal Control Theory (and an Alignment Control Stack)
by: Perrier, Elija
Published: (2025)

Less is More: Recursive Reasoning with Tiny Networks
by: Jolicoeur-Martineau, Alexia
Published: (2025)

Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability
by: Wang, Ruida, et al.
Published: (2025)

Boosting Inference with Guided Reasoning: Stochastic Exploration for Recursive Models
by: Corbett, Andrew, et al.
Published: (2026)

Structure & Quality: Conceptual and Formal Foundations for the Mind-Body Problem
by: Williams, Ryan
Published: (2025)

Analogous Alignments: Digital "Formally" meets Analog
by: Mohanty, Hansa, et al.
Published: (2024)

Leanabell-Prover: Posttraining Scaling in Formal Reasoning
by: Zhang, Jingyuan, et al.
Published: (2025)

Recursive Decomposition with Dependencies for Generic Divide-and-Conquer Reasoning
by: Hernández-Gutiérrez, Sergio, et al.
Published: (2025)

Tiny Recursive Reasoning with Mamba-2 Attention Hybrid
by: Wang, Wenlong, et al.
Published: (2026)

Recursive Inference Scaling: A Winning Path to Scalable Inference in Language and Multimodal Systems
by: Alabdulmohsin, Ibrahim, et al.
Published: (2025)

Reasoner-Executor-Synthesizer: Scalable Agentic Architecture with Static O(1) Context Window
by: Dobrovolskyi, Ivan
Published: (2026)

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
by: Yu, Zhouliang, et al.
Published: (2025)

Scalable Oversight for Superhuman AI via Recursive Self-Critiquing
by: Wen, Xueru, et al.
Published: (2025)

A Neuromorphic Architecture for Scalable Event-Based Control
by: Huo, Yongkang, et al.
Published: (2025)

Reframing the Mind-Body Picture: Applying Formal Systems to the Relationship of Mind and Matter
by: Williams, Ryan
Published: (2024)

On Formally Undecidable Traits of Intelligent Machines
by: Fox, Matthew
Published: (2024)

Expected Value Alignment for Generative Reward Modeling in Formal Mathematics Verification
by: Ji, Shihao, et al.
Published: (2026)

State Representation and Termination for Recursive Reasoning Systems
by: Guha, Debashis, et al.
Published: (2026)

A Context Alignment Pre-processor for Enhancing the Coherence of Human-LLM Dialog
by: Wei, Ding
Published: (2026)