{"id":"W4403944057","doi":"10.1007/978-3-031-67695-6_2","title":"Competition of Solvers for Constrained Horn Clauses (CHC-COMP 2023)","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Horn clause; Competition (biology); French horn; Programming language; Prolog","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.00440053,0.00192969,0.001760041,0.002119026,0.00205359,0.004580045,0.00447392,0.003126865,0.1817427],"category_scores_gemma":[0.01078172,0.001691283,0.002880086,0.003695073,0.001519971,0.005304936,0.005800252,0.005124614,0.03638419],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002599731,"about_ca_system_score_gemma":0.0037413,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005812653,"about_ca_topic_score_gemma":0.01294026,"domain_scores_codex":[0.9951391,0.001508812,0.0002303587,0.001040451,0.001415945,0.000665282],"domain_scores_gemma":[0.993229,0.003521819,0.0001464818,0.001308168,0.001229231,0.000565232],"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.0007204009,0.0002241407,0.0003785169,0.0005404509,0.0001228885,0.0001797368,0.0001819219,0.009952843,0.002332552,0.3388082,0.4801948,0.1663636],"study_design_scores_gemma":[0.0005355509,0.0001810673,0.0006706758,0.0002672426,0.00007739964,0.0004592635,0.000167321,0.1247314,0.006798751,0.4714969,0.3945071,0.0001073359],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0229732,0.003680984,0.3871346,0.006663882,0.003889241,0.0006120005,0.01325472,0.0135454,0.548246],"genre_scores_gemma":[0.228082,0.001314908,0.4122924,0.004356168,0.001130959,0.001047717,0.04279932,0.01400538,0.2949711],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.1817427,"threshold_uncertainty_score":0.6079898,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02271042992580054,"score_gpt":0.2525339745180664,"score_spread":0.2298235445922658,"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."}}