{"id":"W4409365255","doi":"10.1609/aaai.v39i13.33509","title":"Verifying Proportionality in Temporal Voting","year":2025,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Internet Traffic Analysis and Secure E-voting","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Engineering and Physical Sciences Research Council; Ministry of Education, India; Alan Turing Institute","keywords":"Proportionality (law); Voting; Computer science; Political science; Law","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.01103347,0.0009413129,0.001666888,0.0009808457,0.00186163,0.004473909,0.00356426,0.002423214,0.005560277],"category_scores_gemma":[0.08576468,0.0009818362,0.002053422,0.001866831,0.003468205,0.01531948,0.005564337,0.004206766,0.0006241079],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002157929,"about_ca_system_score_gemma":0.003168653,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002703403,"about_ca_topic_score_gemma":0.002071317,"domain_scores_codex":[0.9846517,0.006235661,0.0009189877,0.003084949,0.003303263,0.001805491],"domain_scores_gemma":[0.9326369,0.05005143,0.005148181,0.008076164,0.002844141,0.00124316],"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.0005798429,0.0001824925,0.002471354,0.0001859293,0.0001184894,0.0003843856,0.0005805021,0.1474328,0.003484502,0.8028862,0.0016755,0.04001789],"study_design_scores_gemma":[0.00006601204,0.0000687954,0.0001691253,0.00001677855,0.00002554036,0.00008892833,0.00007264123,0.3817927,0.002147021,0.6145493,0.0009821077,0.00002098754],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09758064,0.0001253727,0.895532,0.001319351,0.00007225217,0.0001354903,0.0002602238,0.0005196678,0.00445499],"genre_scores_gemma":[0.8710986,0.0001601676,0.1243024,0.0003537365,0.0001318586,0.0001875914,0.0004793596,0.0001161457,0.003170053],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01103347,"threshold_uncertainty_score":0.05835128,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05991866952502942,"score_gpt":0.3073288252519741,"score_spread":0.2474101557269447,"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."}}