{"id":"W2068820234","doi":"10.5555/776816.776834","title":"Computer-assisted assume/guarantee reasoning with VeriSoft","year":2003,"lang":"en","type":"article","venue":"International Conference on Software Engineering","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":28,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Correctness; Computer science; Complement (music); Counterexample; Program analysis; Visualization; Programming language; Pencil (optics); Theoretical computer science; Static analysis; Artificial intelligence; Mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.0001729206,0.0002129262,0.0001701039,0.0002061901,0.00008025877,0.0002922477,0.0007298212,0.00006491723,0.00002960539],"category_scores_gemma":[0.0001634645,0.0002004581,0.00004949563,0.00024978,0.00001820348,0.0003114331,0.00007793649,0.000225438,0.00002661079],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008293,"about_ca_system_score_gemma":0.00007772951,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006039013,"about_ca_topic_score_gemma":9.626327e-7,"domain_scores_codex":[0.9987202,0.00003465699,0.0002169038,0.0003985867,0.0003864101,0.0002432455],"domain_scores_gemma":[0.9991527,0.00009786276,0.00009504049,0.000334674,0.0002533228,0.00006641275],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002064719,0.0001331261,0.002313627,0.00001737843,0.0001255557,0.0000972971,0.0003997298,0.2401467,0.0001352744,0.7327121,0.0006287576,0.0232698],"study_design_scores_gemma":[0.0004393459,0.0001702627,0.002176367,0.0002958485,0.000004174514,0.0001130798,0.000009195584,0.9898091,0.001417509,0.0003088023,0.004834958,0.0004213396],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005211297,0.0000206715,0.9904881,0.00009633244,0.0005458915,0.00008518689,0.000002313768,0.001182953,0.002367297],"genre_scores_gemma":[0.4779292,0.00001039151,0.5218033,0.00009529224,0.00003584221,0.0000123994,0.000005367556,0.00001306589,0.00009509275],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7496625,"threshold_uncertainty_score":0.8174444,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01883768842593263,"score_gpt":0.2467797912585454,"score_spread":0.2279421028326128,"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."}}