{"id":"W4298084569","doi":"","title":"Dedukti: A Universal Proof Checker","year":2012,"lang":"fr","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Hermeneutics and Narrative Identity","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Programming language; Structural proof theory; Proof theory; Mathematics; Mathematical proof","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.007407784,0.002150601,0.002468583,0.003186472,0.002566101,0.007128276,0.006366589,0.003600591,0.04574793],"category_scores_gemma":[0.03119632,0.002967702,0.004032742,0.002268375,0.004238121,0.01371569,0.01498179,0.005805768,0.01370309],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002522204,"about_ca_system_score_gemma":0.005589803,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001871394,"about_ca_topic_score_gemma":0.002417352,"domain_scores_codex":[0.9880899,0.003048736,0.00121069,0.002827766,0.003480815,0.001342171],"domain_scores_gemma":[0.9748024,0.01243437,0.0007717052,0.008597736,0.002870003,0.0005236127],"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.001891083,0.0003296137,0.001755504,0.002881929,0.00052295,0.0008400375,0.0007545161,0.009456657,0.01466464,0.4703627,0.1173258,0.3792146],"study_design_scores_gemma":[0.0007629587,0.0002204476,0.0004429475,0.0006471683,0.0008156621,0.0009205067,0.0002489302,0.08979461,0.0757616,0.642994,0.187135,0.0002560454],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.008257803,0.001227546,0.8767091,0.002893068,0.001984882,0.0005028635,0.002793829,0.08356231,0.0220686],"genre_scores_gemma":[0.3397543,0.001363997,0.586696,0.004374085,0.0008325706,0.0008738514,0.004651294,0.0147845,0.04666937],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.04574793,"threshold_uncertainty_score":0.1530421,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02075926050036819,"score_gpt":0.2228005566969623,"score_spread":0.2020412961965941,"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."}}