:: Library Catalog

Imatge de la portada

Guardat en:

Dades bibliogràfiques
Autor principal:	Rahnama, Moses
Format:	Recurso digital
Idioma:
Publicat:	Zenodo 2026
Matèries:	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 línia:	https://doi.org/10.5281/zenodo.20034530
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Vampire
per: Bártek, Filip, et al.
Publicat: (2025)

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

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

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

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

Automated Deduction – CADE 29
Publicat: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Detecting Derivatives using Specific and Invariant Descriptors
per: Fabien Poulard
Publicat: (2011)

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

31. DATASET COMPLETO DE EVALUACIONES CRUZADAS RFC-EVAL-001 – 6 SISTEMAS DE IA (ENERO 2026).
per: Bernal Díaz, Víctor Cristóbal
Publicat: (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
per: Shlyakhta, Taras
Publicat: (2026)

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

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

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

retracted
per: Fathi, Kevin
Publicat: (2025)

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

String Distances for Near-duplicate Detection
per: Iulia D̆an̆ail̆a
Publicat: (2012)

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

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

On the non-existence of non-trivial Collatz cycles: a conditional formal proof in Lean 4 with documented structural obstructions
per: Merle, Eric
Publicat: (2026)

Void-Pair Conservation as the Physical Mechanism of Quantum Entanglement and Bell Correlations
per: Martin, Luke
Publicat: (2026)

TSB: A Time-Saved Benchmark for AI Systems — Measuring Net Productivity Impact Across Knowledge Work
per: Shalom Lijo, Solomon
Publicat: (2026)