{"id":"W2752198235","doi":"10.1145/3084288","title":"Encoding Arguments","year":2017,"lang":"en","type":"review","venue":"ACM Computing Surveys","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; Carleton University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Probabilistic logic; Lemma (botany); Encoding (memory); Mathematical proof; Computer science; Generalization; Simple (philosophy); Theoretical computer science; Event (particle physics); Object (grammar); Set (abstract data type); Algorithm; Discrete mathematics; Mathematics; Artificial intelligence; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.005759392,0.001547192,0.001031991,0.002368908,0.001558326,0.005263416,0.0031673,0.003379022,0.02446397],"category_scores_gemma":[0.02557434,0.0007410308,0.001878349,0.003152578,0.006250046,0.01572789,0.004327327,0.005596534,0.008109498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00285178,"about_ca_system_score_gemma":0.001734627,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004646881,"about_ca_topic_score_gemma":0.0003139015,"domain_scores_codex":[0.993785,0.00244715,0.0004225376,0.0009195597,0.002049877,0.0003758729],"domain_scores_gemma":[0.9847675,0.01134502,0.0006958194,0.002098256,0.0009319594,0.0001613903],"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.00001275015,0.00001282667,0.00005083043,0.0002812234,0.000009451952,0.00003391498,0.00007002234,0.0005075997,0.0001146393,0.9602106,0.007362315,0.03133394],"study_design_scores_gemma":[0.00001774242,0.00001429979,0.00006934829,0.0004222692,0.00001845508,0.0002941214,0.00005175371,0.001606813,0.0005767308,0.8797192,0.1171905,0.00001887457],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.0042601,0.0439245,0.7215011,0.01791769,0.002842851,0.0002825659,0.001204646,0.001210423,0.2068561],"genre_scores_gemma":[0.3163724,0.09605081,0.4714001,0.01792749,0.00803028,0.001769408,0.003551219,0.001917322,0.08298092],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.02446397,"threshold_uncertainty_score":0.08184016,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2212533433874018,"score_gpt":0.4090374100271108,"score_spread":0.187784066639709,"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."}}