Author of the publication

Can Large Language Models Reason about Program Invariants?

, , , , and . ICML, volume 202 of Proceedings of Machine Learning Research, page 27496-27520. PMLR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Learning to Represent Edits., , , , and . CoRR, (2018)DyNet: The Dynamic Neural Network Toolkit, , , , , , , , , and 15 other author(s). (Jan 15, 2017)UnifiedSKG: Unifying and Multi-Tasking Structured Knowledge Grounding with Text-to-Text Language Models., , , , , , , , , and 13 other author(s). EMNLP, page 602-631. Association for Computational Linguistics, (2022)Learning to mine aligned code and natural language pairs from stack overflow., , , , and . MSR, page 476-486. ACM, (2018)PERQ: Predicting, Explaining, and Rectifying Failed Questions in KB-QA Systems., , , , and . WSDM, page 663-671. ACM, (2020)Towards Practical Open Knowledge Base Canonicalization., , , and . CIKM, page 883-892. ACM, (2018)TRANX: A Transition-based Neural Abstract Syntax Parser for Semantic Parsing and Code Generation., and . EMNLP (Demonstration), page 7-12. Association for Computational Linguistics, (2018)Retrieval-Based Neural Code Generation., , , , , and . EMNLP, page 925-930. Association for Computational Linguistics, (2018)A Tree-based Decoder for Neural Machine Translation., , , and . EMNLP, page 4772-4777. Association for Computational Linguistics, (2018)Reranking for Neural Semantic Parsing., and . ACL (1), page 4553-4559. Association for Computational Linguistics, (2019)