| Enhanced Automated Code Vulnerability Repair using Large Language Models | Jan 8, 2024 | C++ codeCode Repair | —Unverified | 0 |
| CompCodeVet: A Compiler-guided Validation and Enhancement Approach for Code Dataset | Nov 11, 2023 | C++ codeCode Generation | —Unverified | 0 |
| Safurai-Csharp: Harnessing Synthetic Data to improve language-specific Code LLM | Nov 6, 2023 | C++ code | —Unverified | 0 |
| Creating a Dataset for High-Performance Computing Code Translation using LLMs: A Bridge Between OpenMP Fortran and C++ | Jul 15, 2023 | C++ codeCode Translation | CodeCode Available | 1 |
| SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs? | Jul 13, 2023 | Binary ClassificationBug fixing | —Unverified | 0 |
| A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems | Jun 27, 2023 | C++ code | —Unverified | 0 |
| Dynamic Decision Tree Ensembles for Energy-Efficient Inference on IoT Edge Nodes | Jun 16, 2023 | C++ code | CodeCode Available | 1 |
| RepoBench: Benchmarking Repository-Level Code Auto-Completion Systems | Jun 5, 2023 | BenchmarkingC++ code | CodeCode Available | 1 |
| A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification | May 24, 2023 | C++ codeMathematical Proofs | CodeCode Available | 2 |
| Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP | May 20, 2023 | C++ code | —Unverified | 0 |
