https://openreview.net/forum?id=Q5pVZCrrKr&referrer=%5Bthe%20profile%20of%20Kai%20Yan%5D(%2Fprofile%3Fid%3D~Kai_Yan1)
Inductive program synthesis, or programming by example, requires synthesizing functions from input-output examples that generalize to unseen inputs. While...
llm agentsbenchmarkingreasoningcapabilitiesinductive
https://nap.nationalacademies.org/trb/118/commercial-truck-and-bus-safety-synthesis-program-research-results-digest
Browse 7 science publications on Commercial Truck and Bus Safety Synthesis Program Research Results Digest from the National Academies Press.
commercial truckbus safetyprogram researchsynthesisresults
https://www.sri.com/publication/artificial-intelligence-pubs/proposal-for-research-on-automatic-program-synthesis-systems/
Develop a general plan to conduct sets of experiments which utilize results of the study to date.
automatic program synthesisproposalresearchsystemssri
https://deepai.org/publication/leveraging-grammar-and-reinforcement-learning-for-neural-program-synthesis
05/11/18 - Program synthesis is the task of automatically generating a program consistent with a specification. Recent years have seen propos...
reinforcement learningprogram synthesisleveraginggrammarneural