| PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust | May 7, 2025 | C++ code | —Unverified | 0 |
| Program Semantic Inequivalence Game with Large Language Models | May 2, 2025 | C++ codeCode Generation | CodeCode Available | 0 |
| GPRat: Gaussian Process Regression with Asynchronous Tasks | Apr 30, 2025 | C++ codeCPU | CodeCode Available | 0 |
| LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study | Apr 21, 2025 | C++ codeCode Translation | —Unverified | 0 |
| 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 |
| EIQP: Execution-time-certified and Infeasibility-detecting QP Solver | Feb 11, 2025 | C++ codeModel Predictive Control | CodeCode Available | 1 |
| C codegen considered unnecessary: go directly to binary, do not pass C. Compilation of Julia code for deployment in model-based engineering | Feb 3, 2025 | C++ codeCode Generation | CodeCode Available | 1 |
| 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 |
