SOTAVerified

C++ code

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 71–80 of 91 papers

TitleStatusHype
Transforming Software Development: Evaluating the Efficiency and Challenges of GitHub Copilot in Real-World Projects—0
Utilizing Static Analysis and Code Generation to Accelerate Neural Networks—0
Vulnerability Detection in C/C++ Code with Deep Learning—0
Pattern Matching in AI Compilers and its Formalization (Extended Version)—0
Hector: An Efficient Programming and Compilation Framework for Implementing Relational Graph Neural Networks in GPU Architectures—0
PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust—0
Python-Based Reinforcement Learning on Simulink Models—0
Real-time Nonlinear MPC Strategy with Full Vehicle Validation for Autonomous Driving—0
Real-Time Pose Estimation Piggybacked on Object Detection—0
OpenGM: A C++ Library for Discrete Graphical ModelsCode0
Show:102550
← PrevPage 8 of 10Next →

No leaderboard results yet.