{"id":"W1997006459","doi":"10.1016/j.tcs.2012.01.011","title":"Effectively approximating measurable sets by open sets","year":2012,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Computer science; Algorithm; Discrete mathematics; Combinatorics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003110231,0.001106682,0.001670824,0.001779667,0.00121252,0.005526169,0.002618203,0.001767385,0.004208226],"category_scores_gemma":[0.02543521,0.000929916,0.001411692,0.002205284,0.003663228,0.01006487,0.006511705,0.003866385,0.0005601179],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002542445,"about_ca_system_score_gemma":0.0009875665,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001920023,"about_ca_topic_score_gemma":0.002010795,"domain_scores_codex":[0.9951158,0.00164558,0.000300917,0.0006239428,0.001830273,0.0004834293],"domain_scores_gemma":[0.9843092,0.01067949,0.000751703,0.002457475,0.001081196,0.0007210093],"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.0001795353,0.0001026529,0.001066223,0.0001519142,0.00004324075,0.00009597955,0.0004699443,0.05092837,0.002065685,0.9130894,0.0009040265,0.03090309],"study_design_scores_gemma":[0.00002510219,0.00005497262,0.0001801529,0.00003276222,0.00002282254,0.00006399214,0.000132935,0.1758514,0.001623399,0.8200582,0.001940628,0.00001372039],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1425864,0.001021306,0.8398922,0.001103612,0.0001533822,0.00004723825,0.0001516881,0.0006970487,0.0143471],"genre_scores_gemma":[0.8637423,0.0006592908,0.1278815,0.0002832588,0.0001520275,0.0001025096,0.0003516267,0.0001993529,0.006628183],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005526169,"threshold_uncertainty_score":0.01844686,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02285041353017543,"score_gpt":0.2885347283407524,"score_spread":0.265684314810577,"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."}}