{"id":"W2963739263","doi":"","title":"Neural Guided Constraint Logic Programming for Program Synthesis","year":2018,"lang":"en","type":"article","venue":"arXiv (Cornell University)","topic":"Software Engineering Research","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Artificial neural network; Artificial intelligence; Constraint programming; Concurrent constraint logic programming; Constraint (computer-aided design); Inductive programming; Logic programming; Constraint logic programming; Recurrent neural network; Constraint satisfaction; Representation (politics); Theoretical computer science; Programming paradigm; Programming language; Mathematical optimization; Mathematics; Stochastic programming","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007657683,0.0007902334,0.0004797975,0.0004712993,0.000369419,0.0007521986,0.001105595,0.0008057768,0.005243319],"category_scores_gemma":[0.003307683,0.0004446863,0.0008175849,0.0006231281,0.001036728,0.001294642,0.0008933524,0.00185203,0.0007127866],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001095266,"about_ca_system_score_gemma":0.001457864,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002896416,"about_ca_topic_score_gemma":0.007153845,"domain_scores_codex":[0.9994709,0.0001751627,0.00003032122,0.0001120638,0.0001664901,0.00004520115],"domain_scores_gemma":[0.9990687,0.0006710522,0.00005640459,0.0000896023,0.00009114449,0.00002313895],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00006708017,0.00006599297,0.0002474044,0.0002891753,0.00004595389,0.00008575022,0.00009040967,0.7249474,0.005471263,0.1309367,0.003179622,0.1345732],"study_design_scores_gemma":[0.00001219146,0.00001599977,0.00002043139,0.00001968647,0.000007897974,0.00001856924,0.0000083626,0.9379011,0.002176415,0.0566266,0.003187057,0.000005692517],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00558528,0.0002301891,0.9886348,0.0002373073,0.00002080739,0.00004563349,0.00007213566,0.0007319226,0.004441967],"genre_scores_gemma":[0.1797899,0.0004200419,0.8143584,0.0002279405,0.00003017546,0.0002825398,0.0002534118,0.0003550626,0.004282476],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005243319,"threshold_uncertainty_score":0.01754069,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1162486378736608,"score_gpt":0.2418630280317104,"score_spread":0.1256143901580496,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}