researcher

Gagandeep Singh

University of Illinois at Urbana-Champaign

13 papers hereh-index 212.7k citations31 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position

first author1
middle author9
last author3

Across the 13 of 13 papers where every author was matched, so the position is known.

fields

affiliations

University of Illinois at Urbana-Champaign

Homepage

same name

Gagandeep Singh — 16 papers, h 16
Gagandeep Singh — 8 papers, h 3
Gagandeep Singh — 8 papers, h 6
Gagandeep Singh — 8 papers, h 3
Gagandeep Singh — 7 papers, h 7
Gagandeep Singh — 5 papers, h 11

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity

20192023

most citedPRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations

74 citations · 167 across the 11 of their papers we have counts for

collaborators

Showing cs.AIShow all

2 papers · 1 filter

cs.AI2022★ 10 cited

Scalable Verification of GNN-based Job Schedulers

Haoze Wu, Clark Barrett, Mahmood Sharif +2

Recently, Graph Neural Networks (GNNs) have been applied for scheduling jobs over clusters, achieving better performance than hand-crafted heuristics. Despite their impressive perf…

cs.AI2021★ 74 cited

PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations

Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh +2

Formal verification of neural networks is critical for their safe adoption in real-world applications. However, designing a precise and scalable verifier which can handle different…