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

SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings., , , and . CCS, page 1631-1645. ACM, (2022)DeepXplore: Automated Whitebox Testing of Deep Learning Systems., , , and . GetMobile, 22 (3): 36-38 (2018)DeepXplore: Automated Whitebox Testing of Deep Learning Systems., , , and . SOSP, page 1-18. ACM, (2017)Formal Security Analysis of Neural Networks using Symbolic Intervals., , , , and . USENIX Security Symposium, page 1599-1614. USENIX Association, (2018)XDA: Accurate, Robust Disassembly with Transfer Learning., , , , and . NDSS, The Internet Society, (2021)TRACED: Execution-aware Pre-training for Source Code., , , , , and . ICSE, page 36:1-36:12. ACM, (2024)DeepXplore: automated whitebox testing of deep learning systems., , , and . Commun. ACM, 62 (11): 137-145 (2019)Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity., , , , and . CoRR, (2020)NeuDep: neural binary memory dependence analysis., , , , , , , , and . ESEC/SIGSOFT FSE, page 747-759. ACM, (2022)Can Large Language Models Reason about Program Invariants?, , , , and . ICML, volume 202 of Proceedings of Machine Learning Research, page 27496-27520. PMLR, (2023)