{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T04:07:19Z","timestamp":1752984439680,"version":"3.41.0"},"reference-count":23,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2024,6,30]],"date-time":"2024-06-30T00:00:00Z","timestamp":1719705600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Queue"],"published-print":{"date-parts":[[2024,6,30]]},"abstract":"<jats:p>We explore how Large Language Models (LLMs) can function not just as databases, but as dynamic, end-user programmable neural computers. The native programming language for this neural computer is a Logic Programming-inspired declarative language that formalizes and externalizes the chain-of-thought reasoning as it might happen inside a large language model.<\/jats:p>","DOI":"10.1145\/3676287","type":"journal-article","created":{"date-parts":[[2024,7,19]],"date-time":"2024-07-19T23:41:33Z","timestamp":1721432493000},"page":"25-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Virtual Machinations: Using Large Language Models as Neural Computers"],"prefix":"10.1145","volume":"22","author":[{"given":"Erik","family":"Meijer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7,19]]},"reference":[{"key":"e_1_2_1_1_1","article-title":"A neural probabilistic language model","volume":"3","author":"Bengio Y.","year":"2003","unstructured":"Bengio, Y., Ducharme, R., Vincent, P., Janvin, C. 2003. A neural probabilistic language model. The Journal of Machine Learning Research, 3, 1137?1155; https:\/\/dl.acm.org\/doi\/10.5555\/944919.944966.","journal-title":"The Journal of Machine Learning Research"},{"key":"e_1_2_1_2_1","first-page":"1877","article-title":"Language models are few-shot learners. Proceedings of the 34th International Conference on Neural Information Processing Systems","volume":"159","author":"Brown T. B.","year":"2020","unstructured":"Brown, T. B., Mann, B., Ryder, N., Subbiah, M., Kaplan, J., Dhariwal, P., Neelakantan, A., Shyam, P., Sastry, G., Askell, A., Agarwal, S., Herbert-Voss, A., Krueger, G., Henighan, T., Child, R., Ramesh, A., Ziegler, D. M., Wu, J., Winter, C., Hesse, C., Chen, M., Sigler, E., Litwin, M., Gray, S., Chess, B., Clark, J., Berner, C., McCandlish, S., Radford, A., Sutskever, I., Amodei, D. 2020. Language models are few-shot learners. Proceedings of the 34th International Conference on Neural Information Processing Systems. Article 159, 1877-1901; https:\/\/dl.acm.org\/doi\/abs\/10.5555\/3495724.3495883.","journal-title":"Article"},{"key":"e_1_2_1_3_1","volume-title":"Sampling for text generation","author":"Chip H.","year":"2024","unstructured":"Chip, H. 2024. Sampling for text generation; https:\/\/huyenchip.com\/2024\/01\/16\/sampling.html."},{"key":"e_1_2_1_4_1","unstructured":"Dong Q. Li L. Dai D. Zheng C. Wu Z. Chang B. Sun X. Xu J. Li L. Sui Z. 2023. A survey on in-context learning. arXiv:2301.00234; https:\/\/arxiv.org\/abs\/2301.00234."},{"volume-title":"The Language of Thought","author":"Fodor J. A.","key":"e_1_2_1_5_1","unstructured":"Fodor, J. A. 1975. The Language of Thought. New York, NY: Thomas Y. Crowell Co."},{"key":"e_1_2_1_6_1","unstructured":"Gao Y. Xiong Y. Gao X. Jia K. Pan J. Bi Y. Dai Y. Sun J. Guo Q. Wang M. Wang H. 2024. Retrieval-augmented generation for large language models: a survey. arXiv 2312.10997; https:\/\/arxiv.org\/abs\/2312.10997."},{"key":"e_1_2_1_7_1","unstructured":"Hernandez E. Sharma A. S. Haklay T. Meng K. Wattenberg M. Andreas J. Belinkov Y. Bau D. 2024. Linearity of relation decoding in transformer language models. arXiv:2308.09124; https:\/\/arxiv.org\/abs\/2308.09124."},{"key":"e_1_2_1_8_1","unstructured":"Karpathy A. 2023. LLM OS. Bear with me I'm still cooking. X; https:\/\/x.com\/karpathy\/status\/1723135784142979392."},{"key":"e_1_2_1_9_1","doi-asserted-by":"crossref","unstructured":"K\u00f6rner P. Leuschel M. Barbosa J. Santos Costa V. Dahl V. Hermenegildo M. V. Morales J. F. Wielemaker J. Diaz D. Abreu S. Ciatto G. 2022. Fifty years of Prolog and beyond. arXiv:2201.10816; https:\/\/arxiv.org\/abs\/2201.10816.","DOI":"10.1017\/S1471068422000102"},{"key":"e_1_2_1_10_1","unstructured":"Liu N. F. Lin K. Hewitt J. Paranjape A. Bevilacqua M. Petroni F. Liang P. 2023. Lost in the middle: how language models use long contexts. arXi:2307.03172; https:\/\/arxiv.org\/abs\/2307.03172."},{"key":"e_1_2_1_11_1","volume-title":"AIOS: LLM agent operating system. arXiv 2403.16971","author":"Mei K.","year":"2024","unstructured":"Mei, K., Li, Z., Xu, S., Ye, R., Ge, Y., Zhang, Y. 2024. AIOS: LLM agent operating system. arXiv 2403.16971; https:\/\/arxiv.org\/abs\/2403.16971."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(85)90004-4"},{"key":"e_1_2_1_13_1","unstructured":"National Weather Service. API Web Service documentation; https:\/\/www.weather.gov\/documentation\/services-web-api."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/351268.351289"},{"key":"e_1_2_1_15_1","unstructured":"OpenAI. Function calling. OpenAI Platform documentation; https:\/\/platform.openai.com\/docs\/guides\/function-calling."},{"key":"e_1_2_1_16_1","unstructured":"Packer C. Fang V. Patil S. G. Lin K. Wooders S. Gonzalez J. E. 2023. MemGPT: towards LLMs as operating systems. arXiv:2310.08560; https:\/\/arxiv.org\/abs\/2310.08560."},{"key":"e_1_2_1_17_1","volume-title":"Crash course on notation in programming language theory","author":"Siek J.","year":"2012","unstructured":"Siek, J. 2012. Crash course on notation in programming language theory; https:\/\/siek.blogspot.com\/2012\/07\/crash-course-on-notation-in-programming.html."},{"key":"e_1_2_1_18_1","volume-title":"Provably safe systems: the only path to controllable AGI. arXiv:2309.01933","author":"Tegmark M.","year":"1933","unstructured":"Tegmark, M., Omohundro, S. 2023. Provably safe systems: the only path to controllable AGI. arXiv:2309.01933; https:\/\/arxiv.org\/abs\/2309.01933."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289243"},{"key":"e_1_2_1_20_1","volume-title":"Chain-of-thought prompting elicits reasoning in large language models. arXiv:2201.11903","author":"Wei J.","year":"1903","unstructured":"Wei, J., Wang, X., Schuurmans, D., Bosma, M., Ichter, B., Xia, F., Chi, E., Le, Q., Zhou, D. 2023. Chain-of-thought prompting elicits reasoning in large language models. arXiv:2201.11903; https:\/\/arxiv.org\/abs\/2201.11903."},{"key":"e_1_2_1_21_1","unstructured":"Wikipedia. Vector database; https:\/\/en.wikipedia.org\/wiki\/Vector_database."},{"key":"e_1_2_1_22_1","unstructured":"Yao S. Yu D. Zhao J. Shafran I. Griffiths T. L. Cao Y. Narasimhan K. 2023. Tree of thoughts: deliberate problem solving with large language models. arXiv:2305.10601; https:\/\/arxiv.org\/abs\/2305.10601."},{"key":"e_1_2_1_23_1","unstructured":"Yao S. Zhao J. Yu D. Du N. Shafran I. Narasimhan K. Cao Y. 2023. ReAct: synergizing reasoning and acting in language models. arXiv 2210.03629; https:\/\/arxiv.org\/abs\/2210.03629."}],"container-title":["Queue"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3676287","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3676287","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:05:34Z","timestamp":1750291534000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3676287"}},"subtitle":["LLMs can function not only as databases, but also as dynamic, end-user programmable neural computers."],"short-title":[],"issued":{"date-parts":[[2024,6,30]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,6,30]]}},"alternative-id":["10.1145\/3676287"],"URL":"https:\/\/doi.org\/10.1145\/3676287","relation":{},"ISSN":["1542-7730","1542-7749"],"issn-type":[{"type":"print","value":"1542-7730"},{"type":"electronic","value":"1542-7749"}],"subject":[],"published":{"date-parts":[[2024,6,30]]},"assertion":[{"value":"2024-07-19","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}