{"id":"W1509691122","doi":"","title":"Trustable Communication Between Mathematics Systems","year":2003,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Interface (matter); Computer science; Set (abstract data type); Extension (predicate logic); Process (computing); Connection (principal bundle); User interface; Theoretical computer science; Mathematics; Programming language; Operating system","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.0006941162,0.00008662281,0.0001603171,0.00004158109,0.0001279523,0.0002807666,0.0006566642,0.00005830271,0.00001500167],"category_scores_gemma":[0.00003834449,0.00006637975,0.00003417869,0.0002225734,0.0000204126,0.0002595047,0.00007802917,0.00006931466,0.0002536702],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002952664,"about_ca_system_score_gemma":0.00003150605,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001189491,"about_ca_topic_score_gemma":0.000005298647,"domain_scores_codex":[0.9991057,0.0001183917,0.0002418087,0.0001548381,0.0001796112,0.0001996615],"domain_scores_gemma":[0.998799,0.0001039261,0.00009781696,0.0008690614,0.00006659493,0.00006358753],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[4.71382e-8,0.00002223822,0.001460327,0.00002615527,0.000008934945,5.126497e-7,0.0003244103,0.000008284151,0.00000654194,0.9966116,0.00073292,0.0007980608],"study_design_scores_gemma":[0.0008703668,0.0001678758,0.0006591703,0.00002618356,0.00003418408,0.00008656576,0.001649318,0.02530655,0.002258882,0.313721,0.6543987,0.0008211824],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0005713255,0.0003790734,0.8184538,0.00005267341,0.0001693693,0.0001970641,1.32821e-7,0.0002154953,0.1799611],"genre_scores_gemma":[0.960352,0.0000087769,0.0336828,0.00002114711,0.00002331835,0.00001969928,0.000001810798,0.000006206821,0.005884244],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9597807,"threshold_uncertainty_score":0.3260502,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04302467581114963,"score_gpt":0.2598924201724105,"score_spread":0.2168677443612609,"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."}}