{"id":"W4238169244","doi":"10.1090/fim/027/12","title":"SDP representability","year":2010,"lang":"en","type":"book-chapter","venue":"American Mathematical Society eBooks","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006557804,0.0007181721,0.0004984487,0.0009052925,0.0009544338,0.003406672,0.000840667,0.0007859819,0.02534862],"category_scores_gemma":[0.002666001,0.000443386,0.0008354743,0.001605864,0.00173226,0.005021217,0.002080006,0.003245673,0.006932628],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001633831,"about_ca_system_score_gemma":0.001039609,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001277511,"about_ca_topic_score_gemma":0.0008834949,"domain_scores_codex":[0.9992384,0.0001230904,0.00005415089,0.0001805223,0.0003288102,0.00007508454],"domain_scores_gemma":[0.9992312,0.0002540646,0.00003090577,0.0002702495,0.0001826977,0.00003083458],"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.000006788705,0.000008969035,0.0000259978,0.00003071919,0.000002602334,0.0000159399,0.00007701505,0.001164696,0.0003601357,0.9565686,0.007368931,0.03436952],"study_design_scores_gemma":[0.000005050282,0.000006686697,0.00003270329,0.00002829986,0.000006129969,0.00006042452,0.00002788607,0.006648517,0.001420682,0.8953182,0.09643852,0.000006872163],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007634474,0.0009612732,0.5796352,0.002693488,0.0006308249,0.00008061893,0.0007101645,0.001323435,0.4063306],"genre_scores_gemma":[0.4252546,0.004083057,0.2192222,0.001230765,0.0008543657,0.0004998922,0.003357737,0.001628354,0.3438691],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02534862,"threshold_uncertainty_score":0.08479965,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02857330156499127,"score_gpt":0.2943857990034422,"score_spread":0.2658124974384509,"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."}}