{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006294234,0.001298698,0.001055455,0.001441027,0.00132722,0.004394345,0.002073979,0.001686005,0.008694584],"category_scores_gemma":[0.01562929,0.001061928,0.002296361,0.002063604,0.005128337,0.006311487,0.003787182,0.007072821,0.00179024],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002656424,"about_ca_system_score_gemma":0.002374562,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001333937,"about_ca_topic_score_gemma":0.001374336,"domain_scores_codex":[0.9950977,0.002202257,0.0002616799,0.0009541637,0.00110915,0.0003750462],"domain_scores_gemma":[0.9922302,0.005246723,0.0003858467,0.001285492,0.0006663497,0.0001853295],"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.0000671346,0.0000586702,0.0003101884,0.000219997,0.00003062265,0.00005994102,0.0001777419,0.03187425,0.0009701606,0.9244797,0.002983982,0.03876758],"study_design_scores_gemma":[0.00004959784,0.00005626521,0.0001217197,0.0001124589,0.00002818493,0.0001025394,0.00003798373,0.1460964,0.002202185,0.8333634,0.01780729,0.00002216966],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002973946,0.000589799,0.9853469,0.001395807,0.0001199322,0.00006732521,0.0001106361,0.0002391215,0.009156517],"genre_scores_gemma":[0.1460014,0.0009080755,0.8428869,0.001055512,0.0003733173,0.0003539266,0.0002776807,0.0003705319,0.007772631],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008694584,"threshold_uncertainty_score":0.03328753,"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."}}