2 papers
cs.LG2018
Ain't Nobody Got Time For Coding: Structure-Aware Program Synthesis From Natural Language
Jakub Bednarek, Karol Piaskowski, Krzysztof Krawiec
Program synthesis from natural language (NL) is practical for humans and, once technically feasible, would significantly facilitate software development and revolutionize end-user…
cs.AI2016
Distance Metric Ensemble Learning and the Andrews-Curtis Conjecture
Krzysztof Krawiec, Jerry Swan
Motivated by the search for a counterexample to the Poincaré conjecture in three and four dimensions, the Andrews-Curtis conjecture was proposed in 1965. It is now generally suspec…