A method for synthesizing sequential circuits
George H Mealy · 1955
Earlier work this paper cites.
Gedanken-experiments on sequential machines
Edward F Moore et al · 1956
Earlier work this paper cites.
Theory of finite automata with an introduction to formal languages
John Carroll and Darrell Long · 1989
Earlier work this paper cites.
Introduction to automata theory, languages, and computation
John E Hopcroft, Rajeev Motwani, and Jeffrey D Ullman · 2001
Earlier work this paper cites.
Modeling software with finite state machines: a practical approach
Ferdinand Wagner, Ruedi Schmuki, Thomas Wagner, and Peter Wolstenholme · 2006
Earlier work this paper cites.
Automata, computability and complexity: theory and applications
Elaine Rich et al · 2008
Earlier work this paper cites.
Textworld: A learning environment for text-based games
Marc-Alexandre Côté, Akos Kádár, Xingdi Yuan, Ben Kybartas, Tavian Barnes, Emery Fine, James Moore, Matthew Hausknecht, Layla El Asri, Mahmoud Adada, et al · 2019
Earlier work this paper cites.
Alfworld: Aligning text and embodied environments for interactive learning
Original
Mohit Shridhar, Xingdi Yuan, Marc-Alexandre Côté, Yonatan Bisk, Adam Trischler, and Matthew Hausknecht · 2020
Earlier work this paper cites.
Language model cascades
Original
David Dohan, Winnie Xu, Aitor Lewkowycz, Jacob Austin, David Bieber, Raphael Gontijo Lopes, Yuhuai Wu, Henryk Michalewski, Rif A Saurous, Jascha Sohl-Dickstein, et al · 2022
Earlier work this paper cites.
Large language models are reasoners with self-verification
Original
Yixuan Weng, Minjun Zhu, Shizhu He, Kang Liu, and Jun Zhao · 2022
Earlier work this paper cites.
Promptchainer: Chaining large language model prompts through visual programming
Tongshuang Wu, Ellen Jiang, Aaron Donsbach, Jeff Gray, Alejandra Molina, Michael Terry, and Carrie J Cai · 2022
Earlier work this paper cites.
Star: Bootstrapping reasoning with reasoning
Eric Zelikman, Yuhuai Wu, Jesse Mu, and Noah Goodman · 2022
Earlier work this paper cites.
Least-to-most prompting enables complex reasoning in large language models
Original
Denny Zhou, Nathanael Schärli, Le Hou, Jason Wei, Nathan Scales, Xuezhi Wang, Dale Schuurmans, Olivier Bousquet, Quoc Le, and Ed Chi · 2022
Earlier work this paper cites.
Graph of thoughts: Solving elaborate problems with large language models
Original
Maciej Besta, Nils Blach, Ales Kubicek, Robert Gerstenberger, Lukas Gianinazzi, Joanna Gajda, Tomasz Lehmann, Michal Podstawski, Hubert Niewiadomski, Piotr Nyczyk, et al · 2023
Earlier work this paper cites.