Fetching the paper…
Reading the bibliography…
Although pre-trained language models encode generic knowledge beneficial for planning and control, they may fail to generate appropriate control policies for domain-specific tasks.
The temporal logic of programs
Pnueli, A · 1977
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
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
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
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
Earlier work this paper cites.
Deep reinforcement learning from human preferences
Christiano, P. F., Leike, J., Brown, T. B., Martic, M., Legg, S., and Amodei, D · 2017
Earlier work this paper cites.
CARLA: An open urban driving simulator
Dosovitskiy, A., Ros, G., Codevilla, F., Lopez, A., and Koltun, V · 2017
Earlier work this paper cites.
Liability, ethics, and culture-aware behavior specification using rulebooks
Censi, A., Slutsky, K., Wongpiromsarn, T., Yershov, D., Pendleton, S., Fu, J., and Frazzoli, E · 2019
Earlier work this paper cites.
nuscenes: A multimodal dataset for autonomous driving
Caesar, H., Bankiti, V., Lang, A. H., Vora, S., Liong, V. E., Xu, Q., Krishnan, A., Pan, Y., Baldan, G., and Beijbom, O · 2020
Earlier work this paper cites.
Recall and learn: Fine-tuning deep pretrained language models with less forgetting
Chen, S., Hou, Y., Cui, Y., Che, W., Liu, T., and Yu, X · 2020
Earlier work this paper cites.
Learning to summarize from human feedback
Stiennon, N., Ouyang, L., Wu, J., Ziegler, D. M., Lowe, R., Voss, C., Radford, A., Amodei, D., and Christiano, P. F · 2020
Cited alongside, same era.
Lora: Low-rank adaptation of large language models
Hu, E. J., Shen, Y., Wallis, P., Allen-Zhu, Z., Li, Y., Wang, S., and Chen, W · 2021
Cited alongside, same era.
Formal specifications from natural language
Hahn, C., Schmitt, F., Tillman, J. J., Metzger, N., Siber, J., and Finkbeiner, B · 2022
Cited alongside, same era.
Training language models to follow instructions with human feedback
Ouyang, L., Wu, J., Jiang, X., Almeida, D., Wainwright, C. L., Mishkin, P., Zhang, C., Agarwal, S., Slama, K., Ray, A., Schulman, J., Hilton, J., Kelton, F., Miller, L., Simens, M., Askell, A., Welinder, P., Christiano, P. F., Leike, J., and Lowe, R · 2022
Cited alongside, same era.
Autoformalization with large language models
Wu, Y., Jiang, A. Q., Li, W., Rabe, M. N., Staats, C., Jamnik, M., and Szegedy, C · 2022
Dehallucinating large language models using formal methods guided iterative prompting
Jha, S., Jha, S. K., Lincoln, P., Bastian, N. D., Velasquez, A., and Neema, S · 2023
Closest in time.
Jung, J., West, P., Jiang, L., Brahman, F., Lu, X., Fisher, J., Sorensen, T., and Choi, Y · 2023
Closest in time.
Kirillov, A., Mintun, E., Ravi, N., Mao, H., Rolland, C., Gustafson, L., Xiao, T., Whitehead, S., Berg, A. C., Lo, W.-Y., Dollár, P., and Girshick, R · 2023
Closest in time.
Symbolic chain-of-thought distillation: Small models can also ”think” step-by-step
Li, L. H., Hessel, J., Yu, Y., Ren, X., Chang, K., and Choi, Y · 2023
Closest in time.
Grounding DINO: marrying DINO with grounded pre-training for open-set object detection
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Automaton-based representations of task knowledge from generative language models
Yang, Y., Gaglione, J.-R., Neary, C., and Topcu, U · 2022
Cited alongside, same era.
I2D2: inductive knowledge distillation with neurologic and self-imitation
Bhagavatula, C., Hwang, J. D., Downey, D., Bras, R. L., Lu, X., Qin, L., Sakaguchi, K., Swayamdipta, S., West, P., and Choi, Y · 2023
Cited alongside, same era.
Trusta: Reasoning about assurance cases with formal methods and large language models
Chen, Z., Deng, Y., and Du, W · 2023
Cited alongside, same era.
Baldur: Whole-proof generation and repair with large language models
First, E., Rabe, M. N., Ringer, T., and Brun, Y · 2023
Cited alongside, same era.
The use of chatgpt and other large language models in surgical science
Janssen, B. V., Kazemier, G., and Besselink, M. G · 2023
Cited alongside, same era.
Liu, S., Zeng, Z., Ren, T., Li, F., Zhang, H., Yang, J., Li, C., Yang, J., Su, H., Zhu, J., and Zhang, L · 2023
Closest in time.
Direct preference optimization: Your language model is secretly a reward model
Rafailov, R., Sharma, A., Mitchell, E., Ermon, S., Manning, C. D., and Finn, C · 2023
Closest in time.
Motionlm: Multi-agent motion forecasting as language modeling
Seff, A., Cera, B., Chen, D., Ng, M., Zhou, A., Nayakanti, N., Refaat, K. S., Al-Rfou, R., and Sapp, B · 2023
Closest in time.
Examining the potential of generative language models for aviation safety analysis: Case study and insights using the aviation safety reporting system (asrs)
Tikayat Ray, A., Bhat, A. P., White, R. T., Nguyen, V. M., Pinon Fischer, O. J., and Mavris, D. N · 2023
Closest in time.
Specification-driven video search via foundation models and formal verification
Yang, Y., Gaglione, J., Chinchali, S., and Topcu, U · 2023
Closest in time.
Commonsense knowledge transfer for pre-trained language models
Zhou, W., Bras, R. L., and Choi, Y · 2023
Closest in time.