Abhinav Verma

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 25

Top Topics

Polarimetric Sar

Credit Card Fraud

Reinforcement Learning

Recurrent Neural Networks

Top Venues

IEEE Trans. Geosci. Remote. Sens.

Publications

Avik Bhattacharya, Abhinav Verma, Subhadip Dey, Alejandro C. Frery
An Alternate Scattering-Type Parameter for Target Characterization and Classification. IEEE Trans. Geosci. Remote. Sens. 62 (2024)
Gurjot Singh, Abhinav Verma, Lavanya Gupta, Anant Mehta, Vinay Arora
An automated diagnosis model for classifying cardiac abnormality utilizing deep neural networks. Multim. Tools Appl. 83 (13) (2024)
Hamid Jafarzadeh, Abhinav Verma, Masoud MahdianPari, Avik Bhattacharya, Saeid Homayouni
Enhanced Crop Discrimination and Monitoring Using Compact-Polarimetric SAR Signature Analysis From RADARSAT Constellation Mission. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 17 (2024)
Hamid Jafarzadeh, Abhinav Verma, Masoud MahdianPari, Eric W. Gill, Avik Bhattacharya, Saeid Homayouni
Compact-Polarimetric SAR Signature Analysis for Wetland Characterization Using RADARSAT Constellation Mission. IEEE Trans. Geosci. Remote. Sens. 62 (2024)
Abhinav Verma, Jogendra Kumar Nayak
Understanding public sentiments and misbeliefs about Sustainable Development Goals: a sentiment and topic modeling analysis. J. Inf. Commun. Ethics Soc. 22 (2) (2024)
Hamid Jafarzadeh, Masoud MahdianPari, Abhinav Verma, Avik Bhattacharya, Saeid Homayouni
Crop Discrimination and Mapping Using Multi-Temporal RCM Compact Polarimetry SAR Data. IGARSS (2023)
Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. CoRR (2023)
Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. NeurIPS (2023)
Sonam Gupta, Tushtee Varshney, Abhinav Verma, Lipika Goel, Arun Kumar Yadav, Arjun Singh
A Hybrid Machine Learning Approach for Credit Card Fraud Detection. Int. J. Inf. Technol. Proj. Manag. 13 (3) (2022)
Abhinav Verma, Subhadip Dey, Carlos López-Martínez, Avik Bhattacharya, Paolo Gamba
Dual-Pol Radar Built-Up Area Index for Urban Area Mapping Using Sentinel-1 SAR Data. IGARSS (2022)
Abhinav Verma, Subhadip Dey, Narayanarao Bhogapurapu, Dipankar Mandal, Dipanwita Haldar, Avik Bhattacharya
Polarimetric SAR Signature for Crop Characterization. IGARSS (2021)
Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri
Learning Differentiable Programs with Admissible Neural Heuristics. CoRR (2020)
Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
Neurosymbolic Reinforcement Learning with Formally Verified Exploration. NeurIPS (2020)
Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri
Learning Differentiable Programs with Admissible Neural Heuristics. NeurIPS (2020)
Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
Neurosymbolic Reinforcement Learning with Formally Verified Exploration. CoRR (2020)
Richard Cheng, Abhinav Verma, Gábor Orosz, Swarat Chaudhuri, Yisong Yue, Joel W. Burdick
Control Regularization for Reduced Variance Reinforcement Learning. CoRR (2019)
Daniel Bienstock, Abhinav Verma
Strong NP-hardness of AC power flows feasibility. Oper. Res. Lett. 47 (6) (2019)
Abhinav Verma
Verifiable and Interpretable Reinforcement Learning through Program Synthesis. AAAI (2019)
Abhinav Verma, Hoang Minh Le, Yisong Yue, Swarat Chaudhuri
Imitation-Projected Programmatic Reinforcement Learning. NeurIPS (2019)
Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks. ICLR (Poster) (2019)
Abhinav Verma, Hoang Minh Le, Yisong Yue, Swarat Chaudhuri
Imitation-Projected Policy Gradient for Programmatic Reinforcement Learning. CoRR (2019)
Richard Cheng, Abhinav Verma, Gábor Orosz, Swarat Chaudhuri, Yisong Yue, Joel Burdick
Control Regularization for Reduced Variance Reinforcement Learning. ICML (2019)
Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks. CoRR (2019)
Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, Swarat Chaudhuri
Programmatically Interpretable Reinforcement Learning. CoRR (2018)
Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, Swarat Chaudhuri
Programmatically Interpretable Reinforcement Learning. ICML (2018)
Benjamin Lutz, Claude Sinner, Geertje Heuermann, Abhinav Verma, Alexander Schug
eSBMTools 1.0: enhanced native structure-based modeling tools. Bioinform. 29 (21) (2013)
Paras Gupta, Manu Vardhan, Akhil Goel, Abhinav Verma, Dharmender Singh Kushwaha
On the Fly File Dereplication Mechanism. ACITY (1) (2012)
Ivan Kondov, Abhinav Verma, Wolfgang Wenzel
Performance assessment of different constraining potentials in computational structure prediction for disulfide-bridged proteins. Comput. Biol. Chem. 35 (4) (2011)
Daniel Bienstock, Abhinav Verma
The N-k Problem in Power Grids: New Models, Formulations, and Numerical Experiments. SIAM J. Optim. 20 (5) (2010)
Abhinav Verma, Srinivasa M. Gopal, Jung S. Oh, Kyu H. Lee, Wolfgang Wenzel
protein folding with a scalable evolutionary algorithm. J. Comput. Chem. 28 (16) (2007)
Abhinav Verma, Srinivasa M. Gopal, Alexander Schug, Jung S. Oh, Konstantin V. Klenin, Kyu H. Lee, Wolfgang Wenzel
Massively Parallel All Atom Protein Folding in a Single Day. PARCO (2007)