{"id":"W4297842700","doi":"","title":"Characterizing provability in BI’s pointer logic through resource graphs","year":2005,"lang":"en","type":"preprint","venue":"","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":"Pointer (user interface); Computer science; Programming language; Theoretical computer science; Arithmetic; Mathematics; Computer hardware","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"],"consensus_categories":[],"category_scores_codex":[0.001158556,0.0004546174,0.0006234268,0.0002069474,0.00008010812,0.0005252881,0.002115754,0.0004531571,0.00006417503],"category_scores_gemma":[0.00006717696,0.0003549754,0.0002846022,0.0003748824,0.000102612,0.0004293677,0.00253611,0.0009153945,0.0001523688],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001832329,"about_ca_system_score_gemma":0.0001270259,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008098371,"about_ca_topic_score_gemma":0.0002849993,"domain_scores_codex":[0.9964074,0.0003089021,0.0007925755,0.001434382,0.0004060441,0.0006506522],"domain_scores_gemma":[0.9975433,0.00008027278,0.000348299,0.001840977,0.00008967121,0.00009747993],"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.00003484508,0.0008004659,0.01463502,0.000766125,0.00009597153,0.0001319954,0.01264139,0.000120746,0.0002111676,0.90558,0.001659036,0.0633232],"study_design_scores_gemma":[0.001481424,0.0003043678,0.0211431,0.0001883807,0.000024701,0.00008548936,0.0003750007,0.008749021,0.00147732,0.7239361,0.239866,0.002369072],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05911605,0.001331978,0.6502734,0.01035944,0.004159408,0.004391746,0.000005881954,0.00252061,0.2678414],"genre_scores_gemma":[0.9786953,0.00002074249,0.01776475,0.001455234,0.0002659482,0.0001579028,0.00001998754,0.00002307521,0.001597108],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9195792,"threshold_uncertainty_score":0.9998902,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04359708951671362,"score_gpt":0.2766947619779929,"score_spread":0.2330976724612792,"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."}}