( en | de | ru )

 

Disambiguation of "Singh, Shikhar"

Author of the publication

copydeleteadd this publication to your clipboard
Designing Neural Networks Using Logical Specs.

, , and . ISSRE, page 160-171. IEEE, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Arunoday Singh

Aditi Singh

Raminder Singh

Sikander Singh

Vikramaditya Singh

 

Other publications of authors with the same name

Designing Neural Networks Using Logical Specs., , and . ISSRE, page 160-171. IEEE, (2020)MELINDA: A Multimodal Dataset for Biomedical Experiment Method Classification., , , , and . CoRR, (2020)Parallel Chopped Symbolic Execution., and . ICFEM, volume 12531 of Lecture Notes in Computer Science, page 107-125. Springer, (2020)Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models, , , , , , , , , and 441 other author(s). (2022)cite arxiv:2206.04615Comment: 27 pages, 17 figures + references and appendices, repo: https://github.com/google/BIG-bench.Learning Guided Enumerative Synthesis for Superoptimization., , and . SPIN, volume 11636 of Lecture Notes in Computer Science, page 172-192. Springer, (2019)MELINDA: A Multimodal Dataset for Biomedical Experiment Method Classification., , , , and . AAAI, page 14076-14084. AAAI Press, (2021)A graph neural network-based performance model for deep learning applications., , , and . MAPS@PLDI, page 11-20. ACM, (2022)Using Graph Neural Networks to model the performance of Deep Neural Networks., , , and . CoRR, (2021)Distributed Symbolic Execution using Test-Depth Partitioning., and . CoRR, (2021)VIPHY: Probing "Visible" Physical Commonsense Knowledge., , and . CoRR, (2022)