Conference
Automated Theorem Proving in Lean 4 with Large Language Models
| Τίτλος: | Automated Theorem Proving in Lean 4 with Large Language Models |
|---|---|
| Συγγραφείς: | Vyron, Tzimas, Sotiropoulos, Dionisios N. |
| Πηγή: | 2026 17th International Conference on Information, Intelligence, Systems & Applications (IISA) Information, Intelligence, Systems & Applications (IISA), 2026 17th International Conference on. :1-8 Jul, 2026 |
| Relation: | 2026 17th International Conference on Information, Intelligence, Systems & Applications (IISA) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!