Scholar
Ashish Jagmohan
Google Scholar ID: TxPtd3IAAAAJ
Emergence AI
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
924
H-index
15
i10-index
29
Publications
20
Co-authors
0
Publications
5 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
Reflection-Based Memory For Web navigation Agents
2025
Cited
0
Learning API Functionality from Demonstrations for Tool-based Agents
2025
Cited
0
Deep Policy Iteration with Integer Programming for Inventory Management
2021
Cited
0
