Fetching the paper…
Reading the bibliography…
Temporal Logic (TL) can be used to rigorously specify complex high-level specification for systems in many engineering applications.
Language models are few-shot learners
Tom Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared D Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, et al. 2020 · 1901
Earlier work this paper cites.
Automatic verification of sequential circuits using temporal logic
Michael C. Browne, Edmund M. Clarke, David L. Dill, and Bud Mishra. 1986 · 1986
Earlier work this paper cites.
Temporal and modal logic
E Allen Emerson. 1990 · 1990
Earlier work this paper cites.
Specifying real-time properties with metric temporal logic
Ron Koymans. 1990 · 1990
Earlier work this paper cites.
Ltlmop: Experimenting with language, temporal logic and robot control
Cameron Finucane, Gangyuan Jing, and Hadas Kress-Gazit. 2010 · 1993
Earlier work this paper cites.
Monitoring temporal properties of continuous signals
Oded Maler and Dejan Nickovic. 2004 · 2004
Earlier work this paper cites.
Approaching the symbol grounding problem with probabilistic graphical models
Stefanie Tellex, Thomas Kollar, Steven Dickerson, Matthew R Walter, Ashis Gopal Banerjee, Seth Teller, and Nicholas Roy. 2011 · 2011
Earlier work this paper cites.
Sorry dave, i’m afraid i can’t do that: Explaining unachievable robot tasks using natural language
Vasumathi Raman, Constantine Lignos, Cameron Finucane, Kenton CT Lee, Mitchell P Marcus, and Hadas Kress-Gazit. 2013 · 2013
Earlier work this paper cites.
A natural language planner interface for mobile manipulators
Thomas M Howard, Stefanie Tellex, and Nicholas Roy. 2014 · 2014
Earlier work this paper cites.
Grounding english commands to reward functions
Shawn Squire, Stefanie Tellex, Dilip Arumugam, and Lei Yang. 2015 · 2015
Earlier work this paper cites.
A model for verifiable grounding and execution of complex natural language instructions
Adrian Boteanu, Thomas Howard, Jacob Arkin, and Hadas Kress-Gazit. 2016 · 2016
Earlier work this paper cites.
spacy 2: Natural language understanding with bloom embeddings, convolutional neural networks and incremental parsing
Matthew Honnibal and Ines Montani. 2017 · 2017
Cited alongside, same era.
Attention is all you need
Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, Łukasz Kaiser, and Illia Polosukhin. 2017 · 2017
Cited alongside, same era.
Sequence-to-sequence language grounding of non-markovian task specifications
Nakul Gopalan, Dilip Arumugam, Lawson LS Wong, and Stefanie Tellex. 2018 · 2018
Cited alongside, same era.
Synthesis of ltl formulas from natural language texts: State of the art and research directions
Andrea Brunello, Angelo Montanari, and Mark Reynolds. 2019 · 2019
Cited alongside, same era.
Formalization of natural language requirements into temporal logics: a survey
Igor Buzhinsky. 2019 · 2019
Cited alongside, same era.
Learning to ground language to temporal logical form
Medically aware gpt-3 as a data generator for medical dialogue summarization
Bharath Chintagunta, Namit Katariya, Xavier Amatriain, and Anitha Kannan. 2021 · 2021
Later among the works it cites.
Generalizing to new domains by mapping natural language to lifted ltl
Eric Hsiung, Hiloni Mehta, Junchi Chu, Xinyu Liu, Roma Patel, Stefanie Tellex, and George Konidaris. 2021 · 2021
Later among the works it cites.
Learning a natural-language to ltl executable semantic parser for grounded robotics
Christopher Wang, Candace Ross, Yen-Ling Kuo, Boris Katz, and Andrei Barbu. 2021 · 2021
Later among the works it cites.
Do as i can and not as i say: Grounding language in robotic affordances
Michael Ahn, Anthony Brohan, Noah Brown, Yevgen Chebotar, Omar Cortes, Byron David, Chelsea Finn, Chuyuan Fu, Keerthana Gopalakrishnan, Karol Hausman, Alex Herzog, Daniel Ho, Jasmine Hsu, Julian Ibarz, Brian Ichter, Alex Irpan, Eric Jang, Rosario Jauregui Ruano, Kyle Jeffrey, Sally Jesmonth, Nikhil Joshi, Ryan Julian, Dmitry Kalashnikov, Yuheng Kuang, Kuang-Huei Lee, Sergey Levine, Yao Lu, Linda Luu, Carolina Parada, Peter Pastor, Jornell Quiambao, Kanishka Rao, Jarek Rettinghouse, Diego Reyes, Pierre Sermanet, Nicolas Sievers, Clayton Tan, Alexander Toshev, Vincent Vanhoucke, Fei Xia, Ted Xiao, Peng Xu, Sichun Xu, Mengyuan Yan, and Andy Zeng. 2022 · 2022
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Roma Patel, Ellie Pavlick, and Stefanie Tellex. 2019 · 2019
Cited alongside, same era.
Formalization of interstate traffic rules in temporal logic
Sebastian Maierhofer, Anna-Katharina Rettinger, Eva Charlotte Mayer, and Matthias Althoff. 2020 · 2020
Cited alongside, same era.
Grounding language to non-markovian tasks with no supervision of task specifications
Roma Patel, Ellie Pavlick, and Stefanie Tellex. 2020 · 2020
Cited alongside, same era.
Exploring the limits of transfer learning with a unified text-to-text transformer
Colin Raffel, Noam Shazeer, Adam Roberts, Katherine Lee, Sharan Narang, Michael Matena, Yanqi Zhou, Wei Li, Peter J Liu, et al. 2020 · 2020
Cited alongside, same era.
Robots that use language
Stefanie Tellex, Nakul Gopalan, Hadas Kress-Gazit, and Cynthia Matuszek. 2020 · 2020
Cited alongside, same era.
Evaluating large language models trained on code
Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde de Oliveira Pinto, Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, et al. 2021 · 2021
Cited alongside, same era.
Later among the works it cites.
Palm: Scaling language modeling with pathways
Aakanksha Chowdhery, Sharan Narang, Jacob Devlin, Maarten Bosma, Gaurav Mishra, Adam Roberts, Paul Barham, Hyung Won Chung, Charles Sutton, Sebastian Gehrmann, et al. 2022 · 2022
Later among the works it cites.
Selection-inference: Exploiting large language models for interpretable logical reasoning
Antonia Creswell, Murray Shanahan, and Irina Higgins. 2022 · 2022
Later among the works it cites.
Event-based signal temporal logic tasks: Execution and feedback in complex environments
David Gundana and Hadas Kress-Gazit. 2022 · 2022
Later among the works it cites.
Deepstl: from english requirements to signal temporal logic
Jie He, Ezio Bartocci, Dejan Ničković, Haris Isakovic, and Radu Grosu. 2022 · 2022
Later among the works it cites.
Sparks of artificial general intelligence: Early experiments with gpt-4
Sébastien Bubeck, Varun Chandrasekaran, Ronen Eldan, Johannes Gehrke, Eric Horvitz, Ece Kamar, Peter Lee, Yin Tat Lee, Yuanzhi Li, Scott Lundberg, et al. 2023 · 2023
Closest in time.
NL2LTL – a python package for converting natural language (NL) instructions to linear temporal logic (LTL) formulas
Francesco Fuggitti and Tathagata Chakraborti. 2023 · 2023
Closest in time.