{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:24:03Z","timestamp":1743056643269,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031711664"},{"type":"electronic","value":"9783031711671"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-71167-1_16","type":"book-chapter","created":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:02:58Z","timestamp":1725886978000},"page":"296-311","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Terminating Differentiable Tree Experts"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-6631-8613","authenticated-orcid":false,"given":"Jonathan","family":"Thomm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3065-7639","authenticated-orcid":false,"given":"Michael","family":"Hersche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-7315-9790","authenticated-orcid":false,"given":"Giacomo","family":"Camposampiero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-2580-7408","authenticated-orcid":false,"given":"Aleksandar","family":"Terzi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8177-0925","authenticated-orcid":false,"given":"Bernhard","family":"Sch\u00f6lkopf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3141-4970","authenticated-orcid":false,"given":"Abbas","family":"Rahimi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,10]]},"reference":[{"key":"16_CR1","unstructured":"Manhaeve, R., Dumancic, S., Kimmig, A., Demeester, T., De\u00a0Raedt, L.: DeepProbLog: neural probabilistic logic programming. Adv. Neural Inf. Process. Syst. (NeurIPS) 31 (2018)"},{"key":"16_CR2","unstructured":"Xu, J., Zhang, Z., Friedman, T., Liang, Y., Van\u00a0den Broeck, G.: A semantic loss function for deep learning with symbolic knowledge. In: Proceedings of the 35th International Conference on Machine Learning (ICML), vol.\u00a080, pp. 5502\u20135511 (2018)"},{"key":"16_CR3","unstructured":"Mao, J., Gan, C., Kohli, P., Tenenbaum, J.B., Wu, J.: The neuro-symbolic concept learner: interpreting scenes, words, and sentences from natural supervision. In: International Conference on Learning Representations (ICLR) (2019)"},{"key":"16_CR4","unstructured":"Chen, X., Liang, C., Yu, A.W., Song, D., Zhou, D.: Compositional generalization via neural-symbolic stack machines. Adv. Neural Inf. Process. Syst. (NeurIPS) 33, 1690\u20131701 (2020)"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Zhang, C., Jia, B., Zhu, S.C., Zhu, Y.: Abstract spatial-temporal reasoning via probabilistic abduction and execution. In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (2021)","DOI":"10.1109\/CVPR46437.2021.00961"},{"issue":"4","key":"16_CR6","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1038\/s42256-023-00630-8","volume":"5","author":"M Hersche","year":"2023","unstructured":"Hersche, M., Zeqiri, M., Benini, L., Sebastian, A., Rahimi, A.: A neuro-vector-symbolic architecture for solving Raven\u2019s progressive matrices. Nat. Mach. Intell. 5(4), 363\u2013375 (2023)","journal-title":"Nat. Mach. Intell."},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Liu, A., Xu, H., Van\u00a0den Broeck, G., Liang, Y.: Out-of-distribution generalization by neural-symbolic joint training. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a037, pp. 12252\u201312259 (2023)","DOI":"10.1609\/aaai.v37i10.26444"},{"key":"16_CR8","unstructured":"Lorello, L.S., Lippi, M.: The challenge of learning symbolic representations. In: Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy) (2023)"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Ellis, K., et al.: DreamCoder: growing generalizable, interpretable knowledge with wake-sleep bayesian program learning. Phil. Trans. Royal Soc. A: Math. Phys. Eng. Sci. 381, 202220050 (2023)","DOI":"10.1098\/rsta.2022.0050"},{"key":"16_CR10","unstructured":"Chen, X., Liang, C., Yu, A.W., Song, D., Zhou, D.: Compositional generalization via neural-symbolic stack machines. In: Proceedings of the 34th International Conference on Neural Information Processing Systems (NeurIPS). Curran Associates Inc., Red Hook (2020)"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0004-3702(90)90007-M","volume":"46","author":"P Smolensky","year":"1990","unstructured":"Smolensky, P.: Tensor product variable binding and the representation of symbolic structures in connectionist systems. Artif. Intell. 46, 159\u2013216 (1990)","journal-title":"Artif. Intell."},{"issue":"2","key":"16_CR12","first-page":"135","volume":"4","author":"A Newell","year":"1980","unstructured":"Newell, A.: Physical symbol systems. Cogn. Sci. 4(2), 135\u2013183 (1980)","journal-title":"Cogn. Sci."},{"issue":"3","key":"16_CR13","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1109\/72.377968","volume":"6","author":"TA Plate","year":"1995","unstructured":"Plate, T.A.: Holographic reduced representations. IEEE Trans. Neural Netw. 6(3), 623\u2013641 (1995)","journal-title":"IEEE Trans. Neural Netw."},{"key":"16_CR14","unstructured":"Gayler, R.W.: Vector symbolic architectures answer Jackendoff\u2019s challenges for cognitive neuroscience. In: Joint International Conference on Cognitive Science (ICCS\/ASCS) (2003)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Palangi, H., Smolensky, P., He, X., Deng, L.: Question-answering with grammatically-interpretable representations. In: Proceedings of the AAAI Conference on Artificial Intelligence (2018)","DOI":"10.1609\/aaai.v32i1.12004"},{"key":"16_CR16","unstructured":"Schlag, I., Smolensky, P., Fernandez, R., Jojic, N., Schmidhuber, J., Gao, J.: Enhancing the transformer with explicit relational encoding for math problem solving. arXiv preprint arXiv:1910.06611 (2019)"},{"key":"16_CR17","unstructured":"Chen, K., Huang, Q., Palangi, H., Smolensky, P., Forbus, K., Gao, J.: Mapping natural-language problems to formal-language solutions using structured neural representations. In: International Conference on Machine Learning (ICML), pp. 1566\u20131575 (2020)"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Jiang, Y., et al.: Enriching transformers with structured tensor-product representations for abstractive summarization. In: Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, pp. 4780\u20134793 (2021)","DOI":"10.18653\/v1\/2021.naacl-main.381"},{"issue":"3","key":"16_CR19","first-page":"308","volume":"43","author":"P Smolensky","year":"2022","unstructured":"Smolensky, P., McCoy, R.T., Fernandez, R., Goldrick, M., Gao, J.: Neurocompositional computing: from the central paradox of cognition to a new generation of ai systems. AI Mag. 43(3), 308\u2013322 (2022)","journal-title":"AI Mag."},{"key":"16_CR20","unstructured":"Soulos, P., et al.: Differentiable tree operations promote compositional generalization. In: Proceedings of the 40th International Conference on Machine Learning (ICML), vol.\u00a0202, pp. 32499\u201332520 (2023)"},{"key":"16_CR21","unstructured":"Steele, G.L.: Common LISP: The Language. Digital Press (1984)"},{"issue":"120","key":"16_CR22","first-page":"1","volume":"23","author":"W Fedus","year":"2022","unstructured":"Fedus, W., Zoph, B., Shazeer, N.: Switch transformers: scaling to trillion parameter models with simple and efficient sparsity. J. Mach. Learn. Res. 23(120), 1\u201339 (2022)","journal-title":"J. Mach. Learn. Res."},{"key":"16_CR23","unstructured":"Jiang, A.Q., et\u00a0al.: Mixtral of experts. arXiv preprint arXiv:2401.04088 (2024)"},{"key":"16_CR24","unstructured":"Shazeer, N., et al.: Outrageously large neural networks: the sparsely-gated mixture-of-experts layer. arXiv preprint arXiv:1701.06538 (2017)"},{"key":"16_CR25","unstructured":"Dehghani, M., Gouws, S., Vinyals, O., Uszkoreit, J., \u0141ukasz Kaiser: Universal transformers. In: International Conference on Learning Representations (ICLR) (2019)"},{"key":"16_CR26","unstructured":"Soulos, P., Conklin, H., Opper, M., Smolensky, P., Gao, J, Fernandez, R.: Compositional generalization across distributional shifts with sparse tree operations (2020)"},{"key":"16_CR27","unstructured":"Vaswani, A., et al.: Attention is all you need. In: Proceedings of the 31st International Conference on Neural Information Processing Systems (NeurIPS), pp. 6000\u20136010 (2017)"},{"key":"16_CR28","unstructured":"Graves, A.: Adaptive computation time for recurrent neural networks. arXiv preprint arXiv:1603.08983 (2016)"},{"key":"16_CR29","unstructured":"Banino, A., Balaguer, J., Blundell, C.: Pondernet: Learning to ponder. In: 8th ICML Workshop on Automated Machine Learning (AutoML) (2021)"},{"key":"16_CR30","unstructured":"Hersche, M., di\u00a0Stefano, F., Sebastian, A., Hofmann, T., Rahimi, A.: Probabilistic abduction for visual abstract reasoning via learning vector-symbolic architecture formulations. In: 3rd Workshop on Mathematical Reasoning and AI at NeurIPS (2023)"}],"container-title":["Lecture Notes in Computer Science","Neural-Symbolic Learning and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-71167-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:07:19Z","timestamp":1725887239000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71167-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031711664","9783031711671"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71167-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"10 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NeSy","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Neural-Symbolic Learning and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Barcelona","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nesy2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.google.com\/view\/nesy2023","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}