SOTAVerified

C++ code

Papers

Showing 125 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
RepoBench: Benchmarking Repository-Level Code Auto-Completion SystemsCode1
Latent Execution for Neural Program SynthesisCode1
Neural Transfer Learning for Repairing Security Vulnerabilities in C CodeCode1
SegFormer: Simple and Efficient Design for Semantic Segmentation with TransformersCode1
EIQP: Execution-time-certified and Infeasibility-detecting QP SolverCode1
HDCC: A Hyperdimensional Computing compiler for classification on embedded systems and high-performance computingCode1
SceneGenAgent: Precise Industrial Scene Generation with Coding AgentCode1
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)Code1
Learning C to x86 Translation: An Experiment in Neural CompilationCode1
C codegen considered unnecessary: go directly to binary, do not pass C. Compilation of Julia code for deployment in model-based engineeringCode1
Break-It-Fix-It: Unsupervised Learning for Program RepairCode1
Fortran2CPP: Automating Fortran-to-C++ Translation using LLMs via Multi-Turn Dialogue and Dual-Agent IntegrationCode1
Simulated Annealing Algorithm for the Multiple Choice Multidimensional Knapsack ProblemCode1
DORY: Automatic End-to-End Deployment of Real-World DNNs on Low-Cost IoT MCUsCode1
Dynamic Decision Tree Ensembles for Energy-Efficient Inference on IoT Edge NodesCode1
A C Code Generator for Fast Inference and Simple Deployment of Convolutional Neural Networks on Resource Constrained SystemsCode1
CPL-SLAM: Efficient and Certifiably Correct Planar Graph-Based SLAM Using the Complex Number RepresentationCode1
Creating a Dataset for High-Performance Computing Code Translation using LLMs: A Bridge Between OpenMP Fortran and C++Code1
OpenGM: A C++ Library for Discrete Graphical ModelsCode0
Hybrid Deep Neural Networks to Infer State Models of Black-Box SystemsCode0
μNCA: Texture Generation with Ultra-Compact Neural Cellular AutomataCode0
Cross-Language Learning for Program Classification using Bilateral Tree-Based Convolutional Neural NetworksCode0
Show:102550
← PrevPage 1 of 4Next →

No leaderboard results yet.