| VulnLLMEval: A Framework for Evaluating Large Language Models in Software Vulnerability Detection and Patching | Sep 16, 2024 | C++ codeCode Translation | —Unverified | 0 |
| A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning | Feb 10, 2020 | C++ code | —Unverified | 0 |
| A General Framework for Flexible Multi-Cue Photometric Point Cloud Registration | Sep 13, 2017 | C++ codePoint Cloud Registration | —Unverified | 0 |
| An interpretative and adaptive MPC for nonlinear systems | Sep 4, 2022 | C++ codeModel Predictive Control | —Unverified | 0 |
| A rapid-prototype MPC tool based on gPROMS platform | Aug 31, 2022 | C++ codeCode Generation | —Unverified | 0 |
| Are LLMs Any Good for High-Level Synthesis? | Aug 19, 2024 | C++ codeHigh-Level Synthesis | —Unverified | 0 |
| A Study of the Complexity and Accuracy of Direction of Arrival Estimation Methods Based on GCC-PHAT for a Pair of Close Microphones | Nov 28, 2018 | C++ codeDirection of Arrival Estimation | —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 |
| Automated C/C++ Program Repair for High-Level Synthesis via Large Language Models | Jul 4, 2024 | C++ codeCode Generation | —Unverified | 0 |
| Automated Creation of Source Code Variants of a Cryptographic Hash Function Implementation Using Generative Pre-Trained Transformer Models | Apr 24, 2024 | C++ codeCompiler Optimization | —Unverified | 0 |