{"id":"W3043577640","doi":"10.48550/arxiv.2006.09292","title":"Leveraging the Information Contained in Theory Presentations","year":2020,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Constructive; Homomorphism; Computer science; Universal algebra; Algebra over a field; Core (optical fiber); Algebraic number; Mathematics; Pure mathematics; Programming language","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.0151178,0.00187508,0.002425453,0.01140803,0.002836422,0.01355,0.006193527,0.002866057,0.09048479],"category_scores_gemma":[0.06897307,0.003066113,0.002634621,0.007765593,0.00329738,0.04305489,0.0136856,0.005912661,0.04064807],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003297172,"about_ca_system_score_gemma":0.004625011,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001122764,"about_ca_topic_score_gemma":0.00165476,"domain_scores_codex":[0.9871165,0.004429599,0.00118474,0.001629409,0.005036653,0.0006030258],"domain_scores_gemma":[0.9261826,0.03960736,0.001879894,0.0237755,0.007229517,0.001325085],"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.0004561473,0.0002694248,0.002055906,0.002040845,0.0002056132,0.001106627,0.003331186,0.006599169,0.00684381,0.5288283,0.1166169,0.3316461],"study_design_scores_gemma":[0.00009893761,0.00008776344,0.000393045,0.0005392316,0.0001611969,0.0007181214,0.0004972014,0.01484158,0.01399617,0.5031068,0.4653926,0.0001672931],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005814115,0.001184435,0.8668437,0.0032699,0.0006684118,0.0003998047,0.00857764,0.04033272,0.07290921],"genre_scores_gemma":[0.2233457,0.004421859,0.6427524,0.002281298,0.00147111,0.0008179534,0.02344587,0.0351235,0.06634033],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.09048479,"threshold_uncertainty_score":0.3027018,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07480897064985971,"score_gpt":0.2045041519993691,"score_spread":0.1296951813495094,"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."}}