{"id":"W1831107993","doi":"10.4230/lipics.cpm.2017.28","title":"A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem","year":2008,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Campus France; Natural Sciences and Engineering Research Council of Canada; Mitacs","keywords":"Answer set programming; Computer science; Set (abstract data type); Consistency (knowledge bases); Reduction (mathematics); Constraint (computer-aided design); Constraint programming; Theoretical computer science; Mathematics; Mathematical optimization; Artificial intelligence; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0005842593,0.0004587628,0.0004544283,0.0001435892,0.0005394597,0.0002205452,0.002588379,0.0003146669,0.00002375542],"category_scores_gemma":[0.0001381362,0.0003333713,0.000299855,0.0003906142,0.0001520818,0.0001919684,0.002315821,0.0008112166,0.002041231],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001609227,"about_ca_system_score_gemma":0.0004881181,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002931686,"about_ca_topic_score_gemma":0.0002464683,"domain_scores_codex":[0.9969811,0.0002318791,0.0005118905,0.001159032,0.0004168316,0.0006992649],"domain_scores_gemma":[0.9970487,0.0001122597,0.0002949254,0.00203024,0.0002753407,0.0002385699],"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.0001169114,0.00201584,0.2468826,0.0009825065,0.0008984943,0.0007639586,0.08611243,0.002595694,0.00202299,0.1256997,0.380686,0.1512229],"study_design_scores_gemma":[0.002818476,0.001740926,0.4098831,0.001729879,0.0003329415,0.001142407,0.0007819884,0.05314956,0.002653501,0.09580266,0.4235173,0.006447177],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4368964,0.002185598,0.4210189,0.01871173,0.006586531,0.003074193,0.00002707854,0.001585082,0.1099145],"genre_scores_gemma":[0.984033,0.0002238391,0.01096758,0.001092649,0.000625015,0.0002222441,0.00001646893,0.00003405967,0.0027851],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5471367,"threshold_uncertainty_score":0.9999118,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04495536179578725,"score_gpt":0.2560029167852465,"score_spread":0.2110475549894593,"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."}}