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
Latent Execution for Neural Program SynthesisCode1
Simulated Annealing Algorithm for the Multiple Choice Multidimensional Knapsack ProblemCode1
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)Code1
Neural Transfer Learning for Repairing Security Vulnerabilities in C CodeCode1
EIQP: Execution-time-certified and Infeasibility-detecting QP SolverCode1
HDCC: A Hyperdimensional Computing compiler for classification on embedded systems and high-performance computingCode1
Learning C to x86 Translation: An Experiment in Neural CompilationCode1
SceneGenAgent: Precise Industrial Scene Generation with Coding AgentCode1
SegFormer: Simple and Efficient Design for Semantic Segmentation with TransformersCode1
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
Fortran2CPP: Automating Fortran-to-C++ Translation using LLMs via Multi-Turn Dialogue and Dual-Agent IntegrationCode1
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
Breaking Type Safety in Go: An Empirical Study on the Usage of the unsafe Package0
Are LLMs Any Good for High-Level Synthesis?0
Beyond the C: Retargetable Decompilation using Neural Machine Translation0
Deeploy: Enabling Energy-Efficient Deployment of Small Language Models On Heterogeneous Microcontrollers0
Show:102550
← PrevPage 1 of 4Next →

No leaderboard results yet.