{"id":"W4406092770","doi":"10.48550/arxiv.2501.01512","title":"A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)","year":2025,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Azrieli Foundation; Israel Science Foundation; Weizmann Institute of Science; Japan Society for the Promotion of Science; European Commission","keywords":"Perspective (graphical); Dual (grammatical number); Computer science; Algorithm; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006356016,0.0005071984,0.0005216019,0.0004146905,0.000189021,0.0002590038,0.002017087,0.0005494111,0.00001438637],"category_scores_gemma":[0.0001924092,0.0005079675,0.0002698664,0.0005697891,0.0001030769,0.0003063391,0.001480262,0.001098047,0.000290091],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001115785,"about_ca_system_score_gemma":0.0007538159,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002622314,"about_ca_topic_score_gemma":0.000005232095,"domain_scores_codex":[0.9962938,0.0003664172,0.0005258494,0.001697519,0.0006489413,0.0004674995],"domain_scores_gemma":[0.9962249,0.0001478257,0.000427914,0.002421597,0.0006442777,0.0001335297],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.0003684263,0.006314714,0.01419397,0.001627271,0.001586664,0.0005709055,0.02053521,0.0004003576,0.005474293,0.6144612,0.0504126,0.2840543],"study_design_scores_gemma":[0.006034744,0.008490734,0.292343,0.00983499,0.0007156797,0.0001973205,0.003672449,0.1596125,0.2747239,0.1207667,0.11218,0.01142813],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09827537,0.001257147,0.7289595,0.007590621,0.007721411,0.01381259,0.0001691965,0.0166322,0.125582],"genre_scores_gemma":[0.8297499,0.00008348998,0.1649558,0.0004271633,0.0004019692,0.001561353,0.00007143854,0.00004589896,0.002702996],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7314745,"threshold_uncertainty_score":0.9997372,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0442526593001048,"score_gpt":0.3374664446957478,"score_spread":0.293213785395643,"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."}}