SOTAVerified

C++ code

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–91 of 91 papers

TitleStatusHype
Learning Complex Word Embeddings in Classical and Quantum Spaces—0
A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems—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
VulnLLMEval: A Framework for Evaluating Large Language Models in Software Vulnerability Detection and Patching—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
A Study of the Complexity and Accuracy of Direction of Arrival Estimation Methods Based on GCC-PHAT for a Pair of Close Microphones—0
Neuro-symbolic Zero-Shot Code Cloning with Cross-Language Intermediate Representation—0
OMPar: Automatic Parallelization with AI-Driven Source-to-Source Compilation—0
Towards Neural Decompilation—0
Are LLMs Any Good for High-Level Synthesis?—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
Towards Practical First-Order Model Counting—0
PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust—0
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
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
Register Your Forests: Decision Tree Ensemble Optimization by Explicit CPU Register Allocation—0
A rapid-prototype MPC tool based on gPROMS platform—0
Safurai-Csharp: Harnessing Synthetic Data to improve language-specific Code LLM—0
An interpretative and adaptive MPC for nonlinear systems—0
SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs?—0
A General Framework for Flexible Multi-Cue Photometric Point Cloud Registration—0
SimInf: An R package for Data-driven Stochastic Disease Spread Simulations—0
A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning—0
Compilation as a Typed EDSL-to-EDSL Transformation—0
CompCodeVet: A Compiler-guided Validation and Enhancement Approach for Code Dataset—0
Deeploy: Enabling Energy-Efficient Deployment of Small Language Models On Heterogeneous Microcontrollers—0
Designing Neural Networks for Real-Time Systems—0
Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code—0
Breaking Type Safety in Go: An Empirical Study on the Usage of the unsafe Package—0
Beyond the C: Retargetable Decompilation using Neural Machine Translation—0
Embedded Model Predictive Controller on Low-Cost Low-End Microcontroller for Electrical Drives—0
Enhanced Automated Code Vulnerability Repair using Large Language Models—0
Fast and Efficient Bayesian Analysis of Structural Vector Autoregressions Using the R Package bsvars—0
Automated Physics-Derived Code Generation for Sensor Fusion and State Estimation—0
Show:102550
← PrevPage 2 of 2Next →

No leaderboard results yet.