Artykuł w czasopiśmie
Brak miniatury
Licencja
Dostęp zamkniętyWikiCoder: Learning to Write Knowledge-Powered Code
| cris.lastimport.scopus | 2024-02-12T20:45:07Z |
| dc.abstract.en | We tackle the problem of automatic generation of computer programs from a few pairs of input-output examples. The starting point of this work is the observation that in many applications a solution program must use external knowledge not present in the examples: we call such programs knowledge-powered since they can refer to information collected from a knowledge graph such as Wikipedia. This paper makes a first step towards knowledge-powered program synthesis. We present WikiCoder, a system building upon state of the art machine-learned program synthesizers and integrating knowledge graphs. We evaluate it to show its wide applicability over different domains and discuss its limitations. WikiCoder solves tasks that no program synthesizers were able to solve before thanks to the use of knowledge graphs, while integrating with recent developments in the field to operate at scale. |
| dc.affiliation | Uniwersytet Warszawski |
| dc.conference.country | Francja |
| dc.conference.datefinish | 2023-04-27 |
| dc.conference.datestart | 2023-04-26 |
| dc.conference.place | Paris |
| dc.conference.series | International Symposium on Model Checking Software |
| dc.conference.series | International Symposium on Model Checking Software |
| dc.conference.seriesweblink | https://link.springer.com/conference/spin |
| dc.conference.shortcut | SPIN 2023 |
| dc.conference.weblink | https://spin-web.github.io/SPIN2023/ |
| dc.contributor.author | Margueritte, Gaëtan |
| dc.contributor.author | Fijalkow, Nathanaël |
| dc.contributor.author | Matricon, Théo |
| dc.date.accessioned | 2024-01-23T07:21:19Z |
| dc.date.available | 2024-01-23T07:21:19Z |
| dc.date.issued | 2023 |
| dc.description.finance | Publikacja bezkosztowa |
| dc.identifier.doi | 10.1007/978-3-031-32157-3_7 |
| dc.identifier.uri | https://repozytorium.uw.edu.pl//handle/item/125084 |
| dc.identifier.weblink | https://link.springer.com/chapter/10.1007/978-3-031-32157-3_7 |
| dc.language | eng |
| dc.pbn.affiliation | computer and information sciences |
| dc.relation.pages | 123–140 |
| dc.rights | ClosedAccess |
| dc.sciencecloud | nosend |
| dc.title | WikiCoder: Learning to Write Knowledge-Powered Code |
| dc.type | JournalArticle |
| dspace.entity.type | Publication |