activity
20192026
most citedDNNV: A Framework for Deep Neural Network Verification

35 citations · 76 across the 10 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.SE2026

What Survives the Next Model? Benchmarking LLM-Based Techniques Against Single-Prompts

Nahian Salsabil, Joy Saha, Simantika Bhattacharjee Dristi +4

The software engineering research community has enthusiastically embraced the integration of Large Language Models (LLMs) into complex techniques to solve a wide variety of tasks.…