表紙画像

保存先:
書誌詳細
第一著者: Rahnama, Moses
フォーマット: Recurso digital
言語:
出版事項: Zenodo 2026
主題:
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
オンライン･アクセス:https://doi.org/10.5281/zenodo.20034530
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!

インターネット

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

類似資料