{"id":"W6979709731","doi":"","title":"Abstract state machines, alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings","year":2010,"lang":"en","type":"article","venue":"","topic":"Advanced Materials Characterization Techniques","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"State (computer science); Field (mathematics); Calculus (dental); Product (mathematics)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.00009007216,0.0002271653,0.0001915795,0.00009232861,0.00004805026,0.000144227,0.000213311,0.00009809463,0.005887547],"category_scores_gemma":[0.00001784117,0.0002180977,0.00001654246,0.00004447665,0.00004305477,0.0005779479,0.00006660003,0.0002842969,0.00001300145],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004385891,"about_ca_system_score_gemma":0.00006614642,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.02286132,"about_ca_topic_score_gemma":0.1219382,"domain_scores_codex":[0.9990495,0.000001952327,0.000319448,0.0002198864,0.0001733831,0.0002358632],"domain_scores_gemma":[0.9995261,0.00001622937,0.00007990102,0.0001195642,0.0001304078,0.0001277658],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000009651025,0.00001144829,0.00167009,0.00009521189,0.00002809865,0.000006209317,0.00005453799,0.000008778589,0.9556188,0.001591737,0.03889982,0.002005633],"study_design_scores_gemma":[0.0007137108,0.00002952096,0.4297285,0.00005970123,0.00001272833,0.00008846535,0.00004785423,0.006780353,0.463092,0.003727706,0.094651,0.001068385],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9811898,0.000008848164,0.0008867985,0.0002383623,0.002193379,0.0002343439,0.0003064742,0.0006155383,0.01432649],"genre_scores_gemma":[0.9881562,0.00009864469,0.006735207,0.0001745483,0.0001465038,0.00003653958,0.0001553858,0.00005631328,0.004440657],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4925267,"threshold_uncertainty_score":0.9950212,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006168572928719431,"score_gpt":0.2052206980021402,"score_spread":0.1990521250734208,"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."}}