SOTAVerified

C++ code

Papers

Showing 7691 of 91 papers

TitleStatusHype
An interpretative and adaptive MPC for nonlinear systems0
SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs?0
A General Framework for Flexible Multi-Cue Photometric Point Cloud Registration0
SimInf: An R package for Data-driven Stochastic Disease Spread Simulations0
A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning0
Compilation as a Typed EDSL-to-EDSL Transformation0
CompCodeVet: A Compiler-guided Validation and Enhancement Approach for Code Dataset0
Deeploy: Enabling Energy-Efficient Deployment of Small Language Models On Heterogeneous Microcontrollers0
Designing Neural Networks for Real-Time Systems0
Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code0
Breaking Type Safety in Go: An Empirical Study on the Usage of the unsafe Package0
Beyond the C: Retargetable Decompilation using Neural Machine Translation0
Embedded Model Predictive Controller on Low-Cost Low-End Microcontroller for Electrical Drives0
Enhanced Automated Code Vulnerability Repair using Large Language Models0
Fast and Efficient Bayesian Analysis of Structural Vector Autoregressions Using the R Package bsvars0
Automated Physics-Derived Code Generation for Sensor Fusion and State Estimation0
Show:102550
← PrevPage 4 of 4Next →

No leaderboard results yet.