{"id":"W4254363650","doi":"10.1145/2858965.2814305","title":"Incremental computation with names","year":2015,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Algorithms and Data Compression","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Defense Advanced Research Projects Agency; Center for Selective C-H Functionalization, National Science Foundation","keywords":"Computation; Computer science; Class (philosophy); Scratch; Probabilistic logic; Theoretical computer science; Functional programming; State (computer science); Programming language; Artificial intelligence","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.002769875,0.0005841907,0.0007196863,0.001181765,0.001509296,0.003238457,0.002637048,0.0009081404,0.006175023],"category_scores_gemma":[0.01257804,0.0007746067,0.001735388,0.001347514,0.003468008,0.008937418,0.006068159,0.002091128,0.001431675],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001536924,"about_ca_system_score_gemma":0.002324081,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002722962,"about_ca_topic_score_gemma":0.004135415,"domain_scores_codex":[0.9970639,0.0007445195,0.0002225632,0.0005639105,0.001079239,0.0003258688],"domain_scores_gemma":[0.9944423,0.002362566,0.0002534328,0.002008396,0.0007603706,0.0001729764],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003196225,0.00005218436,0.001552766,0.0002217762,0.00005113277,0.0002257321,0.001042693,0.02537217,0.006595007,0.8273686,0.008553873,0.1286444],"study_design_scores_gemma":[0.00005912894,0.00007496443,0.0002880479,0.00008294958,0.0001051468,0.0002600622,0.0001576709,0.2308362,0.02131341,0.6691146,0.0776368,0.00007096339],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01094992,0.0001896846,0.9737124,0.0004455355,0.0001230743,0.00008724538,0.0001706446,0.006930908,0.007390627],"genre_scores_gemma":[0.2729504,0.0004076163,0.7083766,0.0005271788,0.0001858817,0.0003494171,0.0006065819,0.002351755,0.0142445],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006175023,"threshold_uncertainty_score":0.02065748,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0406810661610968,"score_gpt":0.2739843194412407,"score_spread":0.2333032532801439,"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."}}