Image de couverture de livre

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

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteur principal:	Rahnama, Moses
Format:	Recurso digital
Publié:	Zenodo 2026
Sujets:	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
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Vampire
par: Bártek, Filip, et autres
Publié: (2025)

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

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

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

THE INFLUENCE OF PEOPLE MANAGEMENT PRACTICES ON A CULTURE OF LEAN MANUFACTURING
par: Luciano Trentin
Publié: (2022)

Automated Deduction – CADE 29
Publié: (2023)

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

Developer Utilities Reference Data: Token Costs, Model Pricing, and Text Processing Benchmarks
par: Khare, Mohit
Publié: (2026)

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

Reliability Inference Drives Cue Extraction in Large Language Models Consuming External Reasoning Traces
par: HIDEKI
Publié: (2026)

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

Effects of traffic high variability in probing packet dispersion traces
par: Marco Alzate
Publié: (2007)

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

Reducing AI Entropy: The Information Dynamics of Model Safety
par: Kugelmass, Joe
Publié: (2025)

Reducing AI Entropy: The Information Dynamics of Model Safety
par: Kugelmass, Joe
Publié: (2025)

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

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

Prompt-Based No-Code Website Generation Platform
par: Dibjyoti Hota, Dibjyoti Hota, et autres
Publié: (2025)

REAL-AI-Benchmark: Real-World Reasoning and Physical-AI Benchmark Suite
par: Ivković, Jovan
Publié: (2026)

Metacognition Benchmark: Evaluating Confidence Calibration and Sycophancy Resistance in Clinical AI
par: Khan, Nabeera
Publié: (2026)

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

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

AgentBelt: Runtime Guardrails for LLM Agent Tool Calls — ASE 2026 Artifact
par: Anonymous
Publié: (2026)

Chapter Extracting Information from Construction Safety Requirements Using Large Language Model
par: Khan, Nasrullah, et autres
Publié: (2024)

The Logical Origin of CP Violation
par: Chan, H.-K.
Publié: (2026)

Estimating the Impact of Automation on Vocational Education: The Case of Technical Courses
par: Lima, Yuri, et autres
Publié: (2024)

Detecting Derivatives using Specific and Invariant Descriptors
par: Fabien Poulard
Publié: (2011)

The Brain Problem: Creative Constraint Optimization in Large Language Models
par: Marinello, Nicola, et autres
Publié: (2026)

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

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

Operational Inexpressibility at the Step-Duplicating Primitive Recursor Orientation Boundary
par: Rahnama, Moses
Publié: (2026)

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

A Deterministic Linguistic Entropy Gate for Large Language Model Pipelines
par: ROSATI BERISTAIN, ERNESTO
Publié: (2026)

Complete mitochondrial genome of Echinorhynchus gadi (Acanthocephala, Echinorhynchida) and its phylogenetic implications
par: Chen, FeiMing, et autres
Publié: (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
par: Shlyakhta, Taras
Publié: (2026)

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

Supplementary materials for Words That Won't Hold Still
par: Reynolds, Brett
Publié: (2025)

VIOLENCE AND HOPE IN ARIEL, BY MARINA CARR
par: Zoraide Rodrigues Carrasco de Mesquita
Publié: (2010)

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

Smart Home Safety Monitoring System
par: Seema Patil, et autres
Publié: (2026)