Search Results for author:
Found 1 papers, 1 papers with code
Constrained Decoding for Secure Code Generation
We propose new constrained decoding techniques to generate code that satisfies security and correctness constraints simultaneously.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
