{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001886592,0.00234943,0.00168608,0.001845053,0.0007587221,0.002038893,0.002723264,0.002090825,0.005937438],"category_scores_gemma":[0.01123017,0.001334672,0.00288532,0.001650489,0.001678035,0.003227609,0.002660637,0.003150017,0.001292323],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001920932,"about_ca_system_score_gemma":0.002612277,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005851253,"about_ca_topic_score_gemma":0.01148986,"domain_scores_codex":[0.9979681,0.0009261618,0.0001020767,0.0004282751,0.0003733128,0.000201958],"domain_scores_gemma":[0.9937874,0.004780603,0.0003011419,0.000635406,0.0003648313,0.000130522],"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.0001249002,0.0001965268,0.001776259,0.0002342023,0.0001198161,0.0001504949,0.0001294653,0.8287945,0.001553666,0.01978489,0.004232395,0.1429029],"study_design_scores_gemma":[0.00003126455,0.00002954025,0.0001048868,0.00002700267,0.00002669849,0.00002787857,0.00003136325,0.9753274,0.0009692385,0.02242118,0.0009948441,0.000008644048],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04930885,0.0004708836,0.9361725,0.00086209,0.00009303053,0.0001817147,0.0003587856,0.005680561,0.006871696],"genre_scores_gemma":[0.303786,0.0003627562,0.6898373,0.0005760838,0.00008526935,0.0004223972,0.001676589,0.0007937792,0.002459735],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005937438,"threshold_uncertainty_score":0.01986265,"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."}}