Conference
VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models
| Τίτλος: | VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models |
|---|---|
| Συγγραφείς: | Yang, Aidan Z.H., Takashima, Yoshiki, Paulsen, Brandon, Dodds, Josiah, Kroening, Daniel |
| Πηγή: | 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2025 40th IEEE/ACM International Conference on. :1453-1463 Nov, 2025 |
| Relation: | 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!