Omslagsbild

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Rahnama, Moses
Materialtyp: Recurso digital
Språk:
Publicerad: Zenodo 2026
Ämnen:
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
Länkar:https://doi.org/10.5281/zenodo.20034530
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!

Internet

https://doi.org/10.5281/zenodo.20034530

Liknande verk