Skip to content

Anubhav Gupta

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

20

Venues

13

Active years

2000–2025

Best venue rank

A*

Where they publish

Papers

20 indexed papers, newest first.

YearVenueTitleAuthors
2025ICRATREND: Tri-Teaching for Robust Preference-based Reinforcement Learning with Demonstrations.Shuaiyi Huang, Mara Levy, Anubhav Gupta, Daniel Ekpo, Ruijie Zheng, Abhinav Shrivastava
2024ECCVLatent-INR: A Flexible Framework for Implicit Representations of Videos with Discriminative Semantics.Shishira R. Maiya, Anubhav Gupta, Matthew Gwilliam, Max Ehrlich, Abhinav Shrivastava
2024ECCVInvestigating Style Similarity in Diffusion Models.Gowthami Somepalli, Anubhav Gupta, Kamal Gupta, Shramay Palta, Micah Goldblum, Jonas Geiping, Abhinav Shrivastava, Tom Goldstein
2024ECCVLEIA: Latent View-Invariant Embeddings for Implicit 3D Articulation.Archana Swaminathan, Anubhav Gupta, Kamal Gupta, Shishira R. Maiya, Vatsal Agarwal, Abhinav Shrivastava
2024IC3KKnowledge Graphs Can Play Together: Addressing Knowledge Graph Alignment from Ontologies in the Biomedical Domain.Hanna Abi Akl, Dominique Mariko, Yann-Alan Pilatte, Stphane Durfort, Nesrine Yahiaoui, Anubhav Gupta
2022COMSNETSA Wireless Intrusion Detection System for 802.11 WPA3 Networks.Neil Dalal, Nadeem Akhtar, Anubhav Gupta, Nikhil Karamchandani, Gaurav S. Kasbekar, Jatin Parekh
2021ICMLAModeling approaches for Silent Attrition prediction in Payment networks.Lalasa Dheekollu, Hardik Wadhwa, Siddharth Vimal, Anubhav Gupta, Siddhartha Asthana, Ankur Arora, Smriti Gupta
2021ICMLATemporal Debiasing using Adversarial Loss based GNN architecture for Crypto Fraud Detection.Aditya Singh, Anubhav Gupta, Hardik Wadhwa, Siddhartha Asthana, Ankur Arora
2017IJCNLPIJCNLP-2017 Task 3: Review Opinion Diversification (RevOpiD-2017).Anil Kumar Singh, Avijit Thawani, Mayank Panchal, Anubhav Gupta, Julian J. McAuley
2014CoNLLGrammatical Error Detection Using Tagger Disagreement.Anubhav Gupta
2013CoNLLRule-based System for Automatic Grammar Correction Using Syntactic N-grams for English Language Learning (L2).Grigori Sidorov, Anubhav Gupta, Martin Tozer, Dolors Catal, Angels Catena, Sandrine Fuentes
2009ICCADFirst steps towards SAT-based formal analog verification.Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips, Claudio Pinello, Radu Zlatanovici
2007CAVAutomated Assumption Generation for Compositional Verification.Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu
2005CAVAbstraction Refinement for Bounded Model Checking.Anubhav Gupta, Ofer Strichman
2005ICCDReconsidering CEGAR: Learning Good Abstractions without Refinement.Anubhav Gupta, Edmund M. Clarke
2002CAVSAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques.Edmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman
2001DACDynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation.Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar
2001VLSIDAn On-Chip Coupling Capacitance Measurement Technique.Pratheep A. Nair, Anubhav Gupta, Madhav P. Desai
2000CAVCombining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking.Poul Frederick Williams, Armin Biere, Edmund M. Clarke, Anubhav Gupta
2000FMCADSAT-Based Image Computation with Application in Reachability Analysis.Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta