{"id":"W4289753190","doi":"10.5281/zenodo.3544489","title":"Three-dimensional Stable Matching with Cyclic Preferences: Computational proofs log files","year":2018,"lang":"en","type":"preprint","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Game Theory and Voting Systems","field":"Economics, Econometrics and Finance","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; University of Ottawa","funders":"","keywords":"Matching (statistics); Stable marriage problem; Combinatorics; Mathematics; Group (periodic table); Stability (learning theory); Existential quantification; Computer science; Statistics; Machine learning; Chemistry","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.00208408,0.001906304,0.0009640455,0.001700769,0.0007480386,0.003084413,0.002763929,0.001664192,0.214041],"category_scores_gemma":[0.02255547,0.001177309,0.001069833,0.002181565,0.0006949148,0.003532185,0.002628881,0.002258132,0.05851377],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002009124,"about_ca_system_score_gemma":0.003361001,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001968789,"about_ca_topic_score_gemma":0.0026906,"domain_scores_codex":[0.998112,0.0003200284,0.0001933693,0.0003224849,0.0007983162,0.0002539044],"domain_scores_gemma":[0.9902468,0.005565364,0.0004841785,0.002189897,0.001281472,0.0002322416],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001447238,0.0004791149,0.002025867,0.001371935,0.00008768407,0.0007763061,0.0002748163,0.0124189,0.005756816,0.140866,0.659602,0.1748934],"study_design_scores_gemma":[0.002706673,0.0001373011,0.001698866,0.0004314459,0.00006983559,0.001014603,0.0001282325,0.1564753,0.03807066,0.3421104,0.456984,0.0001727105],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"dataset","genre_scores_codex":[0.01435136,0.0006381239,0.4876835,0.00266146,0.0003301438,0.001194358,0.1527027,0.2878872,0.05255113],"genre_scores_gemma":[0.2937313,0.0009727265,0.3976133,0.002332376,0.0003341996,0.00510044,0.1832064,0.08074175,0.03596761],"genre_candidate":"dataset","genre_consensus":null,"teacher_disagreement_score":0.214041,"threshold_uncertainty_score":0.7160383,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06527436240273382,"score_gpt":0.2330909193751178,"score_spread":0.167816556972384,"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."}}