Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Manjikian, Hovig"'
Autor:
Manjikian, Hovig
This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. The purpose of the annotations is to facilitate th
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-337369
Autor:
Diffner, Fredrik, Manjikian, Hovig
A major challenge in training machine learning models is the gathering and labeling of a sufficiently large training data set. A common solution is the use of synthetically generated data set to expand or replace a real data set. This paper examines
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-280334
Autor:
Diffner, Fredrik, Manjikian, Hovig
A major challenge in training machine learning models is the gathering and labeling of a sufficiently large training data set. A common solution is the use of synthetically generated data set to expand or replace a real data set. This paper examines
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e0f2fb2bb8af4d32e15e9cab07054cd2
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-280334
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-280334