{"id":"W3212081583","doi":"","title":"Techniques for Symbol Grounding with SATNet","year":2021,"lang":"en","type":"article","venue":"Neural Information Processing Systems","topic":"Image Retrieval and Classification Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Artificial intelligence; Symbol (formal); Key (lock); Pipeline (software); Solver; Machine learning; Theoretical computer science; Programming language","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":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0002523048,0.0001198114,0.0001467238,0.0001071646,0.0002465546,0.001303482,0.0003070598,0.00006431845,0.000001163304],"category_scores_gemma":[0.00004662927,0.00009379565,0.0000339741,0.0004949928,0.00002550021,0.004482153,0.00004522843,0.0000858296,0.000006497313],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000605811,"about_ca_system_score_gemma":0.0001395448,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004934868,"about_ca_topic_score_gemma":3.259826e-7,"domain_scores_codex":[0.9989761,0.00002906999,0.000370486,0.0001575818,0.0002757418,0.0001910132],"domain_scores_gemma":[0.9987129,0.00003556211,0.0002737305,0.0002472631,0.0006821408,0.00004839198],"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.0000251722,0.00004314452,0.0001473452,0.00165855,0.0000172889,0.0000050121,0.001953989,0.00002901696,0.006619528,0.09828455,0.001889976,0.8893265],"study_design_scores_gemma":[0.0006237316,0.00031812,0.0002686506,0.0007303384,0.00002121636,0.0006656789,0.00134711,0.4710601,0.3188587,0.0009129226,0.2044364,0.000757103],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0005187101,0.0001742608,0.9952157,0.0005956696,0.0001492314,0.0003750086,0.000003490114,0.0008869578,0.002080955],"genre_scores_gemma":[0.9552071,0.000008150007,0.04350331,0.0004581913,0.00008014988,0.0002606504,0.0000367113,0.00000866532,0.0004370534],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9546884,"threshold_uncertainty_score":0.9997333,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01976966480217782,"score_gpt":0.2598192305950064,"score_spread":0.2400495657928286,"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."}}