{"id":"W7165127355","doi":"10.34727/2025/isbn.978-3-85448-084-6_33</div","title":"A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SEABMC","year":2025,"lang":"en","type":"article","venue":"Open MIND","topic":"Data Mining Algorithms and Applications","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"University of Waterloo","keywords":"Rust (programming language)","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.01597729,0.001205269,0.001464071,0.004015561,0.001757581,0.005197407,0.003774949,0.003608232,0.003417679],"category_scores_gemma":[0.04311352,0.001634795,0.002104241,0.002415248,0.00686943,0.009357733,0.007125499,0.004974609,0.000666622],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002679553,"about_ca_system_score_gemma":0.003103591,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007075012,"about_ca_topic_score_gemma":0.008681856,"domain_scores_codex":[0.973625,0.01452185,0.001072113,0.002041788,0.00712025,0.001618955],"domain_scores_gemma":[0.9574924,0.02773249,0.001483262,0.009999793,0.002660227,0.0006318632],"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.001224758,0.001457497,0.02329744,0.00196114,0.0003252067,0.00863115,0.01200919,0.1103709,0.02354856,0.5463175,0.01811146,0.2527452],"study_design_scores_gemma":[0.0004014391,0.00103274,0.003838851,0.00179776,0.0002156784,0.004866104,0.005551225,0.5998818,0.09610704,0.2063885,0.07957019,0.0003487574],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2361989,0.004373691,0.7078974,0.007663022,0.0002438032,0.0006802983,0.0003710263,0.00621097,0.03636087],"genre_scores_gemma":[0.5369309,0.001575772,0.4530534,0.001246848,0.00008771798,0.0003554876,0.0003306747,0.001548693,0.004870568],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01597729,"threshold_uncertainty_score":0.08449703,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09953016587427034,"score_gpt":0.3796513863410952,"score_spread":0.2801212204668249,"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."}}