{"id":"W2401573281","doi":"","title":"SMT-LIB Sequences and Regular Expressions.","year":2012,"lang":"en","type":"article","venue":"","topic":"Coding theory and cryptography","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Mathematics; Combinatorics","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.001962334,0.000612467,0.0006808937,0.001654138,0.001217251,0.002584037,0.001106862,0.001131351,0.009011686],"category_scores_gemma":[0.009710751,0.0004081766,0.0006347044,0.002086967,0.002308456,0.005097583,0.002636274,0.003367706,0.004646025],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001444671,"about_ca_system_score_gemma":0.001534964,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006894026,"about_ca_topic_score_gemma":0.0008781562,"domain_scores_codex":[0.9972051,0.0009783747,0.0002261544,0.0003735606,0.0008359079,0.0003809433],"domain_scores_gemma":[0.9958289,0.001859251,0.0004230983,0.00104185,0.0006444338,0.0002024458],"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.0001203985,0.00002394571,0.0002385631,0.00008461712,0.000009595588,0.0001011521,0.0001563203,0.001326191,0.000993502,0.9592448,0.007713575,0.02998728],"study_design_scores_gemma":[0.00001609089,0.00003024529,0.0001040302,0.00006457997,0.000008316272,0.0002189424,0.00005208796,0.007205449,0.001950855,0.9714605,0.01887321,0.0000156345],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06142148,0.00597177,0.7348691,0.008295542,0.001235054,0.0002150238,0.002536144,0.002922736,0.1825332],"genre_scores_gemma":[0.7066972,0.003550817,0.2133759,0.003487288,0.001202204,0.0005547603,0.003496243,0.000964359,0.06667116],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009011686,"threshold_uncertainty_score":0.03014708,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01387313523128612,"score_gpt":0.2270672703551577,"score_spread":0.2131941351238716,"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."}}