SOTAVerified

C++ code

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 26–50 of 91 papers

TitleStatusHype
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 2 of 4Next →

No leaderboard results yet.