{"id":"W2613099782","doi":"","title":"An Interactive Prover for Bi-intuitionistic Logic","year":2014,"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":"Gas meter prover; Automated theorem proving; Intuitionistic logic; Computer science; Propositional calculus; Theoretical computer science; Characterization (materials science); Calculus (dental); Discrete mathematics; Algebra over a field; Mathematics; Programming language; Mathematical proof; Pure mathematics","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.0004568158,0.0002719155,0.0003511255,0.0001030017,0.0001302089,0.0008624537,0.00136922,0.0002479796,0.00003489008],"category_scores_gemma":[0.0000889837,0.0002067027,0.0001719825,0.00007204447,0.00004882699,0.000248008,0.0006169783,0.0002823598,0.0001564209],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009324455,"about_ca_system_score_gemma":0.0001332384,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002250535,"about_ca_topic_score_gemma":0.00004662795,"domain_scores_codex":[0.9981641,0.0001183096,0.0003203487,0.0008648401,0.0002076881,0.0003247154],"domain_scores_gemma":[0.9981161,0.0001502316,0.000275913,0.001063506,0.000273979,0.0001202539],"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.000009113008,0.0001283298,0.00003311106,0.0001923343,0.00004342064,0.000003599297,0.0005219047,0.0001403083,0.00002917766,0.979414,0.002024283,0.01746045],"study_design_scores_gemma":[0.0002903654,0.0005190163,0.0000872049,0.00001775597,0.00002172215,0.00001315993,0.00005553844,0.1673338,0.0003051401,0.8043779,0.02649727,0.0004812407],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001303238,0.00002812426,0.980944,0.000251903,0.002787172,0.001201655,0.000003895421,0.0004872382,0.01416568],"genre_scores_gemma":[0.954368,0.00000200241,0.04263686,0.0004496524,0.000545886,0.0004761148,0.00005794731,0.00001715488,0.001446389],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9542377,"threshold_uncertainty_score":0.8429093,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03535467774470988,"score_gpt":0.3026919247046123,"score_spread":0.2673372469599025,"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."}}