{"id":"W14816984","doi":"10.1109/fmcad11703.2006","title":"2006 Formal Methods in Computer Aided Design","year":2006,"lang":"en","type":"paratext","venue":"","topic":"Manufacturing Process and Optimization","field":"Engineering","cited_by":67,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"University of Toronto","keywords":"Computer science; Formal methods; Software engineering; 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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002011064,0.0002589765,0.0003090638,0.0002186075,0.0000231192,0.00006443251,0.0001446409,0.0003167824,0.0016516],"category_scores_gemma":[0.000001676436,0.0002407126,0.0000481339,0.0001140991,0.000007910174,0.0001418067,0.00003166349,0.0002666548,0.0005100538],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006351383,"about_ca_system_score_gemma":0.00001840448,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009112879,"about_ca_topic_score_gemma":0.00001314209,"domain_scores_codex":[0.9990614,0.0000425033,0.0003151091,0.0001853825,0.00008609996,0.0003094976],"domain_scores_gemma":[0.9996983,0.00005922507,0.00003670089,0.0001539153,0.00001955064,0.00003235469],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001798623,0.000004932166,5.534413e-7,0.0001610096,0.000007953621,9.971516e-7,0.00001205489,0.7452605,0.000003899129,0.000007404893,0.2376226,0.01691622],"study_design_scores_gemma":[0.0002332947,0.00001458129,0.000040056,0.00006144895,0.000007947378,0.000001597868,8.126376e-7,0.898277,0.005396578,0.00004652212,0.0955607,0.0003594909],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000005896694,0.0005095807,0.8620535,0.000004662812,0.001000226,0.0001777684,0.00000720069,0.0001291937,0.136112],"genre_scores_gemma":[0.0003097055,0.0001877702,0.9254133,0.00005351762,0.0003583205,0.00003966274,0.0002389683,0.0000752507,0.07332356],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1530164,"threshold_uncertainty_score":0.999261,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02060129793873857,"score_gpt":0.2756913122753851,"score_spread":0.2550900143366466,"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."}}