{"id":"W3184854650","doi":"","title":"Proof Translations in BI Logic","year":2018,"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":"Mathematical proof; Sequent calculus; Correctness; Sequent; Soundness; Proof complexity; Structural proof theory; Calculus (dental); Computer science; Natural deduction; Proof calculus; Proof theory; Cut-elimination theorem; Algebra over a field; Mathematics; Algorithm; Programming language; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003265335,0.001080641,0.001124944,0.002846522,0.002973329,0.00619238,0.001511755,0.001298116,0.04482686],"category_scores_gemma":[0.007215787,0.0009998764,0.001361578,0.003744314,0.003425824,0.01095139,0.003106506,0.006582502,0.01163875],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003536859,"about_ca_system_score_gemma":0.001701164,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002724297,"about_ca_topic_score_gemma":0.001774307,"domain_scores_codex":[0.9967817,0.001268834,0.0002470745,0.0005397056,0.0009680741,0.000194585],"domain_scores_gemma":[0.9963692,0.001838907,0.0001299991,0.0006203691,0.0008770159,0.0001645031],"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.00003110919,0.00002052352,0.00006618064,0.0001645684,0.00001097289,0.00004049089,0.0002456108,0.0003021958,0.0005811533,0.9629909,0.01646813,0.01907805],"study_design_scores_gemma":[0.00001974589,0.000008044146,0.00007048907,0.0000662507,0.0000128496,0.00006658412,0.00007865245,0.00210823,0.0008634031,0.9419448,0.05474709,0.00001385152],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01108978,0.01049576,0.6303655,0.01647591,0.003825987,0.0001808446,0.002398958,0.004202099,0.3209651],"genre_scores_gemma":[0.4853837,0.01274997,0.3077614,0.007423209,0.00393816,0.0006219008,0.004872671,0.003737995,0.1735109],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.04482686,"threshold_uncertainty_score":0.1499608,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02957523828433348,"score_gpt":0.2521260731132927,"score_spread":0.2225508348289592,"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."}}