Scholar
Aditya Vempaty
Google Scholar ID: UkpHd9cAAAAJ
Research Scientist, Emergence AI
Human-Machine Inference Networks
Human Machine Systems
AI Agents
Decision Making
Network
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,319
H-index
19
i10-index
26
Publications
20
Co-authors
72
list available
Publications
8 items
Beyond Type-checking: Towards Holistic Evaluation of Formal Specification Generation
2026
Cited
0
Second-Order Problem Solving for Recursive Self-Improvement in Formal Verification
2026
Cited
0
Emergence World: Adversarial Stress-Testing of Long-Horizon Multi-Agent Systems
2026
Cited
0
Emergence World: A Platform for Evaluating Long-Horizon Multi-Agent Autonomy
2026
Cited
0
Introducing Spotlight: A Novel Approach for Generating Captivating Key Information from Documents
2025
Cited
0
Reflection-Based Memory For Web navigation Agents
2025
Cited
0
Learning API Functionality from Demonstrations for Tool-based Agents
2025
Cited
0
Better RAG using Relevant Information Gain
arXiv.org · 2024
Cited
0
Co-authors
12 total
Pramod Varshney
Distinguished Professor of EECS, Syracuse University
Lav R. Varshney
Stony Brook University
Ravi Kokku
Merlyn Mind Inc.
Prasenjit Dey
Merlyn Mind Inc.
Flavio du Pin Calmon
Harvard University
Bhavya Kailkhura
Research Scientist, Lawrence Livermore National Laboratory
Matthew Riemer
IBM, Mila
Yunghsiang S. Han
University of Electronic Science and Technology of China
