:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Williams, Andy E.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	https://arxiv.org/abs/2507.15880
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

Generative Recursive Reasoning
di: Baek, Junyeob, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

On Formally Undecidable Traits of Intelligent Machines
di: Fox, Matthew
Pubblicazione: (2024)

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

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

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