{"id":"W4414315900","doi":"10.1007/978-3-032-16524-4_2","title":"Adversarial Integration of LLM and Logic Program","year":2025,"lang":"en","type":"preprint","venue":"","topic":"Digital Rights Management and Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Adversarial system; Consistency (knowledge bases); Robustness (evolution); Non-monotonic logic; Automated reasoning; Answer set programming","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":[],"consensus_categories":[],"category_scores_codex":[0.0001123207,0.0001097573,0.0001587754,0.0001060084,0.00001818974,0.0002410096,0.0005313052,0.00008613557,0.000006124587],"category_scores_gemma":[0.00001790324,0.00007759581,0.00005524871,0.0001034842,0.00004029756,0.0002226615,0.001638423,0.0001158653,0.000002183873],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001141919,"about_ca_system_score_gemma":0.00004276561,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005582979,"about_ca_topic_score_gemma":0.00003659785,"domain_scores_codex":[0.99928,0.00001921049,0.0001707079,0.000306391,0.0001383507,0.00008529383],"domain_scores_gemma":[0.9994789,0.00001959849,0.00008280534,0.0003353641,0.0000602065,0.00002309687],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000002865838,0.0001033244,0.00001714152,0.00007391324,0.0000164231,9.881749e-7,0.0001310078,0.000007461776,0.000002072409,0.8023331,0.0005815828,0.1967301],"study_design_scores_gemma":[0.0002909988,0.0002205367,0.001094647,0.0001477805,0.00002689504,1.827997e-7,0.00002020514,0.1122584,0.000455233,0.865777,0.01943476,0.0002733552],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002815004,0.00005436542,0.5432127,0.0006918602,0.0008675761,0.0007099099,0.000004901274,0.0002877678,0.451356],"genre_scores_gemma":[0.8287562,0.00007319439,0.1540065,0.0001858187,0.00006981457,0.00005661137,0.00004793702,0.000003458483,0.01680049],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8259412,"threshold_uncertainty_score":0.3164265,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02622658166338658,"score_gpt":0.2874835541003222,"score_spread":0.2612569724369356,"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."}}