Himanshu Jain - RankMe

75 papers A* 11A 9B 1C 4Misc 1Journal 32Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Autoregressive Ranking: Bridging the Gap Between Dual and Cross Encoders. CoRR Benjamin Rozonoyer, Chong You, Michael Boratko, Himanshu Jain, Nilesh Gupta, Srinadh Bhojanapalli, Andrew McCallum, Felix Yu
2026	J	`jnl`	Bifurcation and chaos in tumor-immune dynamics with IL-2: A comparative study of continuous and discrete-time models. Commun. Nonlinear Sci. Numer. Simul. Himanshu Jain, Vikrant Rai, Arvind Kumar Sinha
2025	J	`jnl`	Automated Fast Frequency Response From Inverter-Based Motor Loads. IEEE Trans. Smart Grid Zarka Mirza, Himanshu Jain
2025	A	`conf`	Efficient and Asymptotically Unbiased Constrained Decoding for Large Language Models. AISTATS Haotian Ye, Himanshu Jain, Chong You, Ananda Theertha Suresh, Haowei Lin, James Zou, Felix X. Yu
2025	J	`jnl`	Efficient and Asymptotically Unbiased Constrained Decoding for Large Language Models. CoRR Haotian Ye, Himanshu Jain, Chong You, Ananda Theertha Suresh, Haowei Lin, James Zou, Felix X. Yu
2025	J	`jnl`	FastVPINNs: Tensor-Driven Acceleration of VPINNs for Complex Geometries. SIAM J. Sci. Comput. Thivin Anandh, Divij Ghose, Himanshu Jain, Sashikumaar Ganesan
2025	Misc	`conf`	PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property Verification. VLSID Sourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu
2025	—	`conf`	SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal Verification. ASP-DAC Sourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu
2024	J	`jnl`	Efficient Document Ranking with Learnable Late Interactions. CoRR Ziwei Ji, Himanshu Jain, Andreas Veit, Sashank J. Reddi, Sadeep Jayasumana, Ankit Singh Rawat, Aditya Krishna Menon, Felix X. Yu, Sanjiv Kumar
2024	J	`jnl`	FastVPINNs: Tensor-Driven Acceleration of VPINNs for Complex Geometries. CoRR Thivin Anandh, Divij Ghose, Himanshu Jain, Sashikumaar Ganesan
2024	J	`jnl`	Improving hp-Variational Physics-Informed Neural Networks for Steady-State Convection-Dominated Problems. CoRR Thivin Anandh, Divij Ghose, Himanshu Jain, Pratham Sunkad, Sashikumaar Ganesan, Volker John
2024	J	`jnl`	Mathematical model of mixed invasive ductal and lobular breast cancer. Netw. Model. Anal. Health Informatics Bioinform. Himanshu Jain, Arvind Kumar Sinha
2024	A	`conf`	PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification. DATE Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain
2023	C	`conf`	Formal Verification of Floating-Point Division. ARITH Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu
2023	J	`jnl`	Mathematical model of the tumor cells' population growth. Netw. Model. Anal. Health Informatics Bioinform. Nishant Namdev, Himanshu Jain, Arvind Kumar Sinha
2023	J	`jnl`	Modeling the effect of Wolbachia to control malaria transmission. Expert Syst. Appl. Himanshu Jain, Arvind Kumar Sinha
2023	A*	`conf`	SpecTr: Fast Speculative Decoding via Optimal Transport. NeurIPS Ziteng Sun, Ananda Theertha Suresh, Jae Hun Ro, Ahmad Beirami, Himanshu Jain, Felix X. Yu
2023	J	`jnl`	SpecTr: Fast Speculative Decoding via Optimal Transport. CoRR Ziteng Sun, Ananda Theertha Suresh, Jae Hun Ro, Ahmad Beirami, Himanshu Jain, Felix X. Yu
2023	A*	`conf`	Teacher Guided Training: An Efficient Framework for Knowledge Transfer. ICLR Manzil Zaheer, Ankit Singh Rawat, Seungyeon Kim, Chong You, Himanshu Jain, Andreas Veit, Rob Fergus, Sanjiv Kumar
2023	A*	`conf`	Treeformer: Dense Gradient Trees for Efficient Attention Computation. ICLR Lovish Madaan, Srinadh Bhojanapalli, Himanshu Jain, Prateek Jain
2022	J	`jnl`	Grid-Supportive Loads - A New Approach to Increasing Renewable Energy in Power Systems. IEEE Trans. Smart Grid Himanshu Jain, Barry Mather, Akshay Kumar Jain, Samuel F. Baldwin
2022	J	`jnl`	Teacher Guided Training: An Efficient Framework for Knowledge Transfer. CoRR Manzil Zaheer, Ankit Singh Rawat, Seungyeon Kim, Chong You, Himanshu Jain, Andreas Veit, Rob Fergus, Sanjiv Kumar
2022	J	`jnl`	Treeformer: Dense Gradient Trees for Efficient Attention Computation. CoRR Lovish Madaan, Srinadh Bhojanapalli, Himanshu Jain, Prateek Jain
2021	A	`conf`	DeepXML: A Deep Extreme Multi-Label Learning Framework Applied to Short Text Documents. WSDM Kunal Dahiya, Deepak Saini, Anshul Mittal, Ankush Shaw, Kushal Dave, Akshay Soni, Himanshu Jain, Sumeet Agarwal, Manik Varma
2021	J	`jnl`	DeepXML: A Deep Extreme Multi-Label Learning Framework Applied to Short Text Documents. CoRR Kunal Dahiya, Deepak Saini, Anshul Mittal, Ankush Shaw, Kushal Dave, Akshay Soni, Himanshu Jain, Sumeet Agarwal, Manik Varma
2021	J	`jnl`	Eigen Analysis of Self-Attention and its Reconstruction from Partial Computation. CoRR Srinadh Bhojanapalli, Ayan Chakrabarti, Himanshu Jain, Sanjiv Kumar, Michal Lukasik, Andreas Veit
2021	J	`jnl`	Leveraging redundancy in attention with Reuse Transformers. CoRR Srinadh Bhojanapalli, Ayan Chakrabarti, Andreas Veit, Michal Lukasik, Himanshu Jain, Frederick Liu, Yin-Wen Chang, Sanjiv Kumar
2021	A*	`conf`	Long-tail learning via logit adjustment. ICLR Aditya Krishna Menon, Sadeep Jayasumana, Ankit Singh Rawat, Himanshu Jain, Andreas Veit, Sanjiv Kumar
2021	—	`conf`	MAPLE -MAsking words to generate blackout Poetry using sequence-to-sequence LEarning. ICNLSP Aditeya Baral, Himanshu Jain, Deeksha D, Mamatha H. R
2020	A*	`conf`	Adversarial robustness via robust low rank representations. NeurIPS Pranjal Awasthi, Himanshu Jain, Ankit Singh Rawat, Aravindan Vijayaraghavan
2020	J	`jnl`	Adversarial robustness via robust low rank representations. CoRR Pranjal Awasthi, Himanshu Jain, Ankit Singh Rawat, Aravindan Vijayaraghavan
2020	—	`conf`	Fast and Efficient Decision-Based Attack for Deep Neural Network on Edge. SiPS Himanshu Jain, Sakshi Rathore, T. P. Abdul Rahoof, Vivek Chaturvedi, Satyajit Das
2020	J	`jnl`	Long-tail learning via logit adjustment. CoRR Aditya Krishna Menon, Sadeep Jayasumana, Ankit Singh Rawat, Himanshu Jain, Andreas Veit, Sanjiv Kumar
2020	—	`conf`	Semantic Label Smoothing for Sequence to Sequence Problems. EMNLP (1) Michal Lukasik, Himanshu Jain, Aditya Krishna Menon, Seungyeon Kim, Srinadh Bhojanapalli, Felix X. Yu, Sanjiv Kumar
2020	J	`jnl`	Semantic Label Smoothing for Sequence to Sequence Problems. CoRR Michal Lukasik, Himanshu Jain, Aditya Krishna Menon, Seungyeon Kim, Srinadh Bhojanapalli, Felix X. Yu, Sanjiv Kumar
2019	—	`conf`	Equivalent Test Bed in PSCAD and PSLF for Studying Advanced Power Systems Controller Performance. ISGT Reetam Sen Biswas, Jin Tan, Himanshu Jain, Vahan Gevorgian, Yingchen Zhang
2019	—	`conf`	Evaluating the Impact of Price-Responsive Load on Power Systems Using Integrated T&D Simulation. ISGT Himanshu Jain, Bryan Palmintier, Dheepak Krishnamurthy, Ibrahim Krad, Elaine T. Hale
2019	A	`conf`	Slice: Scalable Linear Extreme Classifiers Trained on 100 Million Labels for Related Searches. WSDM Himanshu Jain, Venkatesh Balasubramanian, Bhanu Chunduri, Manik Varma
2017	J	`jnl`	A Bottom Up Procedure for Text Line Segmentation of Latin Script. CoRR Himanshu Jain, Archana Praveen Kumar
2017	J	`jnl`	A Sequential Thinning Algorithm For Multi-Dimensional Binary Patterns. CoRR Himanshu Jain
2017	—	`conf`	A bottom up procedure for text line segmentation of latin script. ICACCI Himanshu Jain, Archana Praveen Kumar
2017	—	`conf`	Hardware implementation of k-means clustering based spectrum sensing using usrp in a cognitive radio system. ICACCI Anirudh Agarwal, Himanshu Jain, Ranjan Gangopadhyay, Soumitra Debnath
2017	A*	`conf`	Human Shape from Silhouettes Using Generative HKS Descriptors and Cross-Modal Neural Networks. CVPR Endri Dibra, Himanshu Jain, A. Cengiz Öztireli, Remo Ziegler, Markus H. Gross
2016	A	`conf`	Context-Aware Workflow Execution Engine for E-Contract Enactment. ER Himanshu Jain, P. Radha Krishna, Kamalakar Karlapalem
2016	A*	`conf`	Extreme Multi-label Loss Functions for Recommendation, Tagging, Ranking & Other Missing Label Applications. KDD Himanshu Jain, Yashoteja Prabhu, Manik Varma
2016	—	`conf`	FPGA based hardware implementation of automatic vehicle license plate detection system. ICACCI Surbhi Chhabra, Himanshu Jain, Sandeep Saini
2016	—	`conf`	HS-Nets: Estimating Human Body Shape from Silhouettes with Convolutional Neural Networks. 3DV Endri Dibra, Himanshu Jain, A. Cengiz Öztireli, Remo Ziegler, Markus H. Gross
2016	J	`jnl`	Integrated Transmission & Distribution System Modeling and Analysis: Need & Advantages. CoRR Himanshu Jain, Kaveh Rahimi, Ahmad Tbaileh, Robert P. Broadwater, Akshay Kumar Jain, Murat Dilek
2015	J	`jnl`	Locally Non-linear Embeddings for Extreme Multi-label Learning. CoRR Kush Bhatia, Himanshu Jain, Purushottam Kar, Prateek Jain, Manik Varma
2015	—	`conf`	Sparse Local Embeddings for Extreme Multi-label Classification. NIPS Kush Bhatia, Himanshu Jain, Purushottam Kar, Manik Varma, Prateek Jain
2015	J	`jnl`	Three-Phase Dynamics Simulation of Power Systems Using Combined Transmission and Distribution System Models. CoRR Himanshu Jain, Abhineet Parchure, Robert P. Broadwater, Murat Dilek, Jeremy Woyak
2014	J	`jnl`	An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point Based Nondominated Sorting Approach, Part II: Handling Constraints and Extending to an Adaptive Approach. IEEE Trans. Evol. Comput. Himanshu Jain, Kalyanmoy Deb
2014	J	`jnl`	An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point-Based Nondominated Sorting Approach, Part I: Solving Problems With Box Constraints. IEEE Trans. Evol. Comput. Kalyanmoy Deb, Himanshu Jain
2014	—	`conf`	Plug-In Electric Vehicles - Distribution system impacts and high level screening methodologies for calculating costs and benefits. ISGT Himanshu Jain, Kiran Kumaraswamy, Rakesh N. Maurya
2013	C	`conf`	An Improved Adaptive Approach for Elitist Nondominated Sorting Genetic Algorithm for Many-Objective Optimization. EMO Himanshu Jain, Kalyanmoy Deb
2013	—	`conf`	Analysis of Chaos in Double Pendulum. ICETET Himanshu Jain, Ashish Ranjan, Kshitij Gupta
2013	—	`conf`	e-contract enactment system for effective e-governance. ICEGOV Himanshu Jain, P. Radha Krishna, Kamalakar Karlapalem
2012	B	`conf`	Handling many-objective problems using an improved NSGA-II procedure. IEEE Congress on Evolutionary Computation Kalyanmoy Deb, Himanshu Jain
2011	—	`conf`	Parent to Mean-Centric Self-Adaptation in SBX Operator for Real-Parameter Optimization. SEMCCO (1) Himanshu Jain, Kalyanmoy Deb
2010	J	`jnl`	Design of tensegrity structures using parametric analysis and stochastic search. Eng. Comput. Landolf Rhode-Barbarigos, Himanshu Jain, Prakash Kripakaran, Ian F. C. Smith
2010	C	`conf`	Detection and Severity Classification of Rotor Imbalance Faults in Induction Machines. IAS Himanshu Jain, Suratsavadee Korkua, Wei-Jen Lee, Chiman Kwan
2009	J	`jnl`	Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations. Formal Methods Syst. Des. Himanshu Jain, Edmund M. Clarke, Orna Grumberg
2009	A*	`conf`	Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts. DAC Himanshu Jain, Edmund M. Clarke
2009	A	`conf`	Solver technology for system-level to RTL equivalence checking. DATE Alfred Kölbl, Reily Jacoby, Himanshu Jain, Carl Pixley
2008	A*	`conf`	Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations. CAV Himanshu Jain, Edmund M. Clarke, Orna Grumberg
2008	J	`jnl`	Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke
2007	A	`conf`	VCEGAR: Verilog CounterExample Guided Abstraction Refinement. TACAS Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke
2007	J	`jnl`	Verification of SpecC using predicate abstraction. Formal Methods Syst. Des. Edmund M. Clarke, Himanshu Jain, Daniel Kroening
2006	A	`conf`	Satisfiability Checking of Non-clausal Formulas Using General Matings. SAT Himanshu Jain, Constantinos Bartzis, Edmund M. Clarke
2006	A*	`conf`	Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. CAV Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang
2005	—	`conf`	Grand Challenge: Model Check Software. VISSAS Edmund M. Clarke, Himanshu Jain, Nishant Sinha
2005	A	`conf`	Localization and Register Sharing for Predicate Abstraction. TACAS Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai
2005	—	`conf`	Model Checking: Back and Forth between Hardware and Software. VSTTE Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith
2005	A*	`conf`	Word level predicate abstraction and refinement for verifying RTL verilog. DAC Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke
2004	C	`conf`	Verification of SpecC using predicate abstraction. MEMOCODE Himanshu Jain, Daniel Kroening, Edmund M. Clarke