ProgramL:AGraph-basedProgramRepresentationforDataFlowAnalysisandCompilerOptimizationsChrisCummins1ZachariasV.Fisches2TalBen-Nun2TorstenHoefler2MichaelO’Boyle3HughLeather1AbstractInputProgramOutput...
LeveragingLanguagetoLearnProgramAbstractionsandSearchHeuristicsCatherineWong1KevinEllis2JoshuaB.Tenenbaum13JacobAndreas1Abstractmodelsusingnaturallanguagesupervision.InLAPS,lan-guageguideslearningo...
LatentProgrammer:DiscreteLatentCodesforProgramSynthesisJoeyHong1DavidDohan1RishabhSingh1CharlesSutton1ManzilZaheer1AbstractwritePrograms.SynthesismethodsoftensearchthroughProgramsinanorderdetermine...
format(ip.strip())Examplee.g.codeanalyzer,compiler✓Good(Noerror)Badex✘Bad(Error!)x=analysis.get(ip,None)x=analysis.geifnotx:ifnotx:print("PANIC!No{}".print("PANICformat(ip.strip())"No{}".formBrea...
Alarge-scalebenchmarkforfew-shotPrograminductionandsynthesisFerranAlet1JavierLopez-Contreras1JamesKoppel1MaxwellNye1ArmandoSolar-Lezama1TomásLozano-Pérez1LesliePackKaelbling1JoshuaB.Tenenbaum1Abs...
Graph-based,Self-SupervisedProgramRepairfromDiagnosticFeedbackMichihiroYasunaga1PercyLiang1LSTMLASTbMstractLSTMBrokenProgramEvaluator(compiler)WeconsidertheprLoSbTlMemoflearnLiSnTgMtorepairpro-(`ch...
GeneratingProgrammaticReferringExpressionsviaProgramSynthesisJianiHuang1CalvinSmith2OsbertBastani1RishabhSingh3AwsAlbarghouthi2MayurNaik1Abstractthequestionandasymbolicrepresentationoftheimage,weca...
ECLIPSE:AnExtreme-ScaleLinearProgramSolverforWeb-ApplicationsKinjalBasu1AmolGhoting1RahulMazumder2YaoPan1Abstract(Borisyuketal.,2017;Kenthapadietal.,2017),restaurantstousers,etc.Keyproblemsarisingi...
LearningtoInferProgramSketchesMaxwellNye12LukeHewitt123JoshuaTenenbaum124ArmandoSolar-Lezama2Abstractwaytocombinetheselanguageconstructstoconstructanexpressionwiththedesiredbehavior.Ourgoalistobuil...
LearningNeurosymbolicGenerativeModelsviaProgramSynthesisHalleyYoung1OsbertBastani1MayurNaik1Abstractblereconstructingtheoriginalimage(right)(IIzukaetal.,2017).Real-worlddataoftencontainssuchglobals...
SelectingRepresentativeExamplesforProgramSynthesisYewenPu1ZacheryMiranda1ArmandoSolar-Lezama1LesliePackKaelbling1Abstractdataset,suchthatitissufficienttospecifyacorrectProgram,yetsmallenoughtoencod...
NeuralProgramSynthesisfromDiverseDemonstrationVideosShao-HuaSun1HyeonwooNoh2SriramSomasundaram1JosephJ.Lim1AbstractDemonstrationsInterpretingdecisionmakinglogicindemonstra-demo1SynthesizedProgramti...
RobustFill:NeuralProgramLearningunderNoisyI/OJacobDevlin1JonathanUesato2SuryaBhupatiraju2RishabhSingh1Abdel-rahmanMohamed1PushmeetKohli1AbstractInputStringOutputStringTheproblemofautomaticallygener...