Cited By
View all- Bagheri HMirakhorli MFazelnia MMujhid IHasan MAdams BZimmermann TOzkaya ILin DZhang J(2024)Neuro-Symbolic Approach to Certified Scientific Software SynthesisProceedings of the 1st ACM International Conference on AI-Powered Software10.1145/3664646.3664776(147-150)Online publication date: 10-Jul-2024
- Kouemo Ngassom SMoradi Dakhel ATambon FKhomh FAdams BZimmermann TOzkaya ILin DZhang J(2024)Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMsProceedings of the 1st ACM International Conference on AI-Powered Software10.1145/3664646.3664772(122-130)Online publication date: 10-Jul-2024
- Mu FShi LWang SYu ZZhang BWang CLiu SWang Q(2024)ClarifyGPT: A Framework for Enhancing LLM-Based Code Generation via Requirements ClarificationProceedings of the ACM on Software Engineering10.1145/36608101:FSE(2332-2354)Online publication date: 12-Jul-2024
- Show More Cited By