Fetching the paper…
Reading the bibliography…
Autonomous agents often face the challenge of interpreting uncertain natural language instructions for planning tasks.
A. Pnueli, “The temporal logic of programs,” in 18th Annual Symposium on Foundations of Computer Science , 1977, pp. 46–57
1977
Earlier work this paper cites.
M. MacMahon, B. Stankiewicz, and B. Kuipers, “Walk the talk: Connecting language, knowledge, and action in route instructions,” in Proceedings of the AAAI Conference on Artificial Intelligence , 2006
2006
Earlier work this paper cites.
K. Y. Rozier and M. Y. Vardi, “LTL satisfiability checking,” in Model Checking Software . Springer Berlin Heidelberg, 2007
2007
Earlier work this paper cites.
C. Baier and J. Katoen, Principles of model checking . MIT Press, 2008
2008
Earlier work this paper cites.
D. L. Chen and R. J. Mooney, “Learning to interpret natural language navigation instructions from observations,” in Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence , 2011
2011
Earlier work this paper cites.
Y. Artzi and L. Zettlemoyer, “Weakly supervised learning of semantic parsers for mapping instructions to actions,” Transactions of the Association for Computational Linguistics , vol. 1, 2013
2013
Earlier work this paper cites.
V. Raman, A. Donzé, M. Maasoumy, R. M. Murray, A. Sangiovanni-Vincentelli, and S. A. Seshia, “Model predictive control with signal temporal logic specifications,” in 53rd IEEE Conference on Decision and Control , 2014
2014
Earlier work this paper cites.
A. Duret-Lutz, A. Lewkowicz, A. Fauchille, T. Michaud, E. Renault, and L. Xu, “Spot 2.0 — a framework for LTL and ω \omega -automata manipulation,” in Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis , Oct. 2016
2016
Earlier work this paper cites.
A. Vaswani et al. , “Attention is all you need,” in Proceedings of the 31st International Conference on Neural Information Processing Systems , ser. NIPS 17, 2017, p. 6000–6010
2017
Earlier work this paper cites.
M. Palmer, C. Bonial, and J. Hwang, “VerbNet: Capturing English Verb Behavior, Meaning, and Usage,” in The Oxford Handbook of Cognitive Science . Oxford University Press, 10 2017
2017
Earlier work this paper cites.
N. Gopalan, D. Arumugam, L. Wong, and S. Tellex, “Sequence-to-sequence language grounding of non-markovian task specifications,” in Proceedings of Robotics: Science and Systems , June 2018
2018
Earlier work this paper cites.
A. Shah, P. Kamath, J. A. Shah, and S. Li, “Bayesian inference of temporal task specifications from demonstrations,” in Advances in Neural Information Processing Systems, Montréal, Canada , 2018
2018
Earlier work this paper cites.
Y. Oh, R. Patel, T. Nguyen, B. Huang, E. Pavlick, and S. Tellex, “Planning with state abstractions for non-markovian task specifications,” in Proceedings of Robotics: Science and Systems , June 2019
2019
Earlier work this paper cites.
T. Brown et al. , “Language models are few-shot learners,” in Advances in Neural Information Processing Systems , 2020
2020
Cited alongside, same era.
M. Berg, D. Bayazit, R. Mathew, A. Rotter-Aboyoun, E. Pavlick, and S. Tellex, “Grounding language to landmarks in arbitrary outdoor environments,” in IEEE International Conference on Robotics and Automation (ICRA) , 2020
2020
Cited alongside, same era.
I. Gavran, E. Darulova, and R. Majumdar, “Interactive synthesis of temporal specifications from examples and natural language,” Proceedings of the ACM on Programming Languages , vol. 4, Nov 2020
2020
Cited alongside, same era.
C. Wang, C. Ross, Y.-L. Kuo, B. Katz, and A. Barbu, “Learning a natural-language to LTL executable semantic parser for grounded robotics,” in Proceedings of the 2020 Conference on Robot Learning
2020
Cited alongside, same era.
J. Liang, W. Huang, F. Xia, P. Xu, K. Hausman, B. Ichter, P. Florence, and A. Zeng, “Code as policies: Language model programs for embodied control,” in 2023 IEEE International Conference on Robotics and Automation (ICRA) , 2023, pp. 9493–9500
2023
Later among the works it cites.
I. Singh et al. , “ProgPrompt: Generating situated robot task plans using large language models,” in International Conference on Robotics and Automation (ICRA) , 2023
2023
Later among the works it cites.
S. Yao, J. Zhao, D. Yu, N. Du, I. Shafran, K. Narasimhan, and Y. Cao, “React: Synergizing reasoning and acting in language models,” in International Conference on Learning Representations (ICLR) , 2023
2023
Later among the works it cites.
M. Cosler, C. Hahn, D. Mendoza, F. Schmitt, and C. Trippel, “nl2spec: interactively translating unstructured natural language to temporal logics with large language models,” in International Conference on Computer Aided Verification , 2023
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…
T. H. Le, H. Chen, and M. A. Babar, “Deep learning for source code modeling and generation: Models, applications, and challenges,” ACM Computing Surveys (CSUR) , vol. 53, no. 3, pp. 1–38, 2020
2020
Cited alongside, same era.
R. Shin et al. , “Constrained language models yield few-shot semantic parsers,” in Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing
2021
Cited alongside, same era.
J. Wei et al. , “Chain of thought prompting elicits reasoning in large language models,” Advances in Neural Information Processing Systems , 2022
2022
Cited alongside, same era.
G. Chou, N. Ozay, and D. Berenson, “Learning temporal logic formulas from suboptimal demonstrations: theory and experiments,” Autonomous Robots , vol. 46, no. 1, pp. 149–174, 2022
2022
Cited alongside, same era.
W. Huang, P. Abbeel, D. Pathak, and I. Mordatch, “Language models as zero-shot planners: Extracting actionable knowledge for embodied agents,” in Proceedings of the 39th International Conference on Machine Learning , 2022
2022
Cited alongside, same era.
E. Hsiung, H. Mehta, J. Chu, X. Liu, R. Patel, S. Tellex, and G. D. Konidaris, “Generalizing to new domains by mapping natural language to lifted LTL,” 2022 International Conference on Robotics and Automation (ICRA)
2022
Cited alongside, same era.
J. Pan, G. Chou, and D. Berenson, “Data-efficient learning of natural language to linear temporal logic translators for robot task specification,” in IEEE International Conference on Robotics and Automation (ICRA) , 2023
2023
Cited alongside, same era.
J. X. Liu, Z. Yang, I. Idrees, S. Liang, B. Schornstein, S. Tellex, and A. Shah, “Grounding complex natural language commands for temporal tasks in unseen environments,” in Conference on Robot Learning , 2023
2023
Cited alongside, same era.
J. Huang and K. C.-C. Chang, “Towards reasoning in large language models: A survey,” in Findings of the Association for Computational Linguistics . Association for Computational Linguistics, 2023
2023
Later among the works it cites.
X. Wang, J. Wei, D. Schuurmans, Q. Le, E. H. hsin Chi, and D. Zhou, “Self-consistency improves chain of thought reasoning in language models,” in The International Conference on Learning Representations (ICLR) , 2023
2023
Later among the works it cites.
K. Manas and A. Paschke, “Semantic role assisted natural language rule formalization for intelligent vehicle,” in International Joint Conference on Rules and Reasoning , 2023
2023
Later among the works it cites.
A. Q. Jiang et al. , “Mistral 7b,” 2023
2023
Later among the works it cites.
R. Li et al. , “Starcoder: may the source be with you!” ArXiv , vol. abs/2305.06161, 2023
2023
Later among the works it cites.
Gurobi Optimization, LLC, “Gurobi Optimizer Reference Manual,” 2023. [Online]. Available: https://www.gurobi.com
2023
Later among the works it cites.
K. Manas, S. Zwicklbauer, and A. Paschke, “TR2MTL: LLM based framework for metric temporal logic formalization of traffic rules,” in 2024 IEEE Intelligent Vehicles Symposium (IV) , 2024
2024
Closest in time.
A. Mavrogiannis, C. Mavrogiannis, and Y. Aloimonos, “Cook2LTL: Translating cooking recipes to LTL formulae using large language models,” in 2024 IEEE International Conference on Robotics and Automation (ICRA) , 2024
2024
Closest in time.