{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002525289,0.00005517853,0.00005205023,0.00004510329,0.0001056727,0.00006309469,0.0002683667,0.00002423929,0.0000568681],"category_scores_gemma":[0.000009231735,0.00003982742,0.0000238448,0.0001520583,0.00005176355,0.0005737329,0.0001627685,0.00003964574,0.00001880589],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002045282,"about_ca_system_score_gemma":0.000005549021,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003315809,"about_ca_topic_score_gemma":3.31975e-7,"domain_scores_codex":[0.9995203,0.00004457554,0.00005964825,0.0001223242,0.00008467938,0.0001684522],"domain_scores_gemma":[0.9995699,0.00005411541,0.00001721002,0.0002508862,0.00001007294,0.00009785047],"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.000001237109,0.00001948364,0.004036071,0.000003103323,0.000003936823,8.766356e-7,0.0005534368,3.529164e-7,0.003988191,0.972603,0.00134633,0.01744398],"study_design_scores_gemma":[0.0005969753,0.0002015271,0.04940209,0.0001064509,0.00001878373,0.0001536104,0.0006099495,0.002085319,0.0774409,0.6044785,0.2639353,0.0009706031],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5402421,0.001957411,0.4074238,0.001740862,0.0007837518,0.0001133728,5.808913e-7,0.0005320817,0.04720602],"genre_scores_gemma":[0.9684052,0.00001803022,0.0308016,0.0003534538,0.00006242496,0.000004109327,1.35586e-7,0.000001929729,0.0003530859],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4281631,"threshold_uncertainty_score":0.1624115,"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."}}