{"id":"W3090935379","doi":"10.4230/lipics.fun.2021.10","title":"Computational Fun with Sturdy and Flimsy Numbers","year":2020,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Base (topology); Mathematics; Natural number; Computer science; Theoretical computer science; Arithmetic; Discrete mathematics; Algorithm","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003838904,0.0004586292,0.0005167896,0.0001360071,0.000359926,0.0007148219,0.001201872,0.0001448829,0.00002304181],"category_scores_gemma":[0.00007905978,0.0003869613,0.000143035,0.0005389238,0.0002282617,0.001786483,0.0008611431,0.0004163791,0.00009491999],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009481129,"about_ca_system_score_gemma":0.0001390446,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001401661,"about_ca_topic_score_gemma":0.00001024317,"domain_scores_codex":[0.9971152,0.00005124553,0.0008732327,0.0005236586,0.0007428974,0.0006937513],"domain_scores_gemma":[0.9979506,0.0002878344,0.0003348056,0.0005848838,0.000365426,0.0004764741],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001387513,0.002802843,0.146816,0.005557804,0.002198937,0.0002024586,0.2197959,0.08094732,0.0000828179,0.2093589,0.03394216,0.2969074],"study_design_scores_gemma":[0.004049934,0.0009471966,0.00556109,0.00006300425,0.00003644252,0.0001804805,0.001066254,0.9572909,0.00007945239,0.003458502,0.02644883,0.0008178853],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1124652,0.00004684258,0.8799068,0.003120987,0.0003984093,0.001188323,0.0001769432,0.0004797499,0.002216747],"genre_scores_gemma":[0.7136827,0.000007689769,0.2817438,0.004094771,0.0001724873,0.00006231632,0.0001561867,0.0000363243,0.00004369587],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8763436,"threshold_uncertainty_score":0.9998582,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01525947549686153,"score_gpt":0.2268073120333851,"score_spread":0.2115478365365236,"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."}}