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.
{"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}
Pub 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}
Pub 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}
Pub 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}
Pub 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}
Pub 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}
Pub 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}
Pub 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}
Pub Date : 2023-02-01DOI: 10.4230/LIPIcs.APPROX/RANDOM.2023.11
E. Chlamtáč, Yu. S. Makarychev, A. Vakilian
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$.
针对红蓝集合覆盖和电路最小单调满足赋值问题，提出了新的逼近算法。我们的Red-Blue Set Cover算法在Elkin和Peleg的$tilde O(m^{1/2})$ -近似基础上实现了$tilde O(m^{1/3})$ -近似的改进($m$是集合的数量)。我们的MMSA近似算法$_t$(对于深度为$t$的电路)给出了$delta = frac{1}{3}2^{3-lceil t/2rceil}$的$tilde O(N^{1-delta})$近似，其中$N$是门和变量的数量。以前已知的MMSA $_t$与$tgeq 4$的非平凡近似算法。我们用这些问题的下界来补充这些结果:对于红蓝集合覆盖，我们提供了一个从Min $k$ -Union的近似保留约简，它给出了稠密vs随机猜想下的$tildeOmega(m^{1/4 - varepsilon})$硬度，而对于MMSA，我们概述了一个由Sherali—Adams加强的SDP松弛具有$N^{1-varepsilon}$的完整性间隙的证明，其中$varepsilon to 0$为电路深度$tto infty$。
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：