{"id":"W793391272","doi":"","title":"Improved Subsumption for CLP-based Verification","year":2001,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Computer science","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.006096641,0.0002019272,0.0001853614,0.0001876236,0.0004157222,0.0003529713,0.00144166,0.0001449821,0.00002969243],"category_scores_gemma":[0.001610617,0.0002213024,0.0001382011,0.0007027471,0.0001169728,0.0006592841,0.0001454696,0.0001672226,0.00004072471],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001272686,"about_ca_system_score_gemma":0.0001495807,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001148589,"about_ca_topic_score_gemma":0.00012081,"domain_scores_codex":[0.996204,0.00204388,0.0004459576,0.0006508536,0.0002933922,0.0003619294],"domain_scores_gemma":[0.9949046,0.0008858833,0.0003661972,0.002035082,0.001665607,0.0001426062],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003397614,0.0004201356,0.0007033135,0.00005286855,0.00001716746,7.33282e-7,0.001657891,0.00006756644,0.04737613,0.6365514,0.0003901835,0.3127286],"study_design_scores_gemma":[0.0008727554,0.000001690073,0.00501569,0.0001298586,0.00001353726,0.000008342859,0.00002587681,0.7329267,0.2173972,0.004221945,0.03905463,0.0003318597],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01714437,0.0001241469,0.9696242,0.005574352,0.0002436347,0.0005676596,0.000007791444,0.0004352436,0.00627858],"genre_scores_gemma":[0.2935844,0.00005965626,0.7043517,0.000162939,0.00002000815,0.0001765957,0.00009906531,0.00002146084,0.00152419],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7328591,"threshold_uncertainty_score":0.9024449,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02391483148269905,"score_gpt":0.2601421462265722,"score_spread":0.2362273147438732,"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."}}