{"id":"W4414359880","doi":"10.24963/ijcai.2025/1230","title":"A Semantic Framework for Neurosymbolic Computation (Abstract Reprint)","year":2025,"lang":"en","type":"article","venue":"","topic":"Neural Networks and Applications","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Fraser Institute; Simon Fraser University","funders":"","keywords":"Semantics (computer science); Encoding (memory); Context (archaeology); Field (mathematics); Mathematical proof; Translation (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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001616232,0.0006387216,0.0003896285,0.00140055,0.001340186,0.002986816,0.001286043,0.001208976,0.01005523],"category_scores_gemma":[0.0032401,0.0003439757,0.001191449,0.001458982,0.007433374,0.006893137,0.00258174,0.002564337,0.001636906],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002238802,"about_ca_system_score_gemma":0.001136377,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001876536,"about_ca_topic_score_gemma":0.002242413,"domain_scores_codex":[0.9988901,0.0004322282,0.000105799,0.0002022342,0.0002852931,0.00008441551],"domain_scores_gemma":[0.9990736,0.0003982873,0.00007553191,0.0001823427,0.0002087007,0.00006158113],"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.000002747448,0.000001808188,0.00001071685,0.00001530886,0.000001757788,0.00001146004,0.00005553543,0.0005071273,0.00009097918,0.9961901,0.0006218692,0.002490544],"study_design_scores_gemma":[0.000003560046,0.000005116801,0.0000201604,0.000018542,0.000003770734,0.00003562796,0.0000360762,0.004806278,0.0003108381,0.976949,0.0178069,0.00000415304],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00364975,0.00115613,0.9418141,0.003750867,0.0004830365,0.00006156371,0.0003005205,0.0004729029,0.04831115],"genre_scores_gemma":[0.3380234,0.001737282,0.6339329,0.001902475,0.0007624807,0.0004297981,0.0007045142,0.0004464388,0.02206063],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01005523,"threshold_uncertainty_score":0.03363806,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02220263993026551,"score_gpt":0.3224225983376349,"score_spread":0.3002199584073694,"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."}}