{"id":"W3035513392","doi":"10.1007/978-3-030-53518-6_4","title":"Leveraging the Information Contained in Theory Presentations","year":2020,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Constructive; Homomorphism; Algebra over a field; Automated theorem proving; Universal algebra; Core (optical fiber); Algebraic number; Theoretical computer science; Programming language; Mathematics; Discrete mathematics; Pure 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001217927,0.0002847385,0.0002912468,0.0004197248,0.0002399201,0.0008470674,0.00248039,0.0001455214,0.000008523394],"category_scores_gemma":[0.0001638488,0.0002014822,0.00008053063,0.0006293323,0.0003455851,0.001069108,0.0007945838,0.0006210125,0.00006949267],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001455064,"about_ca_system_score_gemma":0.0003740089,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000677526,"about_ca_topic_score_gemma":0.00006875595,"domain_scores_codex":[0.9978143,0.00008549747,0.0004996078,0.000568494,0.0006464334,0.0003856651],"domain_scores_gemma":[0.998201,0.0005694763,0.0002585866,0.0007473256,0.0001398074,0.0000838224],"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.00000406612,0.000007264726,0.0001364543,0.00002460418,0.000006618478,0.00002249729,0.006880418,0.007414026,0.000005146886,0.6683764,0.00002847518,0.317094],"study_design_scores_gemma":[0.0003008179,0.00007842362,0.000382756,0.00003910749,0.000004563144,0.0000333185,0.000005134254,0.2688026,0.00009245145,0.7216252,0.008277399,0.0003582207],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00001307366,0.0001928077,0.9850715,0.00195487,0.001145774,0.0005739261,6.756848e-7,0.0001170395,0.01093038],"genre_scores_gemma":[0.9775479,0.00001149614,0.01900813,0.002910708,0.0002760879,0.00002574261,0.000007723582,0.00001225014,0.000199902],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9775349,"threshold_uncertainty_score":0.8216206,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02102099926006137,"score_gpt":0.2499842026076086,"score_spread":0.2289632033475472,"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."}}