Fingerprint
Dive into the research topics where Abhinav Verma is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
LTL-Constrained Policy Optimization with Cycle Experience Replay
Shah, A., Voloshin, C., Yang, C., Verma, A., Chaudhuri, S. & Seshia, S. A., 2025, In: Transactions on Machine Learning Research. 2025-March, p. 1-27 27 p.Research output: Contribution to journal › Article › peer-review
2 Link opens in a new tab Scopus citations -
RetroMoE: A Mixture-of-Experts Latent Translation Framework for Single-step Retrosynthesis
Li, X. & Verma, A., 2025, Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025. Kwok, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 7509-7517 9 p. (IJCAI International Joint Conference on Artificial Intelligence).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
Žikelić, Ð., Lechner, M., Verma, A., Chatterjee, K. & Henzinger, T. A., 2023, Advances in Neural Information Processing Systems 36 - 37th Conference on Neural Information Processing Systems, NeurIPS 2023. Oh, A., Neumann, T., Globerson, A., Saenko, K., Hardt, M. & Levine, S. (eds.). Neural information processing systems foundation, (Advances in Neural Information Processing Systems; vol. 36).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
15 Link opens in a new tab Scopus citations -
Eventual Discounting Temporal Logic Counterfactual Experience Replay
Voloshin, C., Verma, A. & Yue, Y., 2023, In: Proceedings of Machine Learning Research. 202, p. 35137-35150 14 p.Research output: Contribution to journal › Conference article › peer-review
11 Link opens in a new tab Scopus citations -
Learning differentiable programs with admissible neural heuristics
Shah, A., Zhan, E., Sun, J. J., Verma, A., Yue, Y. & Chaudhuri, S., 2020, In: Advances in Neural Information Processing Systems. 2020-DecemberResearch output: Contribution to journal › Conference article › peer-review
33 Link opens in a new tab Scopus citations