TY  - RPRT
TI  - LLVM Translation Validation Automated with Large Language Models and Lean
AU  - Chunhao Liao
AU  - Hongxu Xu
AU  - Xintong Zhou
AU  - Yizhou Zhang
AU  - Chengnian Sun
PY  - 2026
UR  - https://arxiv.org/abs/2609.19583
ID  - 2609.19583
ER  -