Scholar

Shaurya Gomber

Google Scholar ID: I83V6o8AAAAJ

PhD Student, Computer Science, UIUC

Formal MethodsProgram AnalysisAutomated Reasoning

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

2

H-index

1

i10-index

0

Publications

5

Co-authors

0

Contact

No contact links provided.

Publications

2 items

Universal Synthesis of Differentiably Tunable Numerical Abstract Transformers

2025

Cited

0

Syndicate: Synergistic Synthesis of Ranking Function and Invariants for Termination Analysis

2024

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)