This is a very interesting concept. It makes me wonder whether something like this could be applied to classification as a means of extracting human-readable heuristics. The paper can be found here for those interested: www.microsoft.com/en-us/research/uploads/prod/2019/04/HeterogeneousExtraction.pdf
I've been reading about "Program Synthesis" for over 20 years, but I have never seen a single example of a computer program being created entirely by an algorithm starting from scratch. For example, I want a program where I input a positive integer and it outputs TRUE or FALSE according to whether or not the input is a prime number, or it outputs the list of factors of the input. Why is that? The only answer I can think of is because nobody has such a system - nobody has actually figured it out. So what good is a lot of talk with no results - AT ALL?
it sounds like you want to see this talk: "William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]" ua-cam.com/video/OyfBQmvr2Hc/v-deo.html
An hour and a half video with hundreds of formulas - total obfuscation - as always! What is the program produced? Right here??? There's nothing there & nothing here. What excuse do you have for not simply giving the program here???
@@CharlieForEve I recently wrote an undergrad paper on the subject of program synthesis. The storyboard programming tool (SPT) can be downloaded and some algorithms can be synthesized with it. In Solar-Lezama's paper on the tool, he shows an example of synthesizing a program that can reverse a linked list. I haven't watched this video all the way through so this may have been covered. I would guess an algorithm could be synthesized to perform the function you describe, given enough information in the form of a set of scenarios, inductive definitions, and a loop skeleton. Granted this tool is an inefficient way to create a program (it requires too much specification to be useful), it is technically a tool that can synthesize programs. Hope this helped.
@@nahiyanalamgir7056 For decades. I solved the problem in 1977, after looking at a dozen simple programs for 1.75 years. You just have to do what any programmer does but formalize it.
There is no program listing here or anywhere in your references below. How about simply giving the program RIGHT HERE? What excuse? You send people on a wild goose chase with 90 minute videos with hundreds of expressions. Please list the program that is synthesized, ok? Or admit it doesn't exist.
How can i start working with PROSE? Which problem can I solve with?
Wow. Mind blown.
The 'See more at …' link in the video description is broken
somebody copied dots as link. The full link is www.microsoft.com/en-us/research/video/program-synthesis-meets-machine-learning/
This is a very interesting concept. It makes me wonder whether something like this could be applied to classification as a means of extracting human-readable heuristics. The paper can be found here for those interested: www.microsoft.com/en-us/research/uploads/prod/2019/04/HeterogeneousExtraction.pdf
amazing video
Awesome!
I've been reading about "Program Synthesis" for over 20 years, but I have never seen a single example of a computer program being created entirely by an algorithm starting from scratch. For example, I want a program where I input a positive integer and it outputs TRUE or FALSE according to whether or not the input is a prime number, or it outputs the list of factors of the input. Why is that? The only answer I can think of is because nobody has such a system - nobody has actually figured it out. So what good is a lot of talk with no results - AT ALL?
it sounds like you want to see this talk: "William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]" ua-cam.com/video/OyfBQmvr2Hc/v-deo.html
An hour and a half video with hundreds of formulas - total obfuscation - as always! What is the program produced? Right here??? There's nothing there & nothing here. What excuse do you have for not simply giving the program here???
@@CharlieForEve I recently wrote an undergrad paper on the subject of program synthesis. The storyboard programming tool (SPT) can be downloaded and some algorithms can be synthesized with it. In Solar-Lezama's paper on the tool, he shows an example of synthesizing a program that can reverse a linked list. I haven't watched this video all the way through so this may have been covered. I would guess an algorithm could be synthesized to perform the function you describe, given enough information in the form of a set of scenarios, inductive definitions, and a loop skeleton. Granted this tool is an inefficient way to create a program (it requires too much specification to be useful), it is technically a tool that can synthesize programs. Hope this helped.
Have you been reading scientific papers on program synthesis?
@@nahiyanalamgir7056 For decades. I solved the problem in 1977, after looking at a dozen simple programs for 1.75 years. You just have to do what any programmer does but formalize it.
There is no program listing here or anywhere in your references below. How about simply giving the program RIGHT HERE? What excuse? You send people on a wild goose chase with 90 minute videos with hundreds of expressions. Please list the program that is synthesized, ok? Or admit it doesn't exist.
They've never given an example of a program created by program synthesis yet talk about program synthesis as if it exists. What stupid nonsense.