activity
20202026
most citedAIvril: AI-Driven RTL Generation With Verification In-The-Loop

2 citations · 3 across the 5 of their papers we have counts for

collaborators

6 papers

cs.AI2026

Automated Generation of Microfluidic Netlists using Large Language Models

Jasper Davidson, Skylar Stockham, Allen Boston +3

Microfluidic devices have emerged as powerful tools in various laboratory applications, but the complexity of their design limits accessibility for many practitioners. While progre…

cs.AI2025

Adaptive Multi-Agent Reasoning via Automated Workflow Generation

Humza Sami, Mubashir ul Islam, Pierre-Emmanuel Gaillardon +1

The rise of Large Reasoning Models (LRMs) promises a significant leap forward in language model capabilities, aiming to tackle increasingly sophisticated tasks with unprecedented e…

cs.AI2025★ 1 cited

Nexus: A Lightweight and Scalable Multi-Agent Framework for Complex Tasks Automation

Humza Sami, Mubashir ul Islam, Samy Charas +3

Recent advancements in Large Language Models (LLMs) have substantially evolved Multi-Agent Systems (MASs) capabilities, enabling systems that not only automate tasks but also lever…

cs.AR2024

EDA-Aware RTL Generation with Large Language Models

Mubashir ul Islam, Humza Sami, Pierre-Emmanuel Gaillardon +1

Large Language Models (LLMs) have become increasingly popular for generating RTL code. However, producing error-free RTL code in a zero-shot setting remains highly challenging for…

cs.AI2024★ 2 cited

AIvril: AI-Driven RTL Generation With Verification In-The-Loop

Mubashir ul Islam, Humza Sami, Pierre-Emmanuel Gaillardon +1

Large Language Models (LLMs) are computational models capable of performing complex natural language processing tasks. Leveraging these capabilities, LLMs hold the potential to tra…

cs.LG2020

Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization

Shubham Rai, Walter Lau Neto, Yukio Miyasaka +37

Logic synthesis is a fundamental step in hardware design whose goal is to find structural representations of Boolean functions while minimizing delay and area. If the function is c…