Fetching the paper…
Reading the bibliography…
Multi-agent simulations are versatile tools for exploring interactions among natural and artificial agents, but their development typically demands domain expertise and manual effort.
The evolution of cooperation
R. Axelrod and W. D. Hamilton · 1981
Earlier work this paper cites.
Some philosophical problems from the standpoint of artificial intelligence
J. McCarthy and P. Hayes · 1981
Earlier work this paper cites.
A Primer in Game Theory
R. Gibbons · 1992
Earlier work this paper cites.
A Course in Game Theory
M. Osborne and A. Rubinstein · 1994
Earlier work this paper cites.
Knowledge, action, and the frame problem
R. B. Scherl and H. J. Levesque · 2003
Earlier work this paper cites.
General game playing: Overview of the AAAI competition
M. R. Genesereth, N. Love, and B. Pell · 2005
Earlier work this paper cites.
General Game Playing: Game Description Language Specification
N. Love, T. Hinrichs, D. Haley, E. Schkufza, and M. Genesereth · 2006
Earlier work this paper cites.
Games and information an introduction to game theory
E. Rasmusen · 2006
Earlier work this paper cites.
Situation calculus based programs for representing and reasoning about game structures
G. D. Giacomo, Y. Lespérance, and A. R. Pearce · 2010
Earlier work this paper cites.
A general game description language for incomplete information games
M. Thielscher · 2010
Earlier work this paper cites.
Reasoning about general games described in gdl-ii
S. Schiffel and M. Thielscher · 2011
Earlier work this paper cites.
The general game playing description language is universal
M. Thielscher · 2011
Earlier work this paper cites.
Swi-prolog
J. Wielemaker, T. Schrijvers, M. Triska, and T. Lager · 2012
Earlier work this paper cites.
Overview of the transformer-based models for nlp tasks
A. Gillioz, J. Casas, E. Mugellini, and O. A. Khaled · 2020
Cited alongside, same era.
Pre-trained models for natural language processing: A survey
X. Qiu, T. Sun, Y. Xu, Y. Shao, N. Dai, and X. Huang · 2020
Cited alongside, same era.
Draft, sketch, and prove: Guiding formal theorem provers with informal proofs
A. Q. Jiang, S. Welleck, J. P. Zhou, W. Li, J. Liu, M. Jamnik, T. Lacroix, Y. Wu, and G. Lample · 2022
Cited alongside, same era.
Autoformalization with large language models
Y. Wu, A. Q. Jiang, W. Li, M. Rabe, C. Staats, M. Jamnik, and C. Szegedy · 2022
Cited alongside, same era.
J. Achiam, S. Adler, S. Agarwal, et al · 2023
Cited alongside, same era.
Strategic behavior of large language models: Game structure vs. contextual framing
N. Lorè and B. Heydari · 2023
Later among the works it cites.
Self-refine: Iterative refinement with self-feedback
A. Madaan, N. Tandon, P. Gupta, et al · 2023
Later among the works it cites.
Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning
L. Pan, A. Albalak, X. Wang, and W. Wang · 2023
Later among the works it cites.
Reflexion: Language agents with verbal reinforcement learning
N. Shinn, F. Cassano, E. Berman, et al · 2023
Later among the works it cites.
Coupling large language models with logic programming for robust and general reasoning from text
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
E. Akata, L. Schulz, J. Coda-Forno, et al · 2023
Cited alongside, same era.
Nl2tl: Transforming natural languages to temporal logics using large language models
Y. Chen, R. Gandhi, Y. Zhang, and C. Fan · 2023
Cited alongside, same era.
nl2spec: interactively translating unstructured natural language to temporal logics with large language models
M. Cosler, C. Hahn, D. Mendoza, F. Schmitt, and C. Trippel · 2023
Cited alongside, same era.
Can large language models serve as rational players in game theory? a systematic analysis
C. Fan, J. Chen, Y. Jin, and H. He · 2023
Cited alongside, same era.
Language models can be logical solvers
J. Feng, R. Xu, J. Hao, H. Sharma, Y. Shen, D. Zhao, and W. Chen · 2023
Cited alongside, same era.
GPT agents in game theory experiments
F. Guo · 2023
Cited alongside, same era.
Solving math word problems by combining language models with symbolic solvers
J. He-Yueya, G. Poesia, R. E. Wang, and N. D. Goodman · 2023
Cited alongside, same era.
Z. Yang, A. Ishay, and J. Lee · 2023
Later among the works it cites.
A survey of large language models
W. X. Zhao, K. Zhou, J. Li, et al · 2023
Later among the works it cites.
Claude 3.5, 2024
Anthropic · 2024
Closest in time.
Critic: Large language models can self-correct with tool-interactive critiquing
Z. Gou, Z. Shao, Y. Gong, et al · 2024
Closest in time.
Abstraction of situation calculus concurrent game structures
Y. Lesperance, G. De Giacomo, M. Rostamigiv, and S. M. Khan · 2024
Closest in time.
Autoformalization of Game Descriptions using Large Language Models
A. Mensfelt, K. Stathis, and V. Tencsenyi · 2024
Closest in time.
Self-reflection in llm agents: Effects on problem-solving performance
M. Renze and E. Guven · 2024
Closest in time.
Y. Wang and Y. Zhao · 2024
Closest in time.