vix.ing · top · new · best · stats · spec

Meel, Kuldeep S.

  1. A Scalable Approximate Model Counter
    2013/06/24 by Supratik Chakraborty, Kuldeep S. Meel, Chakraborty, Supratik +3 · 7 citations
    Computer Science · Mathematics · #Bayesian Modeling and Causal Inference #Markov Chains and Monte Carlo Methods #Machine Learning and Algorithms
  2. Quantitative Verification of Neural Networks And its Security\n Applications
    2019/06/25 by Teodora Baluta, Baluta, Teodora, Shiqi Shen +7 · 4 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI)
  3. Embedding Symbolic Knowledge into Deep Networks
    2019/09/03 by Xie, Yaqi, Xu, Ziwei, Kankanhalli, Mohan S. +2 · 3 citations
    #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Multimedia (cs.MM)
  4. Engineering an Efficient Boolean Functional Synthesis Engine
    2021/08/12 by Golia, Priyanka, Slivovsky, Friedrich, Roy, Subhajit +1 · 3 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
  5. Algorithmic Fairness Verification with Graphical Models
    2021/09/20 by Ghosh, Bishwamittra, Basu, Debabrota, Meel, Kuldeep S. · 3 citations
    #Applications (stat.AP) #Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  6. Approximate Probabilistic Inference via Word-Level Counting
    2015/11/24 by Chakraborty, Supratik, Meel, Kuldeep S., Mistry, Rakesh +1 · 2 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  7. Scalable Quantitative Verification For Deep Neural Networks
    2020/02/17 by Teodora Baluta, Baluta, Teodora, Zheng Leong Chua +5 · 2 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
  8. Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning
    2020/02/13 by Arnab Bhattacharyya, Sutanu Gayen, Bhattacharyya, Arnab +5 · 2 citations
    Computer Science · Mathematics · #Bayesian Modeling and Causal Inference #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Algorithms #Statistical Methods and Inference
  9. Manthan: A Data Driven Approach for Boolean Function Synthesis
    2020/05/14 by Golia, Priyanka, Roy, Subhajit, Meel, Kuldeep S. · 2 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
  10. Predicting Forest Fire Using Remote Sensing Data And Machine Learning
    2021/01/06 by Yang, Suwei, Lupascu, Massimo, Meel, Kuldeep S. · 2 citations
    #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  11. Justicia: A Stochastic SAT Approach to Formally Verify Fairness
    2020/09/14 by Ghosh, Bishwamittra, Basu, Debabrota, Meel, Kuldeep S. · 2 citations
    #Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
  12. A Scalable and Nearly Uniform Generator of SAT Witnesses
    2013/04/04 by Chakraborty, Supratik, Meel, Kuldeep S., Vardi, Moshe Y. · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  13. On Hashing-Based Approaches to Approximate DNF-Counting
    2017/10/14 by Meel, Kuldeep S., Shrotri, Aditya A., Vardi, Moshe Y. · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  14. Total Variation Distance Meets Probabilistic Inference
    2023/09/17 by Arnab Bhattacharyya, Sutanu Gayen, Bhattacharyya, Arnab +9 · 2 citations
    Computer Science · Mathematics · #Bayesian Methods and Mixture Models #Bayesian Modeling and Causal Inference #Computational Complexity (cs.CC) #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Statistical Methods and Inference
  15. Locally-Minimal Probabilistic Explanations
    2023/12/19 by Izza, Yacine, Meel, Kuldeep S., Marques-Silva, Joao · 3 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  16. Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice
    2020/04/30 by Meel, Kuldeep S., Akshay, S. · 1 citation
    #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
  17. Model Counting meets F0 Estimation
    2021/05/03 by Pavan, A., Vinodchandran, N. V., Bhattacharyya, Arnab +1 · 1 citation
    #Data Structures and Algorithms (cs.DS) #Databases (cs.DB) #FOS: Computer and information sciences
  18. #CFG and #DNNF admit FPRAS
    2024/06/26 by Meel, Kuldeep S., de Colnet, Alexis · 2 citations
    #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences
  19. Program Synthesis as Dependency Quantified Formula Modulo Theory
    2021/05/19 by Golia, Priyanka, Roy, Subhajit, Meel, Kuldeep S. · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  20. A Scalable Shannon Entropy Estimator
    2022/06/02 by Priyanka Golia, Golia, Priyanka, Brendan Juba +3 · 1 citation
    Computer Science · #Advanced Malware Detection Techniques #Computational Complexity (cs.CC) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information Theory (cs.IT) #Internet Traffic Analysis and Secure E-voting #Network Security and Intrusion Detection
  21. A faster FPRAS for #NFA
    2023/12/20 by Meel, Kuldeep S., Chakraborty, Sourav, Mathur, Umang · 2 citations
    #Computational Complexity (cs.CC) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
  22. Support Size Estimation: The Power of Conditioning
    2022/11/22 by Chakraborty, Diptarka, Kumar, Gunjan, Meel, Kuldeep S. · 1 citation
    #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences
  23. Rounding Meets Approximate Model Counting
    2023/05/16 by Jiong Yang, Kuldeep S. Meel, Yang, Jiong +1 · 1 citation
    Computer Science · #Algorithms and Data Compression #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Machine Learning and Algorithms
  24. On Scalable Testing of Samplers
    2023/06/24 by Yash Pote, Kuldeep S. Meel, Pote, Yash +1 · 1 citation
    Computer Science · #Adversarial Robustness in Machine Learning #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning and Algorithms #Probability (math.PR) #Software Testing and Debugging Techniques
  25. An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs
    2024/06/24 by Meel, Kuldeep S., de Colnet, Alexis · 2 citations
    #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences
  26. Testing Probabilistic Circuits
    2021/12/09 by Pote, Yash, Meel, Kuldeep S. · 1 citation
    #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences
  27. Distance Estimation for High-Dimensional Discrete Distributions
    2023/08/08 by Kumar, Gunjan, Meel, Kuldeep S., Pote, Yash · 1 citation
    #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #FOS: Mathematics #Probability (math.PR)
  28. Approximating Queries on Probabilistic Graphs
    2023/09/23 by Antoine Amarilli, Timothy van Bremen, Amarilli, Antoine +3 · 1 citation
    Computer Science · #Data Management and Algorithms #Advanced Database Systems and Queries #Bayesian Modeling and Causal Inference
  29. Model Counting in the Wild
    2024/08/13 by Shaw, Arijit, Meel, Kuldeep S. · 2 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  30. Fast Converging Anytime Model Counting
    2022/12/19 by Lai Yong, Lai, Yong, Kuldeep S. Meel +3 · 1 citation
    Computer Science · #Bayesian Modeling and Causal Inference #Data Stream Mining Techniques #Machine Learning and Algorithms
  31. On Testing of Samplers
    2020/10/19 by Kuldeep S. Meel, Meel, Kuldeep S., Yash Pote +3 · 1 citation
    Computer Science · #Adversarial Robustness in Machine Learning #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Machine Learning and Algorithms #Machine Learning and Data Classification
  32. Computational Explorations of Total Variation Distance
    2024/12/13 by Arnab Bhattacharyya, Bhattacharyya, Arnab, Sutanu Gayen +9 · 1 citation
    Computer Science · Engineering · #Time Series Analysis and Forecasting #Fault Detection and Control Systems
  33. Towards Projected and Incremental Pseudo-Boolean Model Counting
    2024/12/19 by Suwei Yang, Yang, Suwei, Kuldeep S. Meel +1 · 1 citation
    Computer Science · #Bayesian Modeling and Causal Inference #Data Management and Algorithms #Advanced Database Systems and Queries