GitHub

Can Large Language Models Predict Parallel Code Performance?

We took this version of HeCBench and are modifying it to build the CUDA and OMP codes to gather their roofline performance data. So far we have a large portion of the CUDA and OMP codes building ...
IEEE

Recursive Gaussian Process-Based Safety Assurance Exploration Control in Unknown Environments

Abstract: This letter presents a novel method for environmental exploration that takes safety into account in unknown areas by using recursive Gaussian process regression (RGPR). Safety in unknown ...
GitHub

A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2

Gödel's Poetry is an advanced automated theorem proving system that combines Large Language Models (LLMs) with formal verification in Lean 4. The system takes mathematical theorems—either in informal ...
IEEE

Optimization of Feature Selection in Support Vector Machines (SVM) Using Recursive Feature ...

Abstract: Heart disease is one of the main health problems throughout the world. Early and accurate detection of heart disease is very important to reduce the death rate caused by this condition. One ...