{"id":"W4415169288","doi":"10.4204/eptcs.432","title":"Proceedings of the International Workshop on Verification of Scientific Software","year":2025,"lang":"en","type":"paratext","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Scientific Computing and Data Management","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Correctness; Software; Software verification; Snapshot (computer storage); Set (abstract data type); Verification and validation","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["sts","scholarly_communication","open_science"],"consensus_categories":[],"category_scores_codex":[0.0150943,0.0003525678,0.0005890934,0.00209091,0.0004558565,0.001687762,0.01274061,0.0001848021,0.0003865079],"category_scores_gemma":[0.006963315,0.0002360473,0.0002295041,0.009656596,0.005126899,0.0005220471,0.003648802,0.0008797874,0.0001767521],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005049056,"about_ca_system_score_gemma":0.001081268,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003242926,"about_ca_topic_score_gemma":0.000001002731,"domain_scores_codex":[0.9901968,0.00003084363,0.001444604,0.002328103,0.005140689,0.000858992],"domain_scores_gemma":[0.9945127,0.0008563097,0.001104638,0.000995841,0.002428204,0.0001023106],"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.00006281579,0.0002032508,0.0002537721,0.00006305407,0.00001550678,1.366285e-7,0.0003378695,0.0002232062,0.0009456085,0.8471526,0.1107583,0.03998386],"study_design_scores_gemma":[0.001388599,0.0006174257,0.003642153,0.005318237,0.00008081355,0.00001607451,0.0007047639,0.1364131,0.0539007,0.5641739,0.2322992,0.001444972],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3787617,0.0004968111,0.0591529,0.008462686,0.04496061,0.003569102,0.0001931351,0.0001731156,0.5042299],"genre_scores_gemma":[0.9806727,0.00002183385,0.002515121,0.0001906382,0.000187215,0.00002537904,0.000008675678,0.00001439841,0.01636408],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6019109,"threshold_uncertainty_score":0.9993486,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02769949629412516,"score_gpt":0.3292721216118527,"score_spread":0.3015726253177275,"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."}}