{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0164223,0.001015093,0.001761832,0.001577149,0.00321722,0.007332344,0.003575376,0.00314791,0.005755884],"category_scores_gemma":[0.06410193,0.001465554,0.001868991,0.0009257244,0.006532691,0.01799932,0.01222289,0.006281384,0.001496966],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003620051,"about_ca_system_score_gemma":0.003978746,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003115747,"about_ca_topic_score_gemma":0.001547468,"domain_scores_codex":[0.9704043,0.01102862,0.002874801,0.003807161,0.009471485,0.002413678],"domain_scores_gemma":[0.9394522,0.02609225,0.004656594,0.02004189,0.007641399,0.002115648],"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":[0.0001700692,0.00005790548,0.000918503,0.0001418063,0.00007139109,0.0005727872,0.002068412,0.01411786,0.003024247,0.9549997,0.001635004,0.02222222],"study_design_scores_gemma":[0.00009990293,0.0001189685,0.000276113,0.00007876592,0.00008599655,0.0003413025,0.0003627016,0.1300012,0.005820733,0.8417552,0.02096792,0.00009121266],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01683691,0.0001904404,0.973195,0.001229024,0.00009926411,0.0001625414,0.00006747516,0.0006930668,0.007526237],"genre_scores_gemma":[0.7423115,0.0004523003,0.2468112,0.0006312237,0.0003372029,0.0006418293,0.0003581009,0.0003862973,0.008070337],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0164223,"threshold_uncertainty_score":0.08685046,"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."}}