| Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code | Mar 24, 2025 | C++ code | —Unverified | 0 |
| Towards Practical First-Order Model Counting | Feb 17, 2025 | C++ codemodel | —Unverified | 0 |
| Skeleton-Guided-Translation: A Benchmarking Framework for Code Repository Translation with Fine-Grained Quality Evaluation | Jan 27, 2025 | BenchmarkingC++ code | —Unverified | 0 |
| Keras Sig: Efficient Path Signature Computation on GPU in Keras 3 | Jan 14, 2025 | BenchmarkingC++ code | —Unverified | 0 |
| Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis | Dec 19, 2024 | C++ codeCode Generation | —Unverified | 0 |
| Learning Complex Word Embeddings in Classical and Quantum Spaces | Dec 18, 2024 | C++ codeWord Embeddings | —Unverified | 0 |
| Pattern Matching in AI Compilers and its Formalization (Extended Version) | Dec 18, 2024 | C++ code | —Unverified | 0 |
| GNN-Based Code Annotation Logic for Establishing Security Boundaries in C Code | Nov 18, 2024 | C++ codeGraph Neural Network | —Unverified | 0 |
| Fast and Efficient Bayesian Analysis of Structural Vector Autoregressions Using the R Package bsvars | Oct 19, 2024 | C++ code | —Unverified | 0 |
| OMPar: Automatic Parallelization with AI-Driven Source-to-Source Compilation | Sep 23, 2024 | C++ code | —Unverified | 0 |
| VulnLLMEval: A Framework for Evaluating Large Language Models in Software Vulnerability Detection and Patching | Sep 16, 2024 | C++ codeCode Translation | —Unverified | 0 |
| Are LLMs Any Good for High-Level Synthesis? | Aug 19, 2024 | C++ codeHigh-Level Synthesis | —Unverified | 0 |
| Deeploy: Enabling Energy-Efficient Deployment of Small Language Models On Heterogeneous Microcontrollers | Aug 8, 2024 | 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 |
| Transforming Software Development: Evaluating the Efficiency and Challenges of GitHub Copilot in Real-World Projects | Jun 25, 2024 | C++ code | —Unverified | 0 |
| Vulnerability Detection in C/C++ Code with Deep Learning | May 20, 2024 | C++ codeDeep Learning | —Unverified | 0 |
| Python-Based Reinforcement Learning on Simulink Models | May 14, 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 |
| Register Your Forests: Decision Tree Ensemble Optimization by Explicit CPU Register Allocation | Apr 10, 2024 | C++ codeCode Generation | —Unverified | 0 |
| Smart structural health monitoring (SHM) system for on-board localization of defects in pipes using torsional ultrasonic guided waves | Mar 17, 2024 | C++ codeStructural Health Monitoring | —Unverified | 0 |
| Large Language Models to Generate System-Level Test Programs Targeting Non-functional Properties | Mar 15, 2024 | C++ codeHyperparameter Optimization | —Unverified | 0 |
| 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 |
| SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs? | Jul 13, 2023 | Binary ClassificationBug fixing | —Unverified | 0 |
