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
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 Rust0
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 Study0
Show:102550
← PrevPage 1 of 4Next →

No leaderboard results yet.