( en | de | ru )

 

Disambiguierung von "Naik, Mayur"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning.

, , , , , , und . NeurIPS, Seite 25134-25145. (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Roshan Naik

Mayur Vadhvani

Mayur Sarangdhar

Azad Naik

Anu Naik

 

Weitere Publikationen von Autoren mit dem selben Namen

Effective Program Debloating via Reinforcement Learning., , , und . ACM Conference on Computer and Communications Security, Seite 380-394. ACM, (2018)LASER: Neuro-Symbolic Learning of Semantic Video Representations., , , , und . CoRR, (2023)Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities., , , , , und . CoRR, (2023)Effective interactive resolution of static analysis alarms., , , und . Proc. ACM Program. Lang., 1 (OOPSLA): 57:1-57:30 (2017)PolyDroid: Learning-Driven Specialization of Mobile Applications., , , und . CoRR, (2019)Learning Neurosymbolic Generative Models via Program synthesis., , und . DeepRLStructPred@ICLR, OpenReview.net, (2019)Constraint-Based Synthesis of Datalog Programs., , , und . CP, Volume 10416 von Lecture Notes in Computer Science, Seite 689-706. Springer, (2017)Code2Inv: A Deep Learning Framework for Program Verification., , , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 151-164. Springer, (2020)Hybrid top-down and bottom-up interprocedural analysis., , , und . PLDI, Seite 249-258. ACM, (2014)On abstraction refinement for program analyses in Datalog., , , , und . PLDI, Seite 239-248. ACM, (2014)