{"id":"W2206671546","doi":"10.4230/lipics.cp.2022.8","title":"Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation","year":2015,"lang":"en","type":"preprint","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Modulo; Preference; Preference elicitation; Psychology; Mathematical economics; Computer science; Mathematics; Discrete mathematics; Statistics","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","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001030485,0.000865591,0.001006588,0.0004848422,0.0005909132,0.001561282,0.001647101,0.0006435325,0.00001093297],"category_scores_gemma":[0.0001136528,0.000847957,0.0002781857,0.0002715358,0.0001560377,0.001366444,0.003616125,0.001801391,0.00005811806],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002719566,"about_ca_system_score_gemma":0.0003613182,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003909331,"about_ca_topic_score_gemma":0.00001999347,"domain_scores_codex":[0.9958642,0.0002277278,0.001476666,0.0008399323,0.0007032094,0.0008883284],"domain_scores_gemma":[0.9964688,0.0002766172,0.001059908,0.001172371,0.0005922378,0.0004300557],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00008299873,0.0004553749,0.01067052,0.002090831,0.0007236787,0.00002272767,0.09130614,0.62558,0.00004681509,0.002447484,0.001383287,0.2651902],"study_design_scores_gemma":[0.001538254,0.0001474271,0.0008719502,0.0004820541,0.00008693633,0.00004662492,0.0005549169,0.9780729,0.00003015451,0.0100001,0.007238212,0.0009304807],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1717793,0.0008383572,0.8225549,0.00008313709,0.001722719,0.0009480387,0.0005951189,0.0004634051,0.001014956],"genre_scores_gemma":[0.3278224,0.0001781001,0.667651,0.0001905725,0.0008677536,0.0001016455,0.002720441,0.0001330993,0.0003349823],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.352493,"threshold_uncertainty_score":0.9994752,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05732700312285482,"score_gpt":0.297874918731804,"score_spread":0.2405479156089492,"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."}}