{"title":"WikiCoder: Learning to Write Knowledge-Powered Code","authors":"Théo Matricon, Nathanaël Fijalkow, Gaetan Margueritte","doi":"10.48550/arXiv.2303.08574","DOIUrl":"https://doi.org/10.48550/arXiv.2303.08574","url":null,"abstract":"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.","PeriodicalId":54319,"journal":{"name":"Spin","volume":"1 1","pages":"123-140"},"PeriodicalIF":1.8,"publicationDate":"2023-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46829995","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SpinPub Date : 2023-03-08DOI: 10.1142/s2010324723400064
E. Gan’shina, A. Granovsky, V. Garshin, I. M. Pripechenkov, A. Sitnikov, M. Volochaev, V. V. Ryl'kov, S. Nikolaev
{"title":"Magneto-Optical Spectroscopy of Nanocomposites (CoFeZr)x(Al2O3)100-x","authors":"E. Gan’shina, A. Granovsky, V. Garshin, I. M. Pripechenkov, A. Sitnikov, M. Volochaev, V. V. Ryl'kov, S. Nikolaev","doi":"10.1142/s2010324723400064","DOIUrl":"https://doi.org/10.1142/s2010324723400064","url":null,"abstract":"","PeriodicalId":54319,"journal":{"name":"Spin","volume":" ","pages":""},"PeriodicalIF":1.8,"publicationDate":"2023-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47367188","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SpinPub Date : 2023-02-23DOI: 10.1142/s2010324723500121
A. Khaldi, M. Zemouli, Y. Benallou, M. Damou, K. Amara, M. El Keurti
{"title":"First-Principles Study of Structural, Electronic, Magnetic and Half-Metallic Properties of Mn2ZrX (X = As, Bi) Full Heusler alloys","authors":"A. Khaldi, M. Zemouli, Y. Benallou, M. Damou, K. Amara, M. El Keurti","doi":"10.1142/s2010324723500121","DOIUrl":"https://doi.org/10.1142/s2010324723500121","url":null,"abstract":"","PeriodicalId":54319,"journal":{"name":"Spin","volume":"1 1","pages":""},"PeriodicalIF":1.8,"publicationDate":"2023-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41336760","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SpinPub Date : 2023-02-17DOI: 10.1142/s2010324723400052
E. M. Jalal, A. Lafhal, H. Saadi, A. Hasnaoui, M. Madani, M. El Bouziani
{"title":"Magnetic behavior of spin chain with hexagonal shell and negative core-shell exchange coupling: Monte Carlo simulation and mean field approach","authors":"E. M. Jalal, A. Lafhal, H. Saadi, A. Hasnaoui, M. Madani, M. El Bouziani","doi":"10.1142/s2010324723400052","DOIUrl":"https://doi.org/10.1142/s2010324723400052","url":null,"abstract":"","PeriodicalId":54319,"journal":{"name":"Spin","volume":" ","pages":""},"PeriodicalIF":1.8,"publicationDate":"2023-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45658896","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SpinPub Date : 2023-02-09DOI: 10.1142/s2010324723500078
T. F. Alhuwaymel, T. Kubota, Jun-young Kim, K. Takanashi, A. Hirohata
{"title":"Half-Metallic Bandgap Measurement Using Circularly-Polarised Infrared Light","authors":"T. F. Alhuwaymel, T. Kubota, Jun-young Kim, K. Takanashi, A. Hirohata","doi":"10.1142/s2010324723500078","DOIUrl":"https://doi.org/10.1142/s2010324723500078","url":null,"abstract":"","PeriodicalId":54319,"journal":{"name":"Spin","volume":" ","pages":""},"PeriodicalIF":1.8,"publicationDate":"2023-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44535316","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SpinPub Date : 2023-02-09DOI: 10.1142/s201032472350008x
M. Shahri Naseri
{"title":"Spin injection in trilayer structures by application of the electric and magnetic fields","authors":"M. Shahri Naseri","doi":"10.1142/s201032472350008x","DOIUrl":"https://doi.org/10.1142/s201032472350008x","url":null,"abstract":"","PeriodicalId":54319,"journal":{"name":"Spin","volume":" ","pages":""},"PeriodicalIF":1.8,"publicationDate":"2023-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44428736","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SpinPub Date : 2023-02-09DOI: 10.1142/s2010324723500108
S. Chigarev, L. Fomin, D. P. Rai, E. Vilkov, O. A. Byshevsky-Konopko, D. Zagorsky, I. Doludenko, A. Panas
{"title":"Thermal and Dynamic Radiation in the THz range under Spin Current Injection in Magnetic Junctions","authors":"S. Chigarev, L. Fomin, D. P. Rai, E. Vilkov, O. A. Byshevsky-Konopko, D. Zagorsky, I. Doludenko, A. Panas","doi":"10.1142/s2010324723500108","DOIUrl":"https://doi.org/10.1142/s2010324723500108","url":null,"abstract":"","PeriodicalId":54319,"journal":{"name":"Spin","volume":" ","pages":""},"PeriodicalIF":1.8,"publicationDate":"2023-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43243921","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SpinPub Date : 2023-02-03DOI: 10.1142/s2010324723400040
D. A. Bukreev, M. S. Derevyanko, A. A. Moiseev, I. Matsyuk, A. Ballesteros, A. Svalov, A. V. Semirov
{"title":"Magneto-impedance tomography of composite CuBe/FeCoNi wires","authors":"D. A. Bukreev, M. S. Derevyanko, A. A. Moiseev, I. Matsyuk, A. Ballesteros, A. Svalov, A. V. Semirov","doi":"10.1142/s2010324723400040","DOIUrl":"https://doi.org/10.1142/s2010324723400040","url":null,"abstract":"","PeriodicalId":54319,"journal":{"name":"Spin","volume":" ","pages":""},"PeriodicalIF":1.8,"publicationDate":"2023-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45379410","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SpinPub Date : 2023-02-01DOI: 10.4230/LIPIcs.APPROX/RANDOM.2023.11
E. Chlamtáč, Yu. S. Makarychev, A. Vakilian
{"title":"Approximating Red-Blue Set Cover and Minimum Monotone Satisfying Assignment","authors":"E. Chlamtáč, Yu. S. Makarychev, A. Vakilian","doi":"10.4230/LIPIcs.APPROX/RANDOM.2023.11","DOIUrl":"https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2023.11","url":null,"abstract":"We provide new approximation algorithms for the Red-Blue Set Cover and Circuit Minimum Monotone Satisfying Assignment (MMSA) problems. Our algorithm for Red-Blue Set Cover achieves $tilde O(m^{1/3})$-approximation improving on the $tilde O(m^{1/2})$-approximation due to Elkin and Peleg (where $m$ is the number of sets). Our approximation algorithm for MMSA$_t$ (for circuits of depth $t$) gives an $tilde O(N^{1-delta})$ approximation for $delta = frac{1}{3}2^{3-lceil t/2rceil}$, where $N$ is the number of gates and variables. No non-trivial approximation algorithms for MMSA$_t$ with $tgeq 4$ were previously known. We complement these results with lower bounds for these problems: For Red-Blue Set Cover, we provide a nearly approximation preserving reduction from Min $k$-Union that gives an $tildeOmega(m^{1/4 - varepsilon})$ hardness under the Dense-vs-Random conjecture, while for MMSA we sketch a proof that an SDP relaxation strengthened by Sherali--Adams has an integrality gap of $N^{1-varepsilon}$ where $varepsilon to 0$ as the circuit depth $tto infty$.","PeriodicalId":54319,"journal":{"name":"Spin","volume":"32 3 1","pages":"11:1-11:19"},"PeriodicalIF":1.8,"publicationDate":"2023-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89537655","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}