Fetching the paper…
Reading the bibliography…
Automaton-based representations of task knowledge play an important role in control and planning for sequential decision-making problems.
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. (2020) · 1901
Earlier work this paper cites.
Computational analysis of present-day american english
Kucera, H., Francis, W. N., Twaddell, W. F., Marckworth, M. L., Bell, L. M., and Carroll, J. B. (1967) · 1967
Earlier work this paper cites.
Learning automata - a survey
Narendra, K. S., and Thathachar, M. A. L. (1974) · 1974
Earlier work this paper cites.
The temporal logic of programs
Pnueli, A. (1977) · 1977
Earlier work this paper cites.
An automata-theoretic approach to automatic program verification (preliminary report)
Vardi, M. Y., and Wolper, P. (1986) · 1986
Earlier work this paper cites.
From english to formal specifications
Vadera, S., and Meziane, F. (1994) · 1994
Earlier work this paper cites.
Myths and facts about the efficient implementation of finite automata and lexical analysis
Brouwer, K., Gellerich, W., and Plödereder, E. (1998) · 1998
Earlier work this paper cites.
NuSMV 2: An opensource tool for symbolic model checking
Cimatti, A., Clarke, E. M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., and Tacchella, A. (2002) · 2002
Earlier work this paper cites.
Learning to transform natural to formal languages
Kate, R. J., Wong, Y. W., and Mooney, R. J. (2005) · 2005
Earlier work this paper cites.
Principles of Model Checking
Baier, C., and Katoen, J.-P. (2008) · 2008
Earlier work this paper cites.
Using inverse lambda and generalization to translate english to formal languages
Baral, C., Dzifcak, J., Gonzalez, M. A., and Zhou, J. (2011) · 2011
Earlier work this paper cites.
From natural language requirements to formal specification using an ontology
Sadoun, D., Dubois, C., Ghamri-Doudane, Y., and Grau, B. (2013) · 2013
Earlier work this paper cites.
ARSENAL: automatic requirements specification extraction from natural language
Ghosh, S., Elenius, D., Li, W., Lincoln, P., Shankar, N., and Steiner, W. (2016) · 2016
Cited alongside, same era.
Seshat—a web-based educational resource for teaching the most common algorithms of lexical analysis
Arnaiz-González, Á., Díez-Pastor, J.-F., Ramos-Pérez, I., and García-Osorio, C. (2018) · 2018
Cited alongside, same era.
Using reward machines for high-level task specification and decomposition in reinforcement learning
Icarte, R. T., Klassen, T. Q., Valenzano, R. A., and McIlraith, S. A. (2018) · 2018
Cited alongside, same era.
Commonsense knowledge mining from pretrained models
Davison, J., Feldman, J., and Rush, A. M. (2019) · 2019
Cited alongside, same era.
Language models as knowledge bases?
Petroni, F., Rocktäschel, T., Riedel, S., Lewis, P., Bakhtin, A., Wu, Y., and Miller, A. (2019) · 2019
Cited alongside, same era.
Reward machines for cooperative multi-agent reinforcement learning
Neary, C., Xu, Z., Wu, B., and Topcu, U. (2021) · 2021
Later among the works it cites.
Advice-guided reinforcement learning in a non-markovian environment
Neider, D., Gaglione, J., Gavran, I., Topcu, U., Wu, B., and Xu, Z. (2021) · 2021
Later among the works it cites.
Learning automata-based multiagent reinforcement learning for optimization of cooperative tasks
Zhang, Z., Wang, D., and Gao, J. (2021) · 2021
Later among the works it cites.
Core challenges in embodied vision-language planning
Francis, J., Kitamura, N., Labelle, F., Lu, X., Navarro, I., and Oh, J. (2022) · 2022
Closest in time.
Acquiring and modelling abstract commonsense knowledge via conceptualization.
He, M., Fang, T., Wang, W., and Song, Y. (2022) · 2022
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Multiagent reinforcement learning with learning automata for microgrid energy management and decision optimization
Fang, X., Wang, J., Yin, C., Han, Y., and Zhao, Q. (2020) · 2020
Cited alongside, same era.
spacy: Industrial-strength natural language processing in python.
Honnibal, M., Montani, I., Van Landeghem, S., and Boyd, A. (2020) · 2020
Cited alongside, same era.
Jointly improving parsing and perception for natural language commands through human-robot dialog
Thomason, J., Padmakumar, A., Sinapov, J., Walker, N., Jiang, Y., Yedidsion, H., Hart, J. W., Stone, P., and Mooney, R. J. (2020) · 2020
Cited alongside, same era.
Reinforcement learning in traffic prediction of core optical networks using learning automata
Valkanis, A., Beletsioti, G. A., Nicopolitidis, P., Papadimitriou, G., and Varvarigos, E. A. (2020) · 2020
Cited alongside, same era.
Pretrained encyclopedia: Weakly supervised knowledge-pretrained language model
Xiong, W., Du, J., Wang, W. Y., and Stoyanov, V. (2020) · 2020
Cited alongside, same era.
Joint inference of reward machines and policies for reinforcement learning
Xu, Z., Gavran, I., Ahmad, Y., Majumdar, R., Neider, D., Topcu, U., and Wu, B. (2020) · 2020
Cited alongside, same era.
Measuring massive multitask language understanding
Hendrycks, D., Burns, C., Basart, S., Zou, A., Mazeika, M., Song, D., and Steinhardt, J. (2021) · 2021
Cited alongside, same era.
Ichter, B., Brohan, A., Chebotar, Y., Finn, C., Hausman, K., Herzog, A., Ho, D., Ibarz, J., Irpan, A., Jang, E., Julian, R., Kalashnikov, D., Levine, S., Lu, Y., Parada, C., Rao, K., Sermanet, P., Toshev, A., Vanhoucke, V., Xia, F., Xiao, T., Xu, P., Yan, M., Brown, N., Ahn, M., Cortes, O., Sievers, N., Tan, C., Xu, S., Reyes, D., Rettinghouse, J., Quiambao, J., Pastor, P., Luu, L., Lee, K., Kuang, Y., Jesmonth, S., Joshi, N. J., Jeffrey, K., Ruano, R. J., Hsu, J., Gopalakrishnan, K., David, B., Zeng, A., and Fu, C. K. (2022) · 2022
Closest in time.
Neuro-symbolic procedural planning with commonsense prompting.
Lu, Y., Feng, W., Zhu, W., Xu, W., Wang, X. E., Eckstein, M., and Wang, W. Y. (2022) · 2022
Closest in time.
Utilizing language models to expand vision-based commonsense knowledge graphs
Rezaei, N., and Reformat, M. Z. (2022) · 2022
Closest in time.
Lm-nav: Robotic navigation with large pre-trained models of language, vision, and action
Shah, D., Osinski, B., Ichter, B., and Levine, S. (2022) · 2022
Closest in time.
A logic-based explanation generation framework for classical and hybrid planning problems
Vasileiou, S. L., Yeoh, W., Son, T. C., Kumar, A., Cashmore, M., and Magazzeni, D. (2022) · 2022
Closest in time.
Symbolic knowledge distillation: from general language models to commonsense models
West, P., Bhagavatula, C., Hessel, J., Hwang, J. D., Jiang, L., Bras, R. L., Lu, X., Welleck, S., and Choi, Y. (2022) · 2022
Closest in time.
ChatGPT for robotics: Design principles and model abilities.
Vemprala, S., Bonatti, R., Bucker, A., and Kapoor, A. (2023) · 2023
Closest in time.