{"id":"W6999070018","doi":"","title":"On the Caching Schemes to Speed Up Program Reduction","year":2022,"lang":"en","type":"dissertation","venue":"UWSpace (University of Waterloo)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Reduction (mathematics); Cache; Process (computing); Debugging; Encoding (memory); ENCODE; Property (philosophy); Key (lock); Scheme (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.000333645,0.000200781,0.000251806,0.0002405961,0.0005659282,0.0001092263,0.001219918,0.0001259798,0.0001294041],"category_scores_gemma":[0.00002128303,0.0001767705,0.0001605239,0.000448232,0.00003495286,0.0002127725,0.0001955469,0.000344822,0.0000894426],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001158524,"about_ca_system_score_gemma":0.00008124822,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01493644,"about_ca_topic_score_gemma":0.003500964,"domain_scores_codex":[0.9985355,0.0001363921,0.0001102222,0.000476779,0.0004682058,0.0002729601],"domain_scores_gemma":[0.998953,0.00003381159,0.0002342462,0.0005856946,0.0001109824,0.00008228826],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"qualitative","study_design_gemma":"qualitative","study_design_scores_codex":[0.0002349752,0.00038254,0.00006524147,0.0003294412,0.0002900994,0.00007062843,0.4959474,0.0003457275,0.002726682,0.334316,0.01797872,0.1473126],"study_design_scores_gemma":[0.001708376,0.003630058,0.00181888,0.0002188973,0.0002811354,0.0000479439,0.7573711,0.004213644,0.007866504,0.01351872,0.2070467,0.002278001],"study_design_candidate":"qualitative","study_design_consensus":"qualitative","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9892565,0.00007225533,0.000760044,0.002342453,0.002804644,0.001345477,0.000003123544,0.000357322,0.003058209],"genre_scores_gemma":[0.5343165,0.00001121412,0.001518749,0.00002900206,0.00007130094,0.000004232509,0.0001136639,0.00001929499,0.4639161],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4608579,"threshold_uncertainty_score":0.9916232,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01754451166417206,"score_gpt":0.2331871615984172,"score_spread":0.2156426499342451,"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."}}