A Complete Multi-valued SAT Solver. - Siddhartha Jain 001; Eoin O'Mahony; Meinolf Sellmann (CP, 2010)

Upper Bounds on the Number of Solutions of Binary Integer Programs. - Siddhartha Jain 001; Serdar Kadioglu; Meinolf Sellmann (CPAIOR, 2010)

A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT. - Siddhartha Jain 001; Ashish Sabharwal; Meinolf Sellmann (AAAI, 2011)

Large Neighborhood Search for Dial-a-Ride Problems. - Siddhartha Jain 001; Pascal Van Hentenryck (CP, 2011)

Multitask Learning of Signaling and Regulatory Networks with Application to Studying Human Response to Flu. - Siddhartha Jain 001; Anthony Gitter; Ziv Bar-Joseph (PLoS Comput. Biol., 2014)

Reconstructing the temporal progression of HIV-1 immune response pathways. - Siddhartha Jain 001; Joel Arrais; Narasimhan J. Venkatachari; Velpandi Ayyavoo; Ziv Bar-Joseph (Bioinform., 2016)

What made you do this? Understanding black-box decisions with sufficient input subsets. - Brandon Carter 001; Jonas Mueller 001; Siddhartha Jain 001; David K. Gifford (AISTATS, 2019)

Maximizing Overall Diversity for Improved Uncertainty Estimates in Deep Ensembles. - Siddhartha Jain 001; Ge Liu; Jonas Mueller 001; David Gifford 001 (AAAI, 2020)

Information Condensing Active Learning. - Siddhartha Jain 001; Ge Liu; David K. Gifford (CoRR, 2020)

Overinterpretation reveals image classification model pathologies. - Brandon Carter 001; Siddhartha Jain 001; Jonas Mueller 001; David Gifford 001 (NeurIPS, 2021)

Machine learning optimization of peptides for presentation by class II MHCs. - Zheng Dai; Brooke D. Huisman; Haoyang Zeng; Brandon Carter 001; Siddhartha Jain 001; Michael E. Birnbaum; David K. Gifford (Bioinform., 2021)

Multi-lingual Evaluation of Code Generation Models. - Ben Athiwaratkun; Sanjay Krishna Gouda; Zijian Wang 002; Xiaopeng Li 002; Yuchen Tian; Ming Tan; Wasi Uddin Ahmad; Shiqi Wang 002; Qing Sun; Mingyue Shang; Sujan Kumar Gonugondla; Hantian Ding; et al. (CoRR, 2022)

Multi-lingual Evaluation of Code Generation Models. - Ben Athiwaratkun; Sanjay Krishna Gouda; Zijian Wang 002; Xiaopeng Li 002; Yuchen Tian; Ming Tan; Wasi Uddin Ahmad; Shiqi Wang 002; Qing Sun; Mingyue Shang; Sujan Kumar Gonugondla; Hantian Ding; et al. (ICLR, 2023)

Self-consistency for open-ended generations. - Siddhartha Jain 001; Xiaofei Ma 001; Anoop Deoras; Bing Xiang (CoRR, 2023)

Lightweight reranking for language model generations. - Siddhartha Jain 001; Xiaofei Ma 001; Anoop Deoras; Bing Xiang (ACL (1), 2024)

Reasoning in Token Economies: Budget-Aware Evaluation of LLM Reasoning Strategies. - Junlin Wang; Siddhartha Jain 001; Dejiao Zhang; Baishakhi Ray; Varun Kumar; Ben Athiwaratkun (EMNLP, 2024)

LiveBench: A Challenging, Contamination-Free LLM Benchmark. - Colin White; Samuel Dooley; Manley Roberts; Arka Pal; Benjamin Feuer; Siddhartha Jain 001; Ravid Shwartz-Ziv; Neel Jain; Khalid Saifullah; Siddartha Naidu; Chinmay Hegde; Yann LeCun; et al. (CoRR, 2024)

Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM. - Gabriel Ryan; Siddhartha Jain 001; Mingyue Shang; Shiqi Wang 002; Xiaofei Ma 001; Murali Krishna Ramanathan; Baishakhi Ray (Proc. ACM Softw. Eng., 2024)

LiveBench: A Challenging, Contamination-Limited LLM Benchmark. - Colin White; Samuel Dooley; Manley Roberts; Arka Pal; Benjamin Feuer; Siddhartha Jain 001; Ravid Shwartz-Ziv; Neel Jain; Khalid Saifullah; Sreemanti Dey; Shubh-Agrawal; Sandeep Singh Sandha; et al. (ICLR, 2025)

OpenCodeReasoning: Advancing Data Distillation for Competitive Coding. - Wasi Uddin Ahmad; Sean Narenthiran; Somshubra Majumdar; Aleksander Ficek; Siddhartha Jain 001; Jocelyn Huang; Vahid Noroozi; Boris Ginsburg (CoRR, 2025)

Llama-Nemotron: Efficient Reasoning Models. - Akhiad Bercovich; Itay Levy; Izik Golan; Mohammad Dabbah; Ran El-Yaniv; Omri Puny; Ido Galil; Zach Moshe; Tomer Ronen; Najeeb Nabwani; Ido Shahaf; Oren Tropp; et al. (CoRR, 2025)

OpenCodeReasoning-II: A Simple Test Time Scaling Approach via Self-Critique. - Wasi Uddin Ahmad; Somshubra Majumdar; Aleksander Ficek; Sean Narenthiran; Mehrzad Samadi; Jocelyn Huang; Siddhartha Jain 001; Vahid Noroozi; Boris Ginsburg (CoRR, 2025)