Fetching the paper…
Reading the bibliography…
Large Language Models (LLMs) demonstrate ever-increasing abilities in mathematical and algorithmic tasks, yet their geometric reasoning skills are underexplored.
What is elementary geometry?
Tarski, A · 1959
Earlier work this paper cites.
The Society of Mind
Minsky, M · 1986
Earlier work this paper cites.
Conceptual integration networks
Fauconnier, G. and Turner, M · 1998
Earlier work this paper cites.
Language models are few-shot learners
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., and Amodei, D · 2005
Earlier work this paper cites.
Euclid’s Elements of Geometry
Fitzpatrick, R · 2008
Earlier work this paper cites.
Solving geometry problems: Combining text and diagram interpretation
Seo, M., Hajishirzi, H., Farhadi, A., Etzioni, O., and Malcolm, C · 2015
Earlier work this paper cites.
Learning multiagent communication with backpropagation
Sukhbaatar, S., szlam, a., and Fergus, R · 2016
Earlier work this paper cites.
Emergence of language with multi-agent games: Learning to communicate with sequence of symbols
Havrylov, S. and Titov, I · 2017
Earlier work this paper cites.
Multi-agent actor-critic for mixed cooperative-competitive environments
Lowe, R., WU, Y., Tamar, A., Harb, J., Pieter Abbeel, O., and Mordatch, I · 2017
Earlier work this paper cites.
Emergence of grounded compositional language in multi-agent populations
Mordatch, I. and Abbeel, P · 2018
Earlier work this paper cites.
The hanabi challenge: A new frontier for ai research
Bard, N., Foerster, J. N., Chandar, S., Burch, N., Lanctot, M., Song, H. F., Parisotto, E., Dumoulin, V., Moitra, S., Hughes, E., Dunning, I., Mourad, S., Larochelle, H., Bellemare, M. G., and Bowling, M · 2019
Earlier work this paper cites.
Spoc: Search-based pseudocode to code
Kulal, S., Pasupat, P., Chandra, K., Lee, M., Padon, O., Aiken, A., and Liang, P. S · 2019
Earlier work this paper cites.
Universal adversarial triggers for attacking and analyzing NLP
Wallace, E., Feng, S., Kandpal, N., Gardner, M., and Singh, S · 2019
Earlier work this paper cites.
Open problems in cooperative ai, 2020
Dafoe, A., Hughes, E., Bachrach, Y., Collins, T., McKee, K. R., Leibo, J. Z., Larson, K., and Graepel, T · 2020
Earlier work this paper cites.
A simple language model for task-oriented dialogue
Hosseini-Asl, E., McCann, B., Wu, C.-S., Yavuz, S., and Socher, R · 2020
Earlier work this paper cites.
Birds have four legs?! NumerSense: Probing Numerical Commonsense Knowledge of Pre-Trained Language Models
Lin, B. Y., Lee, S., Khanna, R., and Ren, X · 2020
Earlier work this paper cites.
Learning structured communication for multi-agent reinforcement learning, 2020
Sheng, J., Wang, X., Jin, B., Yan, J., Li, W., Chang, T.-H., Wang, J., and Zha, H · 2020
Earlier work this paper cites.
AutoPrompt: Eliciting Knowledge from Language Models with Automatically Generated Prompts
Shin, T., Razeghi, Y., Logan IV, R. L., Wallace, E., and Singh, S · 2020
Earlier work this paper cites.
Evaluating large language models trained on code
Chen, M., Tworek, J., Jun, H., Yuan, Q., Pinto, H. P. d. O., Kaplan, J., Edwards, H., Burda, Y., Joseph, N., Brockman, G., et al · 2021
Earlier work this paper cites.
Training verifiers to solve math word problems
Cobbe, K., Kosaraju, V., Bavarian, M., Chen, M., Jun, H., Kaiser, L., Plappert, M., Tworek, J., Hilton, J., Nakano, R., Hesse, C., and Schulman, J · 2021
Earlier work this paper cites.
Learning correlated communication topology in multi-agent reinforcement learning
Du, Y., Liu, B., Moens, V., Liu, Z., Ren, Z., Wang, J., Chen, X., and Zhang, H · 2021
Cited alongside, same era.
Measuring mathematical problem solving with the math dataset
Hendrycks, D., Burns, C., Kadavath, S., Arora, A., Basart, S., Tang, E., Song, D., and Steinhardt, J · 2021
Cited alongside, same era.
Towards understanding and mitigating social biases in language models
Liang, P. P., Wu, C., Morency, L.-P., and Salakhutdinov, R · 2021
Cited alongside, same era.
Inter-GPS: Interpretable geometry problem solving with formal language and symbolic reasoning
Lu, P., Gong, R., Jiang, S., Qiu, L., Huang, S., Liang, X., and Zhu, S.-C · 2021
Cited alongside, same era.
Learning to solve geometric construction problems from images
Macke, J., Sedlar, J., Olsak, M., Urban, J., and Sivic, J · 2021
Cited alongside, same era.
Bard, 2023
Google · 2023
Later among the works it cites.
Reasoning with language model is planning with world model
Hao, S., Gu, Y., Ma, H., Hong, J. J., Wang, Z., Wang, D. Z., and Hu, Z · 2023
Later among the works it cites.
Metagpt: Meta programming for a multi-agent collaborative framework, 2023
Hong, S., Zhuge, M., Chen, J., Zheng, X., Cheng, Y., Zhang, C., Wang, J., Wang, Z., Yau, S. K. S., Lin, Z., Zhou, L., Ran, C., Xiao, L., Wu, C., and Schmidhuber, J · 2023
Later among the works it cites.
Mistral 7b, 2023
Jiang, A. Q., Sablayrolles, A., Mensch, A., Bamford, C., Chaplot, D. S., de las Casas, D., Bressand, F., Lengyel, G., Lample, G., Saulnier, L., Lavaud, L. R., Lachaux, M.-A., Stock, P., Scao, T. L., Lavril, T., Wang, T., Lacroix, T., and Sayed, W. E · 2023
Later among the works it cites.
Camel: Communicative agents for ”mind” exploration of large language model society
Li, G., Hammoud, H. A. A. K., Itani, H., Khizbullin, D., and Ghanem, B · 2023
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Patel, A., Bhattamishra, S., and Goyal, N · 2021
Cited alongside, same era.
Prompt programming for large language models: Beyond the few-shot paradigm
Reynolds, L. and McDonell, K · 2021
Cited alongside, same era.
Language models as agent models
Andreas, J · 2022
Cited alongside, same era.
Unigeo: Unifying geometry logical reasoning via reformulating mathematical expression
Chen, J., Li, T., Qin, J., Lu, P., Lin, L., Chen, C., and Liang, X · 2022
Cited alongside, same era.
Palm: Scaling language modeling with pathways
Chowdhery, A., Narang, S., Devlin, J., Bosma, M., Mishra, G., Roberts, A., Barham, P., Chung, H. W., Sutton, C., Gehrmann, S., et al · 2022
Cited alongside, same era.
Inner monologue: Embodied reasoning through planning with language models, 2022
Huang, W., Xia, F., Xiao, T., Chan, H., Liang, J., Florence, P., Zeng, A., Tompson, J., Mordatch, I., Chebotar, Y., Sermanet, P., Brown, N., Jackson, T., Luu, L., Levine, S., Hausman, K., and Ichter, B · 2022
Cited alongside, same era.
Large language models are zero-shot reasoners
Kojima, T., Gu, S. S., Reid, M., Matsuo, Y., and Iwasawa, Y · 2022
Cited alongside, same era.
Agentsims: An open-source sandbox for large language model evaluation, 2023
Lin, J., Zhao, H., Zhang, A., Wu, Y., Ping, H., and Chen, Q · 2023
Later among the works it cites.
Cheap talk discovery and utilization in multi-agent reinforcement learning, 2023
Lo, Y. L., de Witt, C. S., Sokota, S., Foerster, J. N., and Whiteson, S · 2023
Later among the works it cites.
A simple, yet effective approach to finding biases in code generation
Mouselinos, S., Malinowski, M., and Michalewski, H · 2023
Later among the works it cites.
Gpt-4 technical report, 2023
OpenAI · 2023
Later among the works it cites.
Generative agents: Interactive simulacra of human behavior
Park, J. S., O’Brien, J., Cai, C. J., Morris, M. R., Liang, P., and Bernstein, M. S · 2023
Later among the works it cites.
Communicative agents for software development, 2023
Qian, C., Cong, X., Liu, W., Yang, C., Chen, W., Su, Y., Dang, Y., Li, J., Xu, J., Li, D., Liu, Z., and Sun, M · 2023
Later among the works it cites.
Llama 2: Open foundation and fine-tuned chat models, 2023
Touvron, H., Martin, L., Stone, K., Albert, P., Almahairi, A., Babaei, Y., Bashlykov, N., Batra, S., Bhargava, P., Bhosale, S., Bikel, D., Blecher, L., Ferrer, C. C., Chen, M., Cucurull, G., Esiobu, D., Fernandes, J., Fu, J., Fu, W., Fuller, B., Gao, C., Goswami, V., Goyal, N., Hartshorn, A., Hosseini, S., Hou, R., Inan, H., Kardas, M., Kerkez, V., Khabsa, M., Kloumann, I., Korenev, A., Koura, P. S., Lachaux, M.-A., Lavril, T., Lee, J., Liskovich, D., Lu, Y., Mao, Y., Martinet, X., Mihaylov, T., Mishra, P., Molybog, I., Nie, Y., Poulton, A., Reizenstein, J., Rungta, R., Saladi, K., Schelten, A., Silva, R., Smith, E. M., Subramanian, R., Tan, X. E., Tang, B., Taylor, R., Williams, A., Kuan, J. X., Xu, P., Yan, Z., Zarov, I., Zhang, Y., Fan, A., Kambadur, M., Narang, S., Rodriguez, A., Stojnic, R., Edunov, S., and Scialom, T · 2023
Later among the works it cites.
Zephyr: Direct distillation of lm alignment, 2023
Tunstall, L., Beeching, E., Lambert, N., Rajani, N., Rasul, K., Belkada, Y., Huang, S., von Werra, L., Fourrier, C., Habib, N., Sarrazin, N., Sanseviero, O., Rush, A. M., and Wolf, T · 2023
Later among the works it cites.
Rolellm: Benchmarking, eliciting, and enhancing role-playing abilities of large language models
Wang, Z. M., Peng, Z., Que, H., Liu, J., Zhou, W., Wu, Y., Guo, H., Gan, R., Ni, Z., Zhang, M., Zhang, Z., Ouyang, W., Xu, K., Chen, W., Fu, J., and Peng, J · 2023
Later among the works it cites.
Autogen: Enabling next-gen llm applications via multi-agent conversation, 2023
Wu, Q., Bansal, G., Zhang, J., Wu, Y., Li, B., Zhu, E., Jiang, L., Zhang, X., Zhang, S., Liu, J., Awadallah, A. H., White, R. W., Burger, D., and Wang, C · 2023
Later among the works it cites.
Self-evaluation guided beam search for reasoning, 2023
Xie, Y., Kawaguchi, K., Zhao, Y., Zhao, X., Kan, M.-Y., He, J., and Xie, Q · 2023
Later among the works it cites.
Metamath: Bootstrap your own mathematical questions for large language models
Yu, L., Jiang, W., Shi, H., Yu, J., Liu, Z., Zhang, Y., Kwok, J. T., Li, Z., Weller, A., and Liu, W · 2023
Later among the works it cites.
Automatic model selection with large language models for reasoning, 2023
Zhao, X., Xie, Y., Kawaguchi, K., He, J., and Xie, Q · 2023
Later among the works it cites.
Progressive-hint prompting improves reasoning in large language models
Zheng, C., Liu, Z., Xie, E., Li, Z., and Li, Y · 2023
Later among the works it cites.
Solving olympiad geometry without human demonstrations
Trinh, T., Wu, Y., Le, Q., He, H., and Luong, T · 2024
Closest in time.