Zobrazeno 1 - 10
of 165
pro vyhledávání: '"Sood, Gaurav"'
Autor:
Dhingra, Atul, Sood, Gaurav
How do you scale a machine learning product at a startup? In particular, how do you serve a greater volume, velocity, and variety of queries cost-effectively? We break down costs into variable costs-the cost of serving the model and performant-and fi
Externí odkaz:
http://arxiv.org/abs/2304.10660
Autor:
Dhingra, Atul, Sood, Gaurav
India has twenty-two official languages. Serving such a diverse language base is a challenge for survey statisticians, call center operators, software developers, and other such service providers. To help provide better services to different language
Externí odkaz:
http://arxiv.org/abs/2303.06823
Autor:
Mahajan, Meena, Sood, Gaurav
The Merge Resolution proof system (M-Res) for QBFs, proposed by Beyersdorff et al. in 2019, explicitly builds partial strategies inside refutations. The original motivation for this approach was to overcome the limitations encountered in long-distanc
Externí odkaz:
http://arxiv.org/abs/2205.13428
Autor:
Bhat, Muzzaffar A., Alabada, Rusul, Ajaj, Yathrib, Kaur, Mandeep, Kaur, Harpreet, Abduldayeva, Aigul, Sinha, Aashna, Saraswat, Vivek, Sood, Gaurav, Almarhoon, Zainab M., Butcher, Raymond J.
Publikováno v:
In Journal of Molecular Structure 5 August 2024 1309
We prove the first genuine QBF proof size lower bounds for the proof system Merge Resolution (MRes [Olaf Beyersdorff et al., 2020]), a refutational proof system for prenex quantified Boolean formulas (QBF) with a CNF matrix. Unlike most QBF resolutio
Externí odkaz:
http://arxiv.org/abs/2012.06779
Publikováno v:
ACM Trans. Comput. Logic 24, 1, Article 8 (January 2023)
We study the MaxRes rule in the context of certifying unsatisfiability. We show that it can be exponentially more powerful than tree-like resolution, and when augmented with weakening (the system MaxResW), p-simulates tree-like resolution. In devisin
Externí odkaz:
http://arxiv.org/abs/2005.11589
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Gupta, Anish, Chaudhary, Abhideep, Sood, Gaurav, Kumar, Niteen, Jamir, Imtiakum, Shriya, Aditya, Singh, Vipin Pal, Subramaniyam, Rekha, Soni, Hitesh, Mandwar, Milind
Publikováno v:
In iLIVER September 2023 2(3):151-155
Autor:
Ahler, Douglas J.1 (AUTHOR) dahler@fsu.edu, Sood, Gaurav2 (AUTHOR)
Publikováno v:
Political Behavior. Dec2023, Vol. 45 Issue 4, p1581-1607. 27p.