SOTAVerified

C++ code

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–91 of 91 papers

TitleStatusHype
A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems—0
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP—0
Neuro-symbolic Zero-Shot Code Cloning with Cross-Language Intermediate Representation—0
Privacy-Preserving CNN Training with Transfer Learning: Multiclass Logistic RegressionCode0
Hector: An Efficient Programming and Compilation Framework for Implementing Relational Graph Neural Networks in GPU Architectures—0
Beyond the C: Retargetable Decompilation using Neural Machine Translation—0
An interpretative and adaptive MPC for nonlinear systems—0
A rapid-prototype MPC tool based on gPROMS platform—0
Hardware-in-the-loop simulation of a UAV autonomous landing algorithm implemented in SoC FPGA—0
GraphEye: A Novel Solution for Detecting Vulnerable Functions Based on Graph Attention Network—0
μNCA: Texture Generation with Ultra-Compact Neural Cellular AutomataCode0
Real-time Nonlinear MPC Strategy with Full Vehicle Validation for Autonomous Driving—0
Latent Execution for Neural Program Synthesis Beyond Domain-Specific Languages—0
Embedded Model Predictive Controller on Low-Cost Low-End Microcontroller for Electrical Drives—0
Multi-context Attention Fusion Neural Network for Software Vulnerability Identification—0
Multi-threaded Memory Efficient Crossover in C++ for Generational Genetic Programming—0
Designing Neural Networks for Real-Time Systems—0
Hybrid Deep Neural Networks to Infer State Models of Black-Box SystemsCode0
Breaking Type Safety in Go: An Empirical Study on the Usage of the unsafe Package—0
FP-Stereo: Hardware-Efficient Stereo Vision for Embedded Applications—0
GCLIQUE: An Open Source Genetic Algorithm for the Maximum Clique Problem—0
Automated Physics-Derived Code Generation for Sensor Fusion and State Estimation—0
A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning—0
Multi-layer Optimizations for End-to-End Data Analytics—0
From Research to Production and Back: Ludicrously Fast Neural Machine Translation—0
Structural Language Models of CodeCode0
Structural Language Models for Any-Code Generation—0
Genetic Algorithm for the 0/1 Multidimensional Knapsack ProblemCode0
Towards Neural Decompilation—0
FPGA/DNN Co-Design: An Efficient Design Methodology for IoT Intelligence on the EdgeCode0
A Study of the Complexity and Accuracy of Direction of Arrival Estimation Methods Based on GCC-PHAT for a Pair of Close Microphones—0
Cross-Language Learning for Program Classification using Bilateral Tree-Based Convolutional Neural NetworksCode0
A General Framework for Flexible Multi-Cue Photometric Point Cloud Registration—0
PL-SLAM: a Stereo SLAM System through the Combination of Points and Line SegmentsCode0
SimInf: An R package for Data-driven Stochastic Disease Spread Simulations—0
Compilation as a Typed EDSL-to-EDSL Transformation—0
Real-Time Pose Estimation Piggybacked on Object Detection—0
High Performance Computing of Gene Regulatory Networks using a Message-Passing Model—0
Utilizing Static Analysis and Code Generation to Accelerate Neural Networks—0
OpenGM: A C++ Library for Discrete Graphical ModelsCode0
The Limits of Mathematics (in C)Code0
Show:102550
← PrevPage 2 of 2Next →

No leaderboard results yet.