Robuta

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://www.cms.gov/research-statistics-data-and-systems/statistics-trends-and-reports/reports/research-reports-items/cms023291
insurance programimplementationstatechildrensynthesis
https://www.digitalocean.com/community/tutorials/codegen-open-source-language-model-for-code-generation
In this tutorial, we discuss CODEGEN, one of the hottest Language Modeling projects tackling code generation.
open sourcelanguage modelcodegentransformativeversatile
https://arxiv.org/abs/2504.18943
Abstract page for arXiv paper 2504.18943: GPU accelerated program synthesis: Enumerate semantics, not syntax!
gpu acceleratedprogram synthesisenumeratesemanticssyntax
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
https://arxiv.org/abs/1703.03539
Abstract page for arXiv paper 1703.03539: Interactive Program Synthesis
interactive programsynthesis
https://arxiv.org/abs/1805.04276
Abstract page for arXiv paper 1805.04276: Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
reinforcement learningleveraginggrammarneuralprogram