{"id":"W6930534962","doi":"10.5281/zenodo.14066108","title":"TracerX-WP: Pruning Dynamic Symbolic Execution with Weakest Precondition Interpolation","year":2024,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Electromagnetic Scattering and Analysis","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Huawei Technologies (Canada)","funders":"","keywords":"Precondition; Interpolation (computer graphics); Pruning; Measure (data warehouse); Process (computing); Class (philosophy)","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":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0001702909,0.0002223659,0.0002051493,0.0004507727,0.0004300931,0.0006463518,0.0003588599,0.00007642898,0.04040677],"category_scores_gemma":[0.00001050829,0.0002166429,0.00007820034,0.0004246284,0.00007953994,0.00009412094,0.0001757732,0.0003397558,0.007549936],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000782991,"about_ca_system_score_gemma":0.000004343788,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008864717,"about_ca_topic_score_gemma":0.000002201151,"domain_scores_codex":[0.9986944,0.0001288307,0.0001983864,0.0004721525,0.0002262638,0.0002799174],"domain_scores_gemma":[0.9993082,0.000006564946,0.0001676248,0.0003295507,0.00009942526,0.00008858171],"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.00002997601,0.0001660459,0.000008761512,0.0002825365,0.0005664139,0.000007494788,0.0009740238,0.00004336499,0.004336846,0.004724718,0.862519,0.1263408],"study_design_scores_gemma":[0.0002826887,0.000243622,0.00008516526,0.0005376739,0.0001787333,0.00002629064,0.0003449421,0.0022268,0.00007119105,0.0003805973,0.9952853,0.0003369499],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.001647123,0.00020974,0.01573315,0.000232023,0.000097838,0.0003707549,0.0003613815,0.001073257,0.9802747],"genre_scores_gemma":[0.6017201,0.0000350485,0.0003533359,0.00002209235,0.0005399493,3.551672e-7,0.009981507,0.007364941,0.3799827],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.6002921,"threshold_uncertainty_score":0.9932228,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00846240755453186,"score_gpt":0.2239395998699216,"score_spread":0.2154771923153897,"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."}}