{"id":"W2914042395","doi":"","title":"Universality of proofs","year":2017,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Mathematical proof; Interoperability; Computer science; Universality (dynamical systems); Breakout; Reuse; Software engineering; Programming language; Mathematics; World Wide Web; Engineering","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.02169252,0.001007691,0.00204989,0.005002142,0.003189509,0.009033601,0.002757802,0.001600663,0.01400818],"category_scores_gemma":[0.05972836,0.001825082,0.003358768,0.002548498,0.0125754,0.02411102,0.01382227,0.006469044,0.002606802],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004468611,"about_ca_system_score_gemma":0.00283329,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008444493,"about_ca_topic_score_gemma":0.0004466191,"domain_scores_codex":[0.9677218,0.01207914,0.002971431,0.007900467,0.00704602,0.002281123],"domain_scores_gemma":[0.9256371,0.04334212,0.002814096,0.01775878,0.008603867,0.001844048],"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.00003428136,0.00001609483,0.0002844361,0.000239887,0.00003023609,0.00005414726,0.0009540381,0.0005478875,0.0006090516,0.9721566,0.001621747,0.02345155],"study_design_scores_gemma":[0.00001743314,0.00003241665,0.0003196881,0.0001711169,0.00003775396,0.0001847372,0.0001763061,0.001849137,0.001979397,0.9555805,0.03962605,0.00002545903],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02221081,0.009272446,0.8795968,0.003699278,0.000657798,0.0003239933,0.0007376705,0.002165288,0.08133591],"genre_scores_gemma":[0.651609,0.006769183,0.3134398,0.001440032,0.001472684,0.0005849209,0.001849566,0.001709903,0.02112488],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02169252,"threshold_uncertainty_score":0.1147224,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02110694793278061,"score_gpt":0.2383310104401256,"score_spread":0.2172240625073449,"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."}}