{"id":"W4393832861","doi":"10.5281/zenodo.3544492","title":"Three-dimensional Stable Matching with Cyclic Preferences: Computational proofs log files","year":2018,"lang":"en","type":"dataset","venue":"Figshare","topic":"Data Management and Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; University of Ottawa","funders":"","keywords":"Mathematical proof; Matching (statistics); Computer science; Mathematics; Combinatorics; Theoretical computer science; Statistics; Geometry","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00009219182,0.0003967609,0.0003105999,0.0001873504,0.000257583,0.0008139074,0.002415945,0.000148988,0.04819963],"category_scores_gemma":[0.00006302738,0.000311508,0.00005937466,0.0003028073,0.00002327893,0.001035131,0.00163788,0.0003365299,0.004376978],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004162333,"about_ca_system_score_gemma":0.0002561035,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008920676,"about_ca_topic_score_gemma":0.0003011144,"domain_scores_codex":[0.9975206,0.00003575638,0.0002796027,0.0008775943,0.0008542973,0.000432112],"domain_scores_gemma":[0.9982811,0.0001665966,0.0003157076,0.0009286596,0.0001933074,0.0001146099],"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.000003803277,0.00005375717,7.365476e-7,0.0002515788,0.00005368421,0.00004420567,0.000007599725,0.0004105193,3.079462e-8,0.00003515552,0.9980277,0.001111234],"study_design_scores_gemma":[0.0002176844,0.0001201552,0.000141296,0.002220294,0.0000156309,0.00001409101,0.000001337733,0.008918117,0.000001950556,0.002955688,0.9849101,0.0004836925],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"dataset","genre_scores_codex":[0.000001742847,0.00007847579,0.001670733,0.00005296914,0.0001568578,0.0004299338,0.9973096,0.0001590415,0.0001406391],"genre_scores_gemma":[0.000003296169,0.000001151158,0.02061433,0.0002911387,0.0002927674,0.0001947875,0.9784549,0.00001704855,0.000130574],"genre_candidate":"dataset","genre_consensus":"dataset","teacher_disagreement_score":0.04382266,"threshold_uncertainty_score":0.9999337,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03992379600801263,"score_gpt":0.2536843433932164,"score_spread":0.2137605473852038,"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."}}