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
Dynamic Decision Tree Ensembles for Energy-Efficient Inference on IoT Edge NodesCode1
EIQP: Execution-time-certified and Infeasibility-detecting QP SolverCode1
RepoBench: Benchmarking Repository-Level Code Auto-Completion SystemsCode1
Break-It-Fix-It: Unsupervised Learning for Program RepairCode1
C codegen considered unnecessary: go directly to binary, do not pass C. Compilation of Julia code for deployment in model-based engineeringCode1
Latent Execution for Neural Program SynthesisCode1
CPL-SLAM: Efficient and Certifiably Correct Planar Graph-Based SLAM Using the Complex Number RepresentationCode1
Fortran2CPP: Automating Fortran-to-C++ Translation using LLMs via Multi-Turn Dialogue and Dual-Agent IntegrationCode1
Learning C to x86 Translation: An Experiment in Neural CompilationCode1
Simulated Annealing Algorithm for the Multiple Choice Multidimensional Knapsack ProblemCode1
Creating a Dataset for High-Performance Computing Code Translation using LLMs: A Bridge Between OpenMP Fortran and C++Code1
A C Code Generator for Fast Inference and Simple Deployment of Convolutional Neural Networks on Resource Constrained SystemsCode1
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)Code1
SegFormer: Simple and Efficient Design for Semantic Segmentation with TransformersCode1
Neural Transfer Learning for Repairing Security Vulnerabilities in C CodeCode1
SceneGenAgent: Precise Industrial Scene Generation with Coding AgentCode1
DORY: Automatic End-to-End Deployment of Real-World DNNs on Low-Cost IoT MCUsCode1
HDCC: A Hyperdimensional Computing compiler for classification on embedded systems and high-performance computingCode1
FP-Stereo: Hardware-Efficient Stereo Vision for Embedded Applications—0
From Research to Production and Back: Ludicrously Fast Neural Machine Translation—0
GCLIQUE: An Open Source Genetic Algorithm for the Maximum Clique Problem—0
GNN-Based Code Annotation Logic for Establishing Security Boundaries in C Code—0
GraphEye: A Novel Solution for Detecting Vulnerable Functions Based on Graph Attention Network—0
Hardware-in-the-loop simulation of a UAV autonomous landing algorithm implemented in SoC FPGA—0
Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis—0
High Performance Computing of Gene Regulatory Networks using a Message-Passing Model—0
Keras Sig: Efficient Path Signature Computation on GPU in Keras 3—0
Large Language Models to Generate System-Level Test Programs Targeting Non-functional Properties—0
Latent Execution for Neural Program Synthesis Beyond Domain-Specific Languages—0
Learning Complex Word Embeddings in Classical and Quantum Spaces—0
LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study—0
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP—0
Multi-context Attention Fusion Neural Network for Software Vulnerability Identification—0
Multi-layer Optimizations for End-to-End Data Analytics—0
Multi-threaded Memory Efficient Crossover in C++ for Generational Genetic Programming—0
Neuro-symbolic Zero-Shot Code Cloning with Cross-Language Intermediate Representation—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
A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning—0
A General Framework for Flexible Multi-Cue Photometric Point Cloud Registration—0
An interpretative and adaptive MPC for nonlinear systems—0
A rapid-prototype MPC tool based on gPROMS platform—0
Are LLMs Any Good for High-Level Synthesis?—0
A Study of the Complexity and Accuracy of Direction of Arrival Estimation Methods Based on GCC-PHAT for a Pair of Close Microphones—0
A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems—0
Automated C/C++ Program Repair for High-Level Synthesis via Large Language Models—0
Automated Creation of Source Code Variants of a Cryptographic Hash Function Implementation Using Generative Pre-Trained Transformer Models—0
Show:102550
← PrevPage 1 of 2Next →

No leaderboard results yet.