Author of the publication

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.

 

Other publications of authors with the same name

Plug and Play Language Models: A Simple Approach to Controlled Text Generation, , , , , , , and . (2019)cite arxiv:1912.02164Comment: ICLR 2020 camera ready.Consensus, dissensus and synergy between clinicians and specialist foundation models in radiology report generation., , , , , , , , , and 13 other author(s). CoRR, (2023)Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables., , , , , and . SCAV@CPSWeek, page 11-18. ACM, (2017)Counter-example Guided Learning of Bounds on Environment Behavior., , , and . CoRL, volume 100 of Proceedings of Machine Learning Research, page 898-909. PMLR, (2019)Challenges in Detoxifying Language Models., , , , , , , , , and . EMNLP (Findings), page 2447-2469. Association for Computational Linguistics, (2021)Decomposing GR(1) games with singleton liveness guarantees for efficient synthesis., and . CDC, page 911-917. IEEE, (2017)Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications., , , , , , , and . NeurIPS, page 11136-11147. (2021)Learning-Based Abstractions for Nonlinear Constraint Solving., , , and . IJCAI, page 592-599. ijcai.org, (2017)Plug-and-Play Conversational Models., , , , and . EMNLP (Findings), volume EMNLP 2020 of Findings of ACL, page 2422-2433. Association for Computational Linguistics, (2020)Inverse Abstraction of Neural Networks Using Symbolic Interpolation., , and . AAAI, page 3437-3444. AAAI Press, (2019)