TeleLoRA: Teleporting Model-Specific Alignment Across LLMs

Authors: Lin, Xiao, Acharya, Manoj, Roy, Anirban, Jha, Susmit

Subject Terms: Computer Science - Machine Learning, Computer Science - Computation and Language

Access URL: http://arxiv.org/abs/2503.20228

Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study)

Authors: Hu, Boyue Caroline, Gopinath, Divya, Pasareanu, Corina S., Narodytska, Nina, Mangal, Ravi, Jha, Susmit

Subject Terms: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2503.17416

Post-hoc Uncertainty Quantification for Neurosymbolic Artificial Intelligence

Authors: Berenbeim, Alexander, Kaur, Ramneet, Cobb, Adam D., Roy, Anirban, Jha, Susmit, Bastian, Nathaniel D.

Source: MILCOM 2024 - 2024 IEEE Military Communications Conference (MILCOM) Military Communications Conference (MILCOM), MILCOM 2024 - 2024 IEEE. :1-6 Oct, 2024

Relation: MILCOM 2024 - 2024 IEEE Military Communications Conference (MILCOM)

Co-Synthesis of Code and Formal Models Using Large Language Models and Functors

Authors: Jha, Sumit Kumar, Jha, Susmit, Ewetz, Rickard, Velasquez, Alvaro

Source: MILCOM 2024 - 2024 IEEE Military Communications Conference (MILCOM) Military Communications Conference (MILCOM), MILCOM 2024 - 2024 IEEE. :215-220 Oct, 2024

Relation: MILCOM 2024 - 2024 IEEE Military Communications Conference (MILCOM)

Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue

Authors: Zhang, Yunuo, Luo, Baiting, Mukhopadhyay, Ayan, Stojcsics, Daniel, Elenius, Daniel, Roy, Anirban, Jha, Susmit, Maroti, Miklos, Koutsoukos, Xenofon, Karsai, Gabor, Dubey, Abhishek

Source: 2024 International Conference on Assured Autonomy (ICAA) ICAA Assured Autonomy (ICAA), 2024 International Conference on. :48-57 Oct, 2024

Relation: 2024 International Conference on Assured Autonomy (ICAA)

Solving Mystery Planning Problems Using Category Theory, Functors, and Large Language Models

Authors: Jha, Sumit Kumar, Jha, Susmit, Ewetz, Rickard, Velasquez, Alvaro

Source: 2024 International Conference on Assured Autonomy (ICAA) ICAA Assured Autonomy (ICAA), 2024 International Conference on. :118-121 Oct, 2024

Relation: 2024 International Conference on Assured Autonomy (ICAA)

Automated Synthesis of Hardware Designs using Symbolic Feedback and Grammar-Constrained Decoding in Large Language Models

Authors: Kumar Jha, Sumit, Jha, Susmit, Haq Rashed, Muhammad Rashedul, Ewetz, Rickard, Velasquez, Alvaro

Source: NAECON 2024 - IEEE National Aerospace and Electronics Conference NAECON 2024 - IEEE National, Aerospace and Electronics Conference. :95-100 Jul, 2024

Relation: NAECON 2024 - IEEE National Aerospace and Electronics Conference

Addressing Uncertainty in LLMs to Enhance Reliability in Generative AI

Authors: Kaur, Ramneet, Samplawski, Colin, Cobb, Adam D., Roy, Anirban, Matejek, Brian, Acharya, Manoj, Elenius, Daniel, Berenbeim, Alexander M., Pavlik, John A., Bastian, Nathaniel D., Jha, Susmit

Subject Terms: Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2411.02381

Second-Order Forward-Mode Automatic Differentiation for Optimization

Authors: Cobb, Adam D., Baydin, Atılım Güneş, Pearlmutter, Barak A., Jha, Susmit

Subject Terms: Computer Science - Machine Learning, Statistics - Machine Learning

Access URL: http://arxiv.org/abs/2408.10419

Neuro-symbolic Generative AI Assistant for System Design

Authors: Jha, Susmit, Jha, Sumit Kumar, Velasquez, Alvaro

Source: 2024 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE) MEMOCODE Formal Methods and Models for System Design (MEMOCODE), 2024 22nd ACM-IEEE International Symposium on. :75-76 Oct, 2024

Relation: 2024 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)

TIJO: Trigger Inversion with Joint Optimization for Defending Multimodal Backdoored Models

Authors: Sur, Indranil, Sikka, Karan, Walmer, Matthew, Koneripalli, Kaushik, Roy, Anirban, Lin, Xiao, Divakaran, Ajay, Jha, Susmit

Source: 2023 IEEE/CVF International Conference on Computer Vision (ICCV) ICCV Computer Vision (ICCV), 2023 IEEE/CVF International Conference on. :165-175 Oct, 2023

Relation: 2023 IEEE/CVF International Conference on Computer Vision (ICCV)

Principled OOD Detection via Multiple Testing

Authors: Magesh, Akshayaa, Veeravalli, Venugopal V., Roy, Anirban, Jha, Susmit

Source: 2023 IEEE International Symposium on Information Theory (ISIT) Information Theory (ISIT), 2023 IEEE International Symposium on. :1026-1031 Jun, 2023

Relation: 2023 IEEE International Symposium on Information Theory (ISIT)

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting

Authors: Jha, Susmit, Jha, Sumit Kumar, Lincoln, Patrick, Bastian, Nathaniel D., Velasquez, Alvaro, Neema, Sandeep

Source: 2023 IEEE International Conference on Assured Autonomy (ICAA) ICAA Assured Autonomy (ICAA), 2023 IEEE International Conference on. :149-152 Jun, 2023

Relation: 2023 IEEE International Conference on Assured Autonomy (ICAA)

Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance

Authors: Kaur, Ramneet, Jha, Susmit, Roy, Anirban, Sokolsky, Oleg, Lee, Insup

Source: 2023 IEEE International Conference on Assured Autonomy (ICAA) ICAA Assured Autonomy (ICAA), 2023 IEEE International Conference on. :19-28 Jun, 2023

Relation: 2023 IEEE International Conference on Assured Autonomy (ICAA)

Detecting Trojaned DNNs Using Counterfactual Attributions

Authors: Sikka, Karan, Sur, Indranil, Roy, Anirban, Divakaran, Ajay, Jha, Susmit

Source: 2023 IEEE International Conference on Assured Autonomy (ICAA) ICAA Assured Autonomy (ICAA), 2023 IEEE International Conference on. :76-85 Jun, 2023

Relation: 2023 IEEE International Conference on Assured Autonomy (ICAA)

Concept-based Analysis of Neural Networks via Vision-Language Models

Authors: Mangal, Ravi, Narodytska, Nina, Gopinath, Divya, Hu, Boyue Caroline, Roy, Anirban, Jha, Susmit, Pasareanu, Corina

Subject Terms: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Computer Vision and Pattern Recognition, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2403.19837

Task-Agnostic Detector for Insertion-Based Backdoor Attacks

Authors: Lyu, Weimin, Lin, Xiao, Zheng, Songzhu, Pang, Lu, Ling, Haibin, Jha, Susmit, Chen, Chao

Subject Terms: Computer Science - Computation and Language, Computer Science - Cryptography and Security

Access URL: http://arxiv.org/abs/2403.17155

Non-Markovian Quantum Control via Model Maximum Likelihood Estimation and Reinforcement Learning

Authors: Neema, Tanmay, Jha, Susmit, Sahai, Tuhin

Subject Terms: Quantum Physics

Access URL: http://arxiv.org/abs/2402.05084

Calibration and Correctness of Language Models for Code

Authors: Spiess, Claudio, Gros, David, Pai, Kunal Suresh, Pradel, Michael, Rabin, Md Rafiqul Islam, Alipour, Amin, Jha, Susmit, Devanbu, Prem, Ahmed, Toufique

Subject Terms: Computer Science - Software Engineering, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2402.02047

Context-aware Collaborative Neuro-Symbolic Inference in IoBTs

Authors: Abdelzaher, Tarek, Bastian, Nathaniel D., Jha, Susmit, Kaplan, Lance, Srivastava, Mani, Veeravalli, Venugopal V.

Source: MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM) Military Communications Conference (MILCOM), MILCOM 2022 - 2022 IEEE. :1053-1058 Nov, 2022

Relation: MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM)