{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001077335,0.0003340339,0.0003498479,0.0003491842,0.0002381533,0.0003867734,0.002550011,0.0001987593,0.00001445731],"category_scores_gemma":[0.00003534919,0.0002199474,0.0001809096,0.0003115089,0.0005885269,0.0001957937,0.0009652371,0.0004473172,0.00004783779],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001305261,"about_ca_system_score_gemma":0.000228073,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001124793,"about_ca_topic_score_gemma":0.00002382547,"domain_scores_codex":[0.9974521,0.00002367913,0.0004502464,0.0009380683,0.0006901095,0.000445799],"domain_scores_gemma":[0.9979436,0.000439916,0.0002477699,0.001186852,0.0001079407,0.0000739513],"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.00000260516,0.00003153642,0.00003266734,0.0001206789,0.00003466695,0.00001589067,0.001952379,0.01058961,0.00006284574,0.7044113,0.00003972132,0.2827061],"study_design_scores_gemma":[0.0001820654,0.0003416699,0.0000504378,0.0001586164,0.00002705723,0.00005054555,0.0000011312,0.174038,0.0007240693,0.7492323,0.07467136,0.0005226982],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00001373247,0.001310128,0.9917489,0.0008083386,0.001891964,0.0008515253,0.000004077954,0.00008835105,0.003283028],"genre_scores_gemma":[0.873999,0.00004472217,0.1212342,0.0004741999,0.0005351351,0.00008521753,0.000006009419,0.00005141538,0.003570087],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8739853,"threshold_uncertainty_score":0.8969196,"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."}}