{"id":"W4404706376","doi":"10.1007/978-3-031-77382-2_21","title":"Unlocking the Power of Environment Assumptions for Unit Proofs","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematical proof; Computer science; Unit (ring theory); Power (physics); Calculus (dental); Theoretical computer science; Mathematics; Mathematics education; Geometry","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.01006032,0.001058524,0.001436522,0.001692484,0.002430506,0.005974375,0.005572849,0.002435752,0.01521108],"category_scores_gemma":[0.04893208,0.002483038,0.001460279,0.001851572,0.01202225,0.04393992,0.01350715,0.01171889,0.004663504],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001934876,"about_ca_system_score_gemma":0.002195518,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008418013,"about_ca_topic_score_gemma":0.001063849,"domain_scores_codex":[0.9901592,0.004898607,0.000574859,0.001310636,0.002258304,0.0007984229],"domain_scores_gemma":[0.9140103,0.05737304,0.001888914,0.02267095,0.002815829,0.001240935],"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.0001742017,0.0000244458,0.0002108265,0.0001692798,0.0000192186,0.00005874877,0.0005627262,0.002049772,0.001019639,0.9462599,0.003340259,0.04611098],"study_design_scores_gemma":[0.00002928398,0.00002617534,0.00004940864,0.00008188276,0.0000256268,0.00004814378,0.00006152243,0.007428127,0.002443091,0.9753745,0.01441041,0.00002183377],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01729631,0.002987239,0.9080781,0.0032774,0.0006507171,0.00006565332,0.0002077874,0.003885214,0.06355159],"genre_scores_gemma":[0.661679,0.003476758,0.3039763,0.001739088,0.001347261,0.0002819126,0.0004128365,0.004098883,0.022988],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01521108,"threshold_uncertainty_score":0.05320472,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03037830115939558,"score_gpt":0.2553130446346473,"score_spread":0.2249347434752517,"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."}}