{"id":"W2150418677","doi":"","title":"MAX-SAT 2012: ubcsat-irots","year":2012,"lang":"hu","type":"article","venue":"","topic":"Algorithms and Data Compression","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Software; Iterated function; Algorithm; Mathematics; Minor (academic); Computer science; Arithmetic; Programming language; Humanities","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.0005488507,0.0003321836,0.0002937031,0.0001074973,0.0003161441,0.0003713228,0.001355878,0.0001938925,0.003902656],"category_scores_gemma":[0.00003873508,0.0002615825,0.0001277902,0.0003436214,0.00008769246,0.003680513,0.001744112,0.0002981228,0.0104987],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005350023,"about_ca_system_score_gemma":0.00007410378,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001690963,"about_ca_topic_score_gemma":0.000007329506,"domain_scores_codex":[0.997306,0.0001206851,0.0003767376,0.000544548,0.0005872928,0.001064683],"domain_scores_gemma":[0.9976038,0.0001440027,0.0001350109,0.00142875,0.00008186656,0.000606604],"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.00001742072,0.000739207,0.004466122,0.00004943092,0.00005372298,0.00002566054,0.001642058,0.00001051169,0.0007541916,0.0833239,0.4706896,0.4382282],"study_design_scores_gemma":[0.0007644054,0.0001549951,0.03234102,0.0001675407,0.00003747643,0.00009167703,0.0001152894,0.0474626,0.002674422,0.001219519,0.9140019,0.0009690834],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006261586,0.007751925,0.92342,0.002093412,0.008933967,0.0004128763,0.00004945511,0.0003667704,0.05070998],"genre_scores_gemma":[0.7045493,0.0005389582,0.2024843,0.003041764,0.004423184,0.00002353475,0.00008346031,0.00006850236,0.08478694],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7209357,"threshold_uncertainty_score":0.9999837,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02752510739000114,"score_gpt":0.2624894329740781,"score_spread":0.2349643255840769,"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."}}