SOTAVerified

C++ code

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–50 of 91 papers

TitleStatusHype
ChatDBG: Augmenting Debugging with Large Language ModelsCode5
Open-Source Skull Reconstruction with MONAICode3
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal VerificationCode2
EIQP: Execution-time-certified and Infeasibility-detecting QP SolverCode1
C codegen considered unnecessary: go directly to binary, do not pass C. Compilation of Julia code for deployment in model-based engineeringCode1
Fortran2CPP: Automating Fortran-to-C++ Translation using LLMs via Multi-Turn Dialogue and Dual-Agent IntegrationCode1
SceneGenAgent: Precise Industrial Scene Generation with Coding AgentCode1
Creating a Dataset for High-Performance Computing Code Translation using LLMs: A Bridge Between OpenMP Fortran and C++Code1
Dynamic Decision Tree Ensembles for Energy-Efficient Inference on IoT Edge NodesCode1
RepoBench: Benchmarking Repository-Level Code Auto-Completion SystemsCode1
HDCC: A Hyperdimensional Computing compiler for classification on embedded systems and high-performance computingCode1
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)Code1
Learning C to x86 Translation: An Experiment in Neural CompilationCode1
Latent Execution for Neural Program SynthesisCode1
Break-It-Fix-It: Unsupervised Learning for Program RepairCode1
SegFormer: Simple and Efficient Design for Semantic Segmentation with TransformersCode1
Neural Transfer Learning for Repairing Security Vulnerabilities in C CodeCode1
DORY: Automatic End-to-End Deployment of Real-World DNNs on Low-Cost IoT MCUsCode1
CPL-SLAM: Efficient and Certifiably Correct Planar Graph-Based SLAM Using the Complex Number RepresentationCode1
Simulated Annealing Algorithm for the Multiple Choice Multidimensional Knapsack ProblemCode1
A C Code Generator for Fast Inference and Simple Deployment of Convolutional Neural Networks on Resource Constrained SystemsCode1
PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust—0
Program Semantic Inequivalence Game with Large Language ModelsCode0
GPRat: Gaussian Process Regression with Asynchronous TasksCode0
LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study—0
Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code—0
Towards Practical First-Order Model Counting—0
Skeleton-Guided-Translation: A Benchmarking Framework for Code Repository Translation with Fine-Grained Quality Evaluation—0
Keras Sig: Efficient Path Signature Computation on GPU in Keras 3—0
Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis—0
Learning Complex Word Embeddings in Classical and Quantum Spaces—0
Pattern Matching in AI Compilers and its Formalization (Extended Version)—0
GNN-Based Code Annotation Logic for Establishing Security Boundaries in C Code—0
Fast and Efficient Bayesian Analysis of Structural Vector Autoregressions Using the R Package bsvars—0
OMPar: Automatic Parallelization with AI-Driven Source-to-Source Compilation—0
VulnLLMEval: A Framework for Evaluating Large Language Models in Software Vulnerability Detection and Patching—0
Are LLMs Any Good for High-Level Synthesis?—0
Deeploy: Enabling Energy-Efficient Deployment of Small Language Models On Heterogeneous Microcontrollers—0
Automated C/C++ Program Repair for High-Level Synthesis via Large Language Models—0
Transforming Software Development: Evaluating the Efficiency and Challenges of GitHub Copilot in Real-World Projects—0
Vulnerability Detection in C/C++ Code with Deep Learning—0
Python-Based Reinforcement Learning on Simulink Models—0
Automated Creation of Source Code Variants of a Cryptographic Hash Function Implementation Using Generative Pre-Trained Transformer Models—0
Register Your Forests: Decision Tree Ensemble Optimization by Explicit CPU Register Allocation—0
Smart structural health monitoring (SHM) system for on-board localization of defects in pipes using torsional ultrasonic guided waves—0
Large Language Models to Generate System-Level Test Programs Targeting Non-functional Properties—0
Enhanced Automated Code Vulnerability Repair using Large Language Models—0
CompCodeVet: A Compiler-guided Validation and Enhancement Approach for Code Dataset—0
Safurai-Csharp: Harnessing Synthetic Data to improve language-specific Code LLM—0
SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs?—0
Show:102550
← PrevPage 1 of 2Next →

No leaderboard results yet.