# SHF: Medium: A Neursoymbolic Framework for High-level Synthesis of Multi-Task Learning (NeuHLS)

> **NSF 01002526DB NSF RESEARCH & RELATED ACTIVIT** · University of California-Irvine (CA) · $900,000

## Abstract

The growing demand for smart and autonomous systems has driven a surge in the deployment of edge devices. However, the limited computational resources and energy constraints of these devices pose significant challenges for deploying complex deep neural networks (DNNs). Optimizing DNNs for edge devices is crucial to unlock their full potential and enable a wider range of innovative applications. This project’s novelties lie in developing a new generation of tools that can automatically generate hardware accelerators for edge devices while satisfying latency and hardware platform constraints. This project’s impact is to enable high-performance DNN models with high accuracy and fast response to be synthesized in constrained hardware such as Virtual Reality (VR)/Augmented Reality (AR) or assistive robotics will positively change social perception and confidence towards using these future ubiquitous systems. 

Our approach integrates multi-task learning, neurosymbolic Artificial Intelligence (AI), and high-level synthesis to create accelerators that meet strict latency and hardware platform constraints. In particular, this project introduces NeuHLS, a neurosymbolic approach for merging, compressing, and synthesizing DNNs. NeuHLS’s primary objective is to develop a flexible and efficient framework that balances accuracy, hardware utilization, and latency. In addition, the synthesized hardware must maximize the number of DNN weights implemented using software tunable parameters to

## Key facts

- **NSF award ID:** 2504809
- **Awardee organization:** University of California-Irvine (CA)
- **SAM.gov UEI:** MJC5FCYQTPE6
- **PI:** Salma Elmalaki
- **Primary program:** 01002526DB NSF RESEARCH & RELATED ACTIVIT
- **All programs:** MEDIUM PROJECT, Formal Methods and Verification
- **Estimated total:** $900,000
- **Funds obligated:** $900,000
- **Transaction type:** Standard Grant
- **Period:** 10/01/2025 → 09/30/2029

## Primary source

NSF Award Search: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2504809

## Citation

> US National Science Foundation, Award 2504809, SHF: Medium: A Neursoymbolic Framework for High-level Synthesis of Multi-Task Learning (NeuHLS). Retrieved via MORVS 2026-10-12 from https://api.morvs.ai/grant/nsf/2504809. Licensed CC0.

---

*[NSF Awards dataset](/datasets/nsf-awards) · CC0 1.0*