{"id":"W4393159133","doi":"10.1609/aaai.v38i8.28650","title":"An Approximate Skolem Function Counter","year":2024,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Function (biology); Physics; Mathematics; Biology","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.0005838459,0.0001956534,0.0001971582,0.0001128331,0.0001406405,0.0007187051,0.00152423,0.00007364085,0.00007786845],"category_scores_gemma":[0.00008968435,0.0001297128,0.0001130304,0.0007784441,0.0001711709,0.0007904975,0.0002010045,0.0003046065,0.000127426],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003306527,"about_ca_system_score_gemma":0.00006184436,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001786567,"about_ca_topic_score_gemma":9.478372e-7,"domain_scores_codex":[0.9982775,0.00002398344,0.0003898073,0.0005653803,0.0004410066,0.0003023417],"domain_scores_gemma":[0.999079,0.00007403053,0.0001237473,0.0003023021,0.0003214406,0.00009944915],"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.00001320537,0.00005873956,0.000009972885,0.00003079832,0.000008185035,4.716437e-7,0.0003369324,0.000009911793,0.02630348,0.6461673,0.00008345584,0.3269776],"study_design_scores_gemma":[0.000007774586,0.0002754615,0.00004485095,0.0001585185,0.00001023803,0.000004443588,0.0001594948,0.4124041,0.1723737,0.4135219,0.0008810628,0.0001584528],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0155162,0.00007138475,0.9689971,0.00362027,0.001870583,0.0003176344,0.000005579854,0.0003621358,0.009239101],"genre_scores_gemma":[0.9661341,0.00002291521,0.03311978,0.0002830721,0.0001618022,0.00002527305,3.343992e-7,0.00001438894,0.0002383043],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9506179,"threshold_uncertainty_score":0.693049,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06802914258940301,"score_gpt":0.3278646981445455,"score_spread":0.2598355555551425,"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."}}