1. Afra Feyza Akyürek Ekin Akyürek Aman Madaan Ashwin Kalyan Peter Clark Derry Wijaya and Niket Tandon. 2023. RL4F: Generating Natural Language Feedback with Reinforcement Learning for Repairing Model Outputs. arXiv:2305.08844 [cs.CL]
2. Tianyu Cui YanlingWang Chuanpu Fu Yong Xiao Sijia Li Xinhao Deng Yunpeng Liu Qinglin Zhang Ziyi Qiu Peiyang Li et al. 2024. Risk Taxonomy Mitigation and Assessment Benchmarks of Large Language Model Systems. arXiv preprint arXiv:2401.05778 (2024).
3. Jack J Garzella, Marek Baranowski, Shaobo He, and Zvonimir Rakamarić. 2020. Leveraging compiler intermediate representation for multi-and cross-language verification. In Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings 21. Springer, 90--111.
4. Jing Xu Andrew Lee Sainbayar Sukhbaatar and JasonWeston. 2023. Some things are more CRINGE than others: Preference Optimization with the Pairwise Cringe Loss. arXiv:2312.16682 [cs.CL]