( 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

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)TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents., , , and . CoRR, (2019)On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks., , and . FMCAD, page 81-84. IEEE, (2016)On the Need for Topology-Aware Generative Models for Manifold-Based Defenses., , and . ICLR, OpenReview.net, (2020)Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance., , , , and . ICAA, page 19-28. IEEE, (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)On Learning Sparse Boolean Formulae for Explaining AI Decisions., , , , and . NFM, volume 10227 of Lecture Notes in Computer Science, page 99-114. (2017)On the Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers., , , and . DAC, page 315:1-315:6. ACM, (2024)Neuro-symbolic Generative AI Assistant for System Design., , and . MEMOCODE, page 75-76. IEEE, (2024)