( en | de | ru )

 

Disambiguierung von "Inala, Jeevana Priya"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers.

, , und . SAT, Volume 9710 von Lecture Notes in Computer Science, Seite 302-320. Springer, (2016)

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.

NULL Priyakorn Pusawiro

Shekhar Priyadarshi

Swastiko Priyambodo

Priya Garg

Priya Bahri

 

Weitere Publikationen von Autoren mit dem selben Namen

Likelihood-Based Diverse Sampling for Trajectory Forecasting., , , und . ICCV, Seite 13259-13268. IEEE, (2021)Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types., , , und . CoRR, (2015)Program Synthesis Guided Reinforcement Learning for Partially Observed Environments., , , , , und . NeurIPS, Seite 29669-29683. (2021)Diverse Sampling for Normalizing Flow Based Trajectory Forecasting., , , und . CoRR, (2020)Program Synthesis Guided Reinforcement Learning., , , , , und . CoRR, (2021)Neurosymbolic Learning for Robust and Reliable Intelligent Systems.. Massachusetts Institute of Technology, USA, (2022)Learning Math Reasoning from Self-Sampled Correct and Partially-Correct Solutions., , , , , , und . ICLR, OpenReview.net, (2023)Execution-based Evaluation for Data Science Code Generation Models., , , , , , , , und . CoRR, (2022)Synthesis of Recursive ADT Transformations from Reusable Templates., , , , und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 247-263. (2017)Neurosymbolic Transformers for Multi-Agent Communication., , , , , , , und . CoRR, (2021)