{"id":"W2465729262","doi":"10.1017/s0960129516000219","title":"Computations with oracles that measure vanishing quantities","year":2016,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Timeout; Computation; Oracle; Computer science; Measure (data warehouse); Algorithm; Symbolic computation; Discrete mathematics; Theoretical computer science; Mathematics; Mathematical analysis; Data mining","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.001212541,0.0003465386,0.0004183238,0.0003480094,0.0003954409,0.000993484,0.003348825,0.00006801966,0.00003646249],"category_scores_gemma":[0.0002012011,0.0001995403,0.00007481525,0.001372592,0.001299395,0.001781726,0.001364949,0.0002152536,0.00002982453],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002147209,"about_ca_system_score_gemma":0.0002499988,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001883071,"about_ca_topic_score_gemma":0.00003460508,"domain_scores_codex":[0.9960116,0.0001396586,0.0004650904,0.001112011,0.001477191,0.0007944258],"domain_scores_gemma":[0.9971325,0.001040077,0.0001609237,0.001165868,0.0002528702,0.0002477926],"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.000008507073,0.0001402605,0.005283589,0.00006179095,0.00001244693,0.00009028906,0.001614466,0.003424736,0.0002929106,0.6885644,0.0000734854,0.3004331],"study_design_scores_gemma":[0.0004960667,0.0001200507,0.02343158,0.0002188653,0.00000452676,0.0002514874,0.00003195862,0.3745561,0.001170532,0.5992125,0.0000485777,0.0004578473],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06479248,0.00004253053,0.9322196,0.001495231,0.0004731341,0.000299306,0.000003305684,0.0003430216,0.0003314138],"genre_scores_gemma":[0.5722521,0.000001154636,0.4275146,0.0001549009,0.00005449959,0.000008876807,2.058975e-7,0.000008932293,0.00000466752],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5074596,"threshold_uncertainty_score":0.958019,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03399042463299039,"score_gpt":0.2662922667684897,"score_spread":0.2323018421354993,"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."}}