{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.004698134,0.0003887611,0.0004348986,0.0002039405,0.0003819751,0.001218329,0.002346575,0.0003789645,0.00001186355],"category_scores_gemma":[0.0002815727,0.0003676998,0.0001676454,0.0003616129,0.0002344425,0.0002776808,0.003299806,0.0006093023,0.00002790613],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008741415,"about_ca_system_score_gemma":0.0002010242,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002050238,"about_ca_topic_score_gemma":0.000754726,"domain_scores_codex":[0.9940398,0.0032519,0.0005474132,0.001185001,0.0005071933,0.0004686492],"domain_scores_gemma":[0.99485,0.0005703509,0.0005295562,0.002786877,0.001063989,0.0001992599],"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.000002257646,0.0002178402,0.0004115871,0.0001459709,0.00003039861,0.000009116595,0.003772194,0.0002182228,0.00006789258,0.9106746,0.001756941,0.08269296],"study_design_scores_gemma":[0.0007953884,0.000001658268,0.00151502,0.0005200054,0.00004761401,0.00006284443,0.0000670971,0.3062244,0.004471781,0.5716534,0.1133876,0.001253272],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001827025,0.002662936,0.8413199,0.004708898,0.0002062215,0.000569672,0.000006472147,0.0005225874,0.1481763],"genre_scores_gemma":[0.8805606,0.0001863664,0.1025555,0.0001636479,0.00005599763,0.0001264872,0.0001612079,0.00004158817,0.01614858],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8787336,"threshold_uncertainty_score":0.9998775,"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."}}