| 2025 | AISTATS | Efficient and Asymptotically Unbiased Constrained Decoding for Large Language Models. | Haotian Ye, Himanshu Jain, Chong You, Ananda Theertha Suresh, Haowei Lin, James Zou, Felix X. Yu |
| 2025 | ASPDAC | SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal Verification. | Sourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu |
| 2025 | VLSID | PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property Verification. | Sourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu |
| 2024 | DATE | PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification. | Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain |
| 2023 | ARITH | Formal Verification of Floating-Point Division. | Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu |
| 2023 | ICLR | Treeformer: Dense Gradient Trees for Efficient Attention Computation. | Lovish Madaan, Srinadh Bhojanapalli, Himanshu Jain, Prateek Jain |
| 2023 | ICLR | Teacher Guided Training: An Efficient Framework for Knowledge Transfer. | Manzil Zaheer, Ankit Singh Rawat, Seungyeon Kim, Chong You, Himanshu Jain, Andreas Veit, Rob Fergus, Sanjiv Kumar |
| 2021 | ICLR | Long-tail learning via logit adjustment. | Aditya Krishna Menon, Sadeep Jayasumana, Ankit Singh Rawat, Himanshu Jain, Andreas Veit, Sanjiv Kumar |
| 2021 | WSDM | DeepXML: A Deep Extreme Multi-Label Learning Framework Applied to Short Text Documents. | Kunal Dahiya, Deepak Saini, Anshul Mittal, Ankush Shaw, Kushal Dave, Akshay Soni, Himanshu Jain, Sumeet Agarwal, Manik Varma |
| 2020 | EMNLP | Semantic Label Smoothing for Sequence to Sequence Problems. | Michal Lukasik, Himanshu Jain, Aditya Krishna Menon, Seungyeon Kim, Srinadh Bhojanapalli, Felix X. Yu, Sanjiv Kumar |
| 2019 | WSDM | Slice: Scalable Linear Extreme Classifiers Trained on 100 Million Labels for Related Searches. | Himanshu Jain, Venkatesh Balasubramanian, Bhanu Chunduri, Manik Varma |
| 2017 | CVPR | Human Shape from Silhouettes Using Generative HKS Descriptors and Cross-Modal Neural Networks. | Endri Dibra, Himanshu Jain, A. Cengiz ztireli, Remo Ziegler, Markus H. Gross |
| 2016 | ER | Context-Aware Workflow Execution Engine for E-Contract Enactment. | Himanshu Jain, P. Radha Krishna, Kamalakar Karlapalem |
| 2016 | KDD | Extreme Multi-label Loss Functions for Recommendation, Tagging, Ranking & Other Missing Label Applications. | Himanshu Jain, Yashoteja Prabhu, Manik Varma |
| 2013 | EMO | An Improved Adaptive Approach for Elitist Nondominated Sorting Genetic Algorithm for Many-Objective Optimization. | Himanshu Jain, Kalyanmoy Deb |
| 2012 | CEC | Handling many-objective problems using an improved NSGA-II procedure. | Kalyanmoy Deb, Himanshu Jain |
| 2009 | DAC | Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts. | Himanshu Jain, Edmund M. Clarke |
| 2009 | DATE | Solver technology for system-level to RTL equivalence checking. | Alfred Klbl, Reily Jacoby, Himanshu Jain, Carl Pixley |
| 2008 | CAV | Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations. | Himanshu Jain, Edmund M. Clarke, Orna Grumberg |
| 2007 | TACAS | VCEGAR: Verilog CounterExample Guided Abstraction Refinement. | Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke |
| 2006 | CAV | Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. | Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang |
| 2006 | SAT | Satisfiability Checking of Non-clausal Formulas Using General Matings. | Himanshu Jain, Constantinos Bartzis, Edmund M. Clarke |
| 2005 | DAC | Word level predicate abstraction and refinement for verifying RTL verilog. | Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke |
| 2005 | TACAS | Localization and Register Sharing for Predicate Abstraction. | Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai |
| 2004 | MEMOCODE | Verification of SpecC using predicate abstraction. | Himanshu Jain, Daniel Kroening, Edmund M. Clarke |