Failing at the Floor: LLM Formal Reasoning Collapse on the Primitive Duplicating Recursor

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Rahnama, Moses
Format:	Recurso digital
Published:	Zenodo 2026
Subjects:	term rewriting systems strong normalization dependency pairs LLM large language models AI safety benchmarks compositional measures impossibility theorems automated termination proving Lean 4 step duplication
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Vampire
by: Bártek, Filip, et al.
Published: (2025)

Why Trust-Scores Always Fail — And Why Proof-Based Systems Are the Only Scalable Alternative
by: Papp, László
Published: (2026)

When AI Tells You What You Want to Hear: Sycophantic Behavior of Large Language Models in Dementia Care Settings
by: Kolb, Christian
Published: (2026)

LLM Token Estimation Benchmarks: Tokenizer Efficiency and Cost Analysis Across 17 Large Language Models
by: Khare, Mohit
Published: (2026)

THE INFLUENCE OF PEOPLE MANAGEMENT PRACTICES ON A CULTURE OF LEAN MANUFACTURING
by: Luciano Trentin
Published: (2022)

Automated Deduction – CADE 29
Published: (2023)

Scalar Impossibility in Multi-Pillar Complexity Measures: Why a Single Number Cannot Capture Algorithmic, Information-Theoretic, Dynamical, and Geometric Complexity
by: Sudoma, Oksana
Published: (2025)

Developer Utilities Reference Data: Token Costs, Model Pricing, and Text Processing Benchmarks
by: Khare, Mohit
Published: (2026)

Oracle Difficulty Decomposed: Four Independent Mechanisms Explain 95%+ of Benchmark Variance
by: Sanchez, Bryan
Published: (2026)

Reliability Inference Drives Cue Extraction in Large Language Models Consuming External Reasoning Traces
by: HIDEKI
Published: (2026)

Safety culture among operating room healthcare workers: still a long way to go. An analytical cross-sectional study from Turkey
by: Emel Filiz
Published: (2023)

Effects of traffic high variability in probing packet dispersion traces
by: Marco Alzate
Published: (2007)

Duplicación del apéndice vermiforme
by: MANUEL GREZ I.
Published: (2011)

Reducing AI Entropy: The Information Dynamics of Model Safety
by: Kugelmass, Joe
Published: (2025)

Reducing AI Entropy: The Information Dynamics of Model Safety
by: Kugelmass, Joe
Published: (2025)

Automated Reasoning with Analytic Tableaux and Related Methods
Published: (2023)

The Periodic Table as a Symbolic Optimization Structure: A Formal Derivation of Elemental Periodicity via Double Bind Resolution and Generalized Entropy
by: Fathi, Kevin
Published: (2025)

Prompt-Based No-Code Website Generation Platform
by: Dibjyoti Hota, Dibjyoti Hota, et al.
Published: (2025)

REAL-AI-Benchmark: Real-World Reasoning and Physical-AI Benchmark Suite
by: Ivković, Jovan
Published: (2026)

Metacognition Benchmark: Evaluating Confidence Calibration and Sycophancy Resistance in Clinical AI
by: Khan, Nabeera
Published: (2026)

Duplicación intestinal. Diagnóstico y tratamiento de una condición inusual
by: ALEJANDRA LETELIER M.
Published: (2009)

Androgenic studies in the production of haploids and doubled haploids in Capsicum spp.
by: Manuel Alejandro Sánchez
Published: (2020)

AgentBelt: Runtime Guardrails for LLM Agent Tool Calls — ASE 2026 Artifact
by: Anonymous
Published: (2026)

Chapter Extracting Information from Construction Safety Requirements Using Large Language Model
by: Khan, Nasrullah, et al.
Published: (2024)

The Logical Origin of CP Violation
by: Chan, H.-K.
Published: (2026)

Estimating the Impact of Automation on Vocational Education: The Case of Technical Courses
by: Lima, Yuri, et al.
Published: (2024)

Detecting Derivatives using Specific and Invariant Descriptors
by: Fabien Poulard
Published: (2011)

The Brain Problem: Creative Constraint Optimization in Large Language Models
by: Marinello, Nicola, et al.
Published: (2026)

31. DATASET COMPLETO DE EVALUACIONES CRUZADAS RFC-EVAL-001 – 6 SISTEMAS DE IA (ENERO 2026).
by: Bernal Díaz, Víctor Cristóbal
Published: (2026)

Lady Chatterley: rewriting D. H. Lawrence’s novel on screen
by: Carlos Augusto Viana da Silva
Published: (2017)

Operational Inexpressibility at the Step-Duplicating Primitive Recursor Orientation Boundary
by: Rahnama, Moses
Published: (2026)

SENTINEL v2.0.0 — Code and Dataset for Distributed Multi-Agent LLM Governance Experiments
by: Gagne, Jason
Published: (2026)

A Deterministic Linguistic Entropy Gate for Large Language Model Pipelines
by: ROSATI BERISTAIN, ERNESTO
Published: (2026)

Complete mitochondrial genome of Echinorhynchus gadi (Acanthocephala, Echinorhynchida) and its phylogenetic implications
by: Chen, FeiMing, et al.
Published: (2026)

GALATEA II: Benchmarking LLM Safety in Clinical Simulation. Behavioural Safety and Ethical Robustness of Large Language Models in a Multi-Agent ICU Decision Support Architecture
by: Shlyakhta, Taras
Published: (2026)

Hernán Cortés y sus fieles repetidores
by: Marialba Pastor
Published: (2016)

Supplementary materials for Words That Won't Hold Still
by: Reynolds, Brett
Published: (2025)

VIOLENCE AND HOPE IN ARIEL, BY MARINA CARR
by: Zoraide Rodrigues Carrasco de Mesquita
Published: (2010)

Dark Matter as Void Object: Opacity, Halo Constraint Architecture, and the Prohibition-Ritual Template at Cosmological Scale
by: Eckert, Anthony
Published: (2026)

Smart Home Safety Monitoring System
by: Seema Patil, et al.
Published: (2026)