{"id":"W2527480274","doi":"10.1016/j.orl.2016.09.011","title":"An elementary integrality proof of Rothblum’s stable matching formulation","year":2016,"lang":"en","type":"article","venue":"Operations Research Letters","topic":"Game Theory and Voting Systems","field":"Economics, Econometrics and Finance","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Rounding; Elementary proof; Mathematical proof; Mathematics; Bipartite graph; Combinatorics; Hull; Combinatorial proof; Convex hull; Matching (statistics); Discrete mathematics; Regular polygon; Computer science; Graph","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":[],"consensus_categories":[],"category_scores_codex":[0.003297371,0.00006863306,0.0001593858,0.0002560481,0.0002161713,0.0000798494,0.0002208421,0.00003501905,0.0004900683],"category_scores_gemma":[0.000120212,0.00005663438,0.000039465,0.0002045211,0.00007446931,0.0007527815,0.00003545652,0.0001165729,0.0001021845],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001332901,"about_ca_system_score_gemma":0.00002001403,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001838436,"about_ca_topic_score_gemma":0.0003049131,"domain_scores_codex":[0.9987996,0.0001622212,0.0004473681,0.0002415587,0.00008321736,0.0002660062],"domain_scores_gemma":[0.9993715,0.00007848169,0.00005582645,0.0003595649,0.00007764558,0.00005703498],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00004344976,0.0002059784,0.0341864,0.00006861344,0.00005366141,0.000001364373,0.002056029,0.004789926,0.206423,0.7480655,0.001014518,0.003091549],"study_design_scores_gemma":[0.008197523,0.002277053,0.1002904,0.001232959,0.00002506208,0.00002050636,0.005965525,0.08162148,0.4681493,0.2854283,0.04412709,0.002664765],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9481545,0.0000288155,0.04684789,0.003176284,0.00006848656,0.0003573457,0.0001088326,0.00001554155,0.001242278],"genre_scores_gemma":[0.9979933,0.000004326543,0.001195166,0.0001118146,0.00007715542,0.00005827662,0.00002423124,0.00001266833,0.0005230627],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4626372,"threshold_uncertainty_score":0.5365904,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08850971007240122,"score_gpt":0.3358788426814007,"score_spread":0.2473691326089995,"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."}}