4 papers
Distantly Supervised Transformers For E-Commerce Product QA
Happy Mittal, Aniket Chakrabarti, Belhassen Bayar +2
We propose a practical instant question answering (QA) system on product pages of ecommerce services, where for each user query, relevant community question answer (CQA) pairs are…
Advances in Symmetry Breaking for SAT Modulo Theories
Saket Dingliwal, Ronak Agarwal, Happy Mittal +1
Symmetry breaking is a popular technique to reduce the search space for SAT solving by exploiting the underlying symmetry over variables and clauses in a formula. The key idea is t…
Lifted Marginal MAP Inference
Vishal Sharma, Noman Ahmed Sheikh, Happy Mittal +2
Lifted inference reduces the complexity of inference in relational probabilistic models by identifying groups of constants (or atoms) which behave symmetric to each other. A number…
Domain Aware Markov Logic Networks
Happy Mittal, Ayush Bhardwaj, Vibhav Gogate +1
Combining logic and probability has been a long stand- ing goal of AI research. Markov Logic Networks (MLNs) achieve this by attaching weights to formulas in first-order logic, and…