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 |
| ISBN: | 9798319538277 9798319538284 |
|---|---|
| DOI: | 10.1109/IISA71656.2026.11705596 |