 Automated Proof Generation for Rust Code via Self-EvolutionInternational Conference on Learning Representations (ICLR), 2024 |
 Towards Neural Synthesis for SMT-Assisted Proof-Oriented ProgrammingInternational Conference on Software Engineering (ICSE), 2024 |
 LLM4Decompile: Decompiling Binary Code with Large Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP), 2024 |
 Self-Discover: Large Language Models Self-Compose Reasoning StructuresNeural Information Processing Systems (NeurIPS), 2024 |
 InstructCoder: Instruction Tuning Large Language Models for Code EditingAnnual Meeting of the Association for Computational Linguistics (ACL), 2023 |
 OctoPack: Instruction Tuning Code Large Language ModelsInternational Conference on Learning Representations (ICLR), 2023 |
 Let's Verify Step by StepInternational Conference on Learning Representations (ICLR), 2023 |
 Distilling Step-by-Step! Outperforming Larger Language Models with Less
Training Data and Smaller Model SizesAnnual Meeting of the Association for Computational Linguistics (ACL), 2023 Lokesh Nagalapatti Chun-Liang Li Chih-Kuan Yeh Hootan Nakhost Yasuhisa Fujii Alexander Ratner Ranjay Krishna Chen-Yu Lee Tomas Pfister |
 Teaching Large Language Models to Self-DebugInternational Conference on Learning Representations (ICLR), 2023 |
 Self-Refine: Iterative Refinement with Self-FeedbackNeural Information Processing Systems (NeurIPS), 2023 |
 Language Models can Solve Computer TasksNeural Information Processing Systems (NeurIPS), 2023 |
 Learning Performance-Improving Code EditsInternational Conference on Learning Representations (ICLR), 2023 |
 Large Language Models for Code: Security Hardening and Adversarial
TestingConference on Computer and Communications Security (CCS), 2023 Jingxuan He Martin Vechev |
 Self-Instruct: Aligning Language Models with Self-Generated InstructionsAnnual Meeting of the Association for Computational Linguistics (ACL), 2022 |
 ReCode: Robustness Evaluation of Code Generation ModelsAnnual Meeting of the Association for Computational Linguistics (ACL), 2022 |
 Do Users Write More Insecure Code with AI Assistants?Conference on Computer and Communications Security (CCS), 2022 |
 CodeEditor: Learning to Edit Source Code with Pre-trained ModelsACM Transactions on Software Engineering and Methodology (TOSEM), 2022 |
 Large Language Models Can Self-ImproveConference on Empirical Methods in Natural Language Processing (EMNLP), 2022 |
 Automatic Chain of Thought Prompting in Large Language ModelsInternational Conference on Learning Representations (ICLR), 2022 |
 Exploring Length Generalization in Large Language ModelsNeural Information Processing Systems (NeurIPS), 2022 |
 Adversarial Robustness for CodeInternational Conference on Machine Learning (ICML), 2020 Pavol Bielik Martin Vechev |
