{"id":"W4378589447","doi":"10.1145/3597926.3598065","title":"Type Batched Program Reduction","year":2023,"lang":"en","type":"paratext","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Reduction (mathematics); Computer science; Mathematics","routes":{"ca_aff":true,"ca_fund":true,"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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001991468,0.0002215059,0.0002470497,0.0002455871,0.0001051457,0.0002973916,0.001000393,0.0002909324,0.0002530375],"category_scores_gemma":[0.00002534245,0.0002027601,0.00008118726,0.001082437,0.00002746661,0.0001452294,0.0003398693,0.0002806672,0.0202369],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005212923,"about_ca_system_score_gemma":0.0001747902,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004128349,"about_ca_topic_score_gemma":8.267788e-7,"domain_scores_codex":[0.9985859,0.00006729709,0.0002646784,0.0005593169,0.0002427447,0.0002800741],"domain_scores_gemma":[0.998841,0.00002838987,0.0001445888,0.0006961499,0.0002189701,0.0000709216],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000001169282,0.00002845479,9.622178e-8,0.00001807277,0.00001420471,0.000001502944,0.00004242641,0.001532719,0.00001168854,0.0008831336,0.9655721,0.0318945],"study_design_scores_gemma":[0.0001076158,0.0002523283,0.000006131632,0.0000920891,0.000007451632,0.000019863,0.000006865761,0.1338739,0.001327808,0.0008661028,0.8628947,0.0005450705],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.00000686366,0.0001781446,0.6698438,0.0005154357,0.005829778,0.0004038225,0.000001405746,0.00498348,0.3182372],"genre_scores_gemma":[0.0002492906,0.0005056206,0.3610764,0.00007250242,0.0003822514,0.00005745094,0.0001191477,0.00003317548,0.6375042],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.3192669,"threshold_uncertainty_score":0.980526,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03450605788327998,"score_gpt":0.3227093426833005,"score_spread":0.2882032848000205,"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."}}