| Learning Complex Word Embeddings in Classical and Quantum Spaces | Dec 18, 2024 | C++ codeWord Embeddings | —Unverified | 0 | 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 | 0 |
| LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study | Apr 21, 2025 | C++ codeCode Translation | —Unverified | 0 | 0 |
| Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP | May 20, 2023 | C++ code | —Unverified | 0 | 0 |
| VulnLLMEval: A Framework for Evaluating Large Language Models in Software Vulnerability Detection and Patching | Sep 16, 2024 | C++ codeCode Translation | —Unverified | 0 | 0 |
| Multi-context Attention Fusion Neural Network for Software Vulnerability Identification | Apr 19, 2021 | C++ codeVulnerability Detection | —Unverified | 0 | 0 |
| Multi-layer Optimizations for End-to-End Data Analytics | Jan 10, 2020 | BIG-bench Machine LearningC++ code | —Unverified | 0 | 0 |
| Multi-threaded Memory Efficient Crossover in C++ for Generational Genetic Programming | Sep 22, 2020 | C++ codeEvolutionary Algorithms | —Unverified | 0 | 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 | 0 |
| Neuro-symbolic Zero-Shot Code Cloning with Cross-Language Intermediate Representation | Apr 26, 2023 | C++ codeCode Search | —Unverified | 0 | 0 |
