( en | de | ru )

 

Disambiguation of "Jha, Susmit"

Author of the publication

copydeleteadd this publication to your clipboard
Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving.

, , , , , , and . MILCOM, page 944-949. IEEE, (2023)

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.

Susmit Jha

Deepti Jha

Development of a new cell penetrating peptide: design, synthesis and applications = Entwicklung eines neuen zell-penetrierenden Peptids. Uni Tübingen, (2009)

Vandana Jha

Abhinand Jha

Suman Jha

 

Other publications of authors with the same name

On the Need for Topology-Aware Generative Models for Manifold-Based Defenses., , and . ICLR, OpenReview.net, (2020)On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks., , and . FMCAD, page 81-84. IEEE, (2016)Model-Centered Assurance for Autonomous Systems., , and . SAFECOMP, volume 12234 of Lecture Notes in Computer Science, page 228-243. Springer, (2020)Direct Amortized Likelihood Ratio Estimation., , , , and . CoRR, (2023)Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems - Part 2., , and . ACM Trans. Cyber Phys. Syst., 6 (2): 10:1-10:3 (2022)TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents., , , and . CoRR, (2019)On Learning Sparse Boolean Formulae for Explaining AI Decisions., , , , and . NFM, volume 10227 of Lecture Notes in Computer Science, page 99-114. (2017)Trust, Resilience and Interpretability of AI Models.. NSV@CAV, volume 11652 of Lecture Notes in Computer Science, page 3-25. Springer, (2019)Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance., , , , and . ICAA, page 19-28. IEEE, (2023)On the Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers., , , and . DAC, page 315:1-315:6. ACM, (2024)