{"id":"W4401024405","doi":"10.24963/ijcai.2024/662","title":"NeSyA: Neurosymbolic Automata","year":2024,"lang":"en","type":"article","venue":"","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Alliance de recherche numérique du Canada; Natural Sciences and Engineering Research Council of Canada; Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Canadian Institute for Advanced Research","keywords":"Computer science; World Wide Web; Programming language","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004800036,0.0005330345,0.000407283,0.0005748971,0.0005645612,0.001439334,0.001458674,0.0008834527,0.008830916],"category_scores_gemma":[0.003095313,0.0003467393,0.0008791965,0.0004850659,0.001219804,0.002954218,0.001641123,0.001251538,0.002060727],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009326022,"about_ca_system_score_gemma":0.001037654,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003131156,"about_ca_topic_score_gemma":0.004809344,"domain_scores_codex":[0.9996978,0.00005641116,0.00003688163,0.00009261443,0.00009113494,0.00002525181],"domain_scores_gemma":[0.9992946,0.0003306929,0.0000602714,0.0001626597,0.0001083244,0.00004337449],"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.000241611,0.0001002128,0.001972751,0.00046877,0.00008685708,0.0003535517,0.0004255457,0.1759712,0.01427959,0.598984,0.02203717,0.1850788],"study_design_scores_gemma":[0.00002431647,0.00004121251,0.0002550794,0.00006568717,0.00002577875,0.0001670336,0.00005460614,0.6329256,0.008128223,0.3097593,0.04852626,0.00002700294],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009711116,0.0003168919,0.9662125,0.0005005451,0.0001533586,0.0001009039,0.001055529,0.01055074,0.0113985],"genre_scores_gemma":[0.3712491,0.0007474584,0.6083402,0.0005451584,0.0001038804,0.0007031424,0.002432065,0.001158785,0.01472021],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008830916,"threshold_uncertainty_score":0.02954233,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01210950841733616,"score_gpt":0.2511327238470092,"score_spread":0.239023215429673,"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."}}