{"id":"W2903153676","doi":"","title":"Leveraging Constraint Logic Programming for Neural Guided Program Synthesis.","year":2018,"lang":"en","type":"article","venue":"International Conference on Learning Representations","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Canadian Institute for Advanced Research; University of Toronto","funders":"","keywords":"Computer science; Logic programming; Programming language; Constraint programming; Concurrent constraint logic programming; Constraint logic programming; Logic program; Constraint satisfaction; Constraint (computer-aided design); Inductive programming; Theoretical computer science; Artificial intelligence; Functional logic programming; Programming paradigm; Mathematical optimization; Mathematics","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.000793537,0.0007880935,0.0005463319,0.0006592454,0.0004068303,0.001115567,0.001478301,0.0009289826,0.005522368],"category_scores_gemma":[0.00450811,0.0004524004,0.0008259738,0.0007989804,0.0009076907,0.00162135,0.001357966,0.001867104,0.0008215808],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008192378,"about_ca_system_score_gemma":0.001684528,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005831415,"about_ca_topic_score_gemma":0.01626067,"domain_scores_codex":[0.9994258,0.0001688356,0.00003921653,0.0001295727,0.0001588168,0.00007784989],"domain_scores_gemma":[0.9984272,0.001128382,0.0000927398,0.0001495123,0.0001564103,0.00004581597],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001504207,0.0001839415,0.0006190416,0.0003042453,0.00009254133,0.000163125,0.0001165693,0.6733792,0.007826538,0.06418832,0.005737187,0.2472389],"study_design_scores_gemma":[0.00001150855,0.00001942579,0.00002751497,0.00001514504,0.00001153867,0.00001343575,0.00001471426,0.9659635,0.00146483,0.03124493,0.001209846,0.000003648644],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01388949,0.0003353458,0.9763525,0.0003287884,0.00005464397,0.0001140958,0.0002147106,0.001362287,0.007348033],"genre_scores_gemma":[0.378216,0.0003296268,0.6159045,0.0003581035,0.00003636904,0.000311691,0.0006812328,0.0004147929,0.003747722],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005831415,"threshold_uncertainty_score":0.01847416,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1236522775266924,"score_gpt":0.3885364596589281,"score_spread":0.2648841821322356,"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."}}