{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003353028,0.001230691,0.0009906697,0.001231109,0.0006781501,0.002120839,0.002756801,0.001494798,0.004867847],"category_scores_gemma":[0.01322705,0.0005815559,0.001369167,0.0008368986,0.002279082,0.003436403,0.004323881,0.003337365,0.0009729962],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002003518,"about_ca_system_score_gemma":0.002910715,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005267934,"about_ca_topic_score_gemma":0.007166937,"domain_scores_codex":[0.996983,0.001197013,0.0001303399,0.0005555113,0.0009154846,0.0002186179],"domain_scores_gemma":[0.994023,0.003799774,0.0004982629,0.001007079,0.0004941973,0.0001776355],"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.0001408146,0.0001284414,0.001210564,0.0001724204,0.0001125144,0.0002324132,0.0002101524,0.7984827,0.002684701,0.09903573,0.00328235,0.09430714],"study_design_scores_gemma":[0.000005370037,0.00001440057,0.0000330217,0.00001009617,0.000007055477,0.00002198083,0.000009078897,0.9636078,0.0008192408,0.03439522,0.001071843,0.000004957808],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005967562,0.000135917,0.9889709,0.0006153547,0.000035527,0.00007173586,0.0001138271,0.001480307,0.002608946],"genre_scores_gemma":[0.5009574,0.0002641339,0.4908274,0.0009379464,0.0001265098,0.0003795187,0.0005990058,0.0004252885,0.005482899],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005267934,"threshold_uncertainty_score":0.01773274,"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."}}