{"id":"W2612764626","doi":"","title":"BI Logic, Resource Models and Proofs","year":2006,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Computer science; Separation logic; Pointer (user interface); Mathematical proof; Description logic; Higher-order logic; Theoretical computer science; Programming language; Mathematics; Artificial intelligence","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.003831872,0.001041398,0.000778951,0.002362728,0.002628019,0.004692868,0.002625416,0.002162582,0.007024882],"category_scores_gemma":[0.006643003,0.0008635219,0.001233576,0.003492025,0.007886636,0.01600619,0.004683936,0.007594166,0.001094925],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004059732,"about_ca_system_score_gemma":0.001864084,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003881636,"about_ca_topic_score_gemma":0.00228056,"domain_scores_codex":[0.9963291,0.001282498,0.0002383795,0.0005991158,0.001218435,0.0003324402],"domain_scores_gemma":[0.9950235,0.00317808,0.0003760091,0.00057506,0.0005710308,0.0002764183],"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.00001121287,0.000008429523,0.0000384597,0.00004434511,0.00000417343,0.00003443103,0.0001043995,0.000757586,0.0002287608,0.9947135,0.0006527027,0.003402023],"study_design_scores_gemma":[0.000006222017,0.00000519988,0.00002037661,0.00001381135,0.00000392432,0.0000306003,0.00003295734,0.002876689,0.0002955172,0.9923902,0.004319196,0.000005297061],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02114777,0.004958727,0.8987663,0.007773523,0.0002585463,0.0001043013,0.0005420248,0.001070153,0.06537853],"genre_scores_gemma":[0.6182281,0.004473397,0.3479638,0.003527005,0.0007874112,0.000443478,0.001102157,0.0004876817,0.02298712],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007024882,"threshold_uncertainty_score":0.02945554,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02592864422575816,"score_gpt":0.2322824682133866,"score_spread":0.2063538239876284,"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."}}