Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- Singapore Management University (9025)
- China Simulation Federation (3880)
- TÜBİTAK (3106)
- Wright State University (2694)
- Purdue University (2077)
-
- Old Dominion University (2003)
- Missouri University of Science and Technology (1927)
- University of Nebraska - Lincoln (1739)
- Edith Cowan University (1285)
- Air Force Institute of Technology (1277)
- University of Texas at El Paso (1174)
- Kennesaw State University (1162)
- Dartmouth College (1105)
- San Jose State University (1053)
- City University of New York (CUNY) (956)
- Embry-Riddle Aeronautical University (950)
- Washington University in St. Louis (830)
- Brigham Young University (823)
- Technological University Dublin (816)
- California Polytechnic State University, San Luis Obispo (788)
- Zayed University (677)
- University of Texas at Arlington (666)
- University for Business and Technology in Kosovo (637)
- Portland State University (625)
- Chulalongkorn University (618)
- Nova Southeastern University (577)
- New Jersey Institute of Technology (571)
- Syracuse University (532)
- University of Nebraska at Omaha (497)
- University of Central Florida (490)
- Keyword
-
- Machine learning (1665)
- Artificial intelligence (1024)
- Deep learning (1004)
- Machine Learning (762)
- Computer Science (713)
-
- Security (648)
- Cybersecurity (558)
- Artificial Intelligence (487)
- Deep Learning (437)
- Computer science (412)
- Privacy (410)
- Simulation (391)
- Technical Reports (390)
- UTEP Computer Science Department (389)
- Classification (375)
- Algorithms (357)
- Optimization (353)
- Computer vision (350)
- Neural networks (346)
- Data mining (337)
- AI (305)
- Natural language processing (293)
- Department of Computer Science and Engineering (291)
- Engineering (269)
- Education (268)
- Reinforcement learning (260)
- Cloud computing (255)
- Blockchain (254)
- College for Professional Studies (253)
- Software engineering (252)
- Publication Year
- Publication
-
- Research Collection School Of Computing and Information Systems (8479)
- Journal of System Simulation (3880)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Theses and Dissertations (2733)
- Department of Computer Science Technical Reports (1721)
-
- Computer Science & Engineering Syllabi (1312)
- Computer Science Faculty Publications (930)
- Departmental Technical Reports (CS) (914)
- Computer Science Faculty Research & Creative Works (907)
- Master's Projects (859)
- Computer Science Technical Reports (772)
- The R Journal (708)
- All Computer Science and Engineering Research (683)
- All Works (675)
- Faculty Publications (663)
- C-Day Computing Showcase (653)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (618)
- Dissertations (570)
- Electronic Theses and Dissertations (567)
- Kno.e.sis Publications (542)
- Journal of Digital Forensics, Security and Law (536)
- CCAC Theses and Dissertations (512)
- Walden Dissertations and Doctoral Studies (469)
- Computer Science Faculty Publications and Presentations (404)
- Theses (403)
- USF Tampa Graduate Theses and Dissertations (378)
- Neutrosophic Systems with Applications (375)
- Computer Science and Engineering Theses - Archive (365)
- Browse all Theses and Dissertations (359)
- Computer Science: Faculty Publications (351)
- Publication Type
Articles 3451 - 3480 of 63093
Full-Text Articles in Entire DC Network
Application Of Hyflex In The Application Security Module, Vanessa Ayala-Rivera
Application Of Hyflex In The Application Security Module, Vanessa Ayala-Rivera
Case studies: Digital Education
No abstract provided.
An Evening With Mobile Hyflex, Peter Alexander
An Evening With Mobile Hyflex, Peter Alexander
Case studies: Digital Education
Network Security is a 10-credit module taught on the part-time Bachelor of Science in Computing in Digital Forensics & Cyber Security course in TU Dublin. While the overall course is mainly delivered online, there are some topics in this particular module which benefit from having a hands-on interactive element. The challenge though with facilitating learners to have that interactive experience is that the ones who cannot travel to campus should not be excluded. The mobile Hyflex project helped address this challenge by giving students both on campus and online a comparable interactive experience. Changes made to practice (100-150 words).
Redundant Functions Of Mir156-Targeted Squamosa Promoter Binding Protein-Like Transcription Factors In Promoting Cauline Leaf Identity, Darren Manuela, Liren Du, Qi Zhang, Yifei Liao, Tieqiang Hu, Jim P. Fouracre, Mingli Xu
Redundant Functions Of Mir156-Targeted Squamosa Promoter Binding Protein-Like Transcription Factors In Promoting Cauline Leaf Identity, Darren Manuela, Liren Du, Qi Zhang, Yifei Liao, Tieqiang Hu, Jim P. Fouracre, Mingli Xu
Faculty Publications
No abstract provided.
Exploring Communication In Multi-Agent Cooperative Reinforcement Learning, Matthew Kalarickal
Exploring Communication In Multi-Agent Cooperative Reinforcement Learning, Matthew Kalarickal
Math and Computer Science Honors Theses
This work focuses on communication strategies within a cooperative multi-agent reinforcement learning system. The goal is to explore how communication can be used among agents to potentially improve performance. The research operates within the scope of “learning tasks with communication,” where the primary aim is to solve domain-specific tasks through information exchange using explicit communication protocols. Three distinct communication strategies were implemented and explored: Combinatorial Ghost, Feature Sharing Ghost, and Move Sharing Ghost. Fully Centralized Training and Execution and Centralized Training with Decentralized Execution training approaches were based on the different communication strategy used. Performance metrics were recorded for these …
Chat With The ’For You’ Algorithm: An Llm-Enhanced Chatbot For Controlling Video Recommendation Flow, Shuo Niu, Dikshith Vishnuvardhan, Venkata Sai Reddy Punnam
Chat With The ’For You’ Algorithm: An Llm-Enhanced Chatbot For Controlling Video Recommendation Flow, Shuo Niu, Dikshith Vishnuvardhan, Venkata Sai Reddy Punnam
Computer Science
The rise of short-form video platforms like TikTok, driven by algorithmic recommendations, fosters immersive flow experiences. While users value personalization and engagement, they also seek greater agency over their For You recommendations. This paper designs, prototypes, and evaluates TKGPT, an LLM-enhanced conversational interface that helps users articulate their interests and understand recommendations. Through qualitative interviews and a user study, we examine how the TKGPT influences algorithmic folk theories and the sense of agency. Findings show that users primarily use TKGPT to seek relevant videos, explain preferences, and exert control over the algorithm. The resulting For You videos better reflect user …
Experimental Analysis Of Satellite Operator Training Using Game-Based Virtual Reality Simulation, Lana Laskey
Experimental Analysis Of Satellite Operator Training Using Game-Based Virtual Reality Simulation, Lana Laskey
Doctoral Dissertations and Master's Theses
Satellite data plays a vital role in modern global infrastructure by enabling communications, navigation, and weather forecasting. As demand for satellite technology grows, so does the need for highly trained satellite ground operators. Traditional training regimens for satellite operators employ simulation using two-dimensional computer console displays paired with the varied ability of trainees to generate abstract mental imagery of the scenario. However, this development of mental imagery imposes a considerable learning curve and cognitive workload on the trainee, which may negatively impact the user experience and knowledge gained during the training scenario.
This experimental study investigated the effects of game-based …
Aircraft Bird Strike Risk Prediction Using Machine Learning And Analytic Hierarchy Process, Jason Anthony Powell
Aircraft Bird Strike Risk Prediction Using Machine Learning And Analytic Hierarchy Process, Jason Anthony Powell
Doctoral Dissertations and Master's Theses
To address the limitations of Next Generation Radar-based bird strike forecasting, this study modeled 12 spatiotemporal weather features from the National Oceanic and Atmospheric Administration alongside bird strike risk using Long Short-Term Memory Recurrent Neural Network (LSTM-RNN), XGBoost regression tree, and Bayesian network algorithms. Five years of bird strike data from four geographically diverse airfields served as the target risk variable, categorized as low, moderate, or severe based on Department of the Air Force risk models. The ensemble model, which combines the LSTM-RNN and XGBoost regression algorithms, yielded the most accurate forecasts, achieving 80% to 93% accuracy across all airfields, …
Causal Neuro-Symbolic Artificial Intelligence: Synergy Between Neuro-Symbolic And Causal Artificial Intelligence, Utkarshani Jaimini
Causal Neuro-Symbolic Artificial Intelligence: Synergy Between Neuro-Symbolic And Causal Artificial Intelligence, Utkarshani Jaimini
Theses and Dissertations
Understanding and reasoning about cause and effect is innate to human cognition. In everyday life, humans continuously engage in causal reasoning and hypothetical retrospection to make decisions, plan actions, and interpret events. This cognitive ability allows us to ask questions such as: “What caused this situation?”, “What will happen if I take this action?”, or “What would have happened had I chosen differently?” This intuitive capacity to form mental models of the world, infer causal relationships, and reason about alternative scenarios, particularly counterfactuals, is central to our intelligence and adaptability. In contrast, current machine learning (ML) and artificial intelligence (AI) …
Thematic Hotspots And Strategy Analysis Of International Ai Regulatory Texts Based On Lda Models, Taitian Mao, Yihe Peng
Thematic Hotspots And Strategy Analysis Of International Ai Regulatory Texts Based On Lda Models, Taitian Mao, Yihe Peng
Journal of Scientific Information Research
[Purpose/significance]This article conducts an in-depth exploration of international artificial intelligence (AI) regulatory policies and gains insights into the regulatory focuses and trends of various countries, with the aim of providing valuable references for global AI governance strategies.
[Method/process] This paper applies the LDA topic clustering analysis method to conduct an in-depth study of twenty-seven international policy documents. The aim is to accurately identify the topics, analyze the key theme words, and further reveal the regulatory hotspots in the field of artificial intelligence.
[Results/conclusion] The study reveals six core regulatory themes: systemic risk assessment, ethical and legal regulation, social impact governance, …
Customizing Ai Strategies Across Multiple Generations, Matthew Harrer
Customizing Ai Strategies Across Multiple Generations, Matthew Harrer
Theses
This project investigates how artificial intelligence can help brands and marketers connect more effectively with Generation X, Millennials, and Generation Z. The literature review lays the groundwork that focuses on consumer behaviors and the integration of AI into digital marketing practices for each generation. The second part of the project involves a secondary data analysis of 21 recent marketing surveys and reports that explores topics related to trust, personalization, and social media. By integrating the findings into an insightful guidebook, marketers will be able to maximize these insights into clear actionable strategies.
Analysis Of Vision Transformers And Domain Adaptation In Long-Range Facial Recognition, Zachary Michael Swanson
Analysis Of Vision Transformers And Domain Adaptation In Long-Range Facial Recognition, Zachary Michael Swanson
Department of Electrical and Computer Engineering: Dissertations, Theses, and Student Research
Atmospheric turbulence presents a significant barrier to long-range facial recognition, introducing severe geometric distortions and blur that degrade image quality. This thesis investigates deep learning approaches for mitigating these effects, with a focus on transformer based architectures and domain adaptation strategies.
An in-depth benchmarking study was performed using convolutional neural networks (CNNs) and vision transformers (ViTs) on the Husker BRIAR Research Collection from up to 500m (HBRC-500) face dataset. The results demonstrated that vision transformers, particularly hierarchical vision transformers like the shifted-window (Swin) transformer, outperform CNN-based models at long distances due to their ability to model global spatial relationships and …
Biocomputing Approach To Modeling And Modulating Calcium Signaling, Sehee Sun
Biocomputing Approach To Modeling And Modulating Calcium Signaling, Sehee Sun
School of Computing: Dissertations, Theses, and Student Research
Biocomputing is an emerging field that seeks to perform computational tasks using biological substrates and processes. Unlike conventional computing systems based on silicon hardware, biocomputing leverages the parallelism, energy efficiency, and complex dynamics of living systems. Among various cellular mechanisms, calcium (Ca2+) signaling stands out as a central regulator of diverse biological functions, offering a promising basis for programmable logic and control in living cells.
This thesis introduces a novel framework for modeling and modulating Ca2+ dynamics using biologically inspired Boolean logic circuits. Specifically, we propose the Ca2+ Boolean Logic (CaBL) model, in which Ca2+ fluxes and interactions are abstracted …
Bridging Knowledge Gaps In Digital Forensics Using Unsupervised Explainable Ai, Zainab Khalid, Farkhund Iqbal, Mohd Saqib
Bridging Knowledge Gaps In Digital Forensics Using Unsupervised Explainable Ai, Zainab Khalid, Farkhund Iqbal, Mohd Saqib
All Works
Artificial Intelligence (AI) has found multi-faceted applications in critical sectors including Digital Forensics (DF) which also require eXplainability (XAI) as a non-negotiable for its applicability, such as admissibility of expert evidence in the court of law. The state-of-the-art XAI workflows focus more on utilizing XAI tools for supervised learning. This is in contrast to the fact that unsupervised learning may be practically more relevant in DF and other sectors that largely produce complex and unlabeled data continuously, in considerable volumes. This research study explores the challenges and utility of unsupervised learning-based XAI for DF's complex datasets. A memory forensics-based case …
Towards Efficient Privacy-Preserving Deep Learning: He-Friendly Structures, Flexible Pruning, He-Efficient Architectures, And Secure Transformer Token Drop, Yifei Cai
Electrical & Computer Engineering Theses & Dissertations
Deep learning (DL) has become a powerful tool for solving complex problems, but developing DL models typically requires vast datasets, high computational resources, and expert knowledge—barriers that limit accessibility. Machine Learning as a Service (MLaaS) addresses this challenge by allowing resource-rich providers to deliver pre-trained DL models as services. However, privacy concerns arise: clients hesitate to share sensitive data, while providers protect their proprietary models. To address this, privacy-preserving MLaaS integrates cryptographic techniques into DL computations, as seen in frameworks like Cryptonets, SecureML, GAZELLE, CrypTFlow2, Cheetah, and BOLT. Among them, Homomorphic Encryption (HE) enables computation on encrypted data but remains …
Toward A Simplified Framework For Sequential Character Recognition, Nicholas Howe
Toward A Simplified Framework For Sequential Character Recognition, Nicholas Howe
Computer Science: Faculty Publications
This paper proposes a novel approach to handwritten charac- ter recognition using convolutional non-recurrent deep neural networks. Such a network can run in parallel at every point of a document, offer- ing potential advantages in speed over recurrent approaches. The net- work’s output feeds into a beam search optimization for final decoding. Preliminary quantitative results show that the framework can achieve bootstrap training from labeled word images. It provides an alternative to sequential models that rely on connectionist temporal classification for alignment.
Sepsis: I Can Catch Your Lies – A New Paradigm For Deception Detection, Anku Rani, Dwip Dalal, Shreya Gautam, Pankaj Gupta, Vinija Jain, Aman Chadha, Amitava Das, Amit P. Sheth
Sepsis: I Can Catch Your Lies – A New Paradigm For Deception Detection, Anku Rani, Dwip Dalal, Shreya Gautam, Pankaj Gupta, Vinija Jain, Aman Chadha, Amitava Das, Amit P. Sheth
Publications
Deception is the intentional practice of twisting information. It is a nuanced societal practice deeply intertwined with human societal evolution, characterized by a multitude of facets. This research explores the problem of deception through the lens of psychology, employing a framework that categorizes deception into three forms: lies of omission, lies of commission, and lies of influence. The primary focus of this study is specifically on investigating only lies of omission. We propose a novel framework for deception detection leveraging NLP techniques. We curated an annotated dataset of 876,784 samples by amalgamating a popular large-scale fake news dataset and scraped …
Being And Becoming In The Algorithmic Age, Bernard E. Harcourt
Being And Becoming In The Algorithmic Age, Bernard E. Harcourt
Faculty Scholarship
To change the world: the prerequisite, most often, is to change our experience of the world, to experience the world differently, to be shaken to our foundations, to have one’s sense of self shattered. That is a process of both being and becoming. In order to turn that process in our favour, in this age of artificial intelligence, it will be crucial to transform data and algorithms into bits of justice.
Aiding Depth Perception In Initial Drone Training: Evidence From Camera-Assisted Distance Estimation, John Murray, Steven Richardson, Keith Joiner, Graham Wild
Aiding Depth Perception In Initial Drone Training: Evidence From Camera-Assisted Distance Estimation, John Murray, Steven Richardson, Keith Joiner, Graham Wild
Research outputs 2022 to 2026
Remotely Piloted Aircraft (RPA) pilots frequently experience difficulties with depth perception, particularly when estimating distances between the drone and environmental obstacles. This study evaluates whether the use of onboard camera imagery can improve exocentric distance estimation accuracy among ab initio drone pilots operating under visual line-of-sight (VLOS) conditions. Two groups of undergraduate students performed distance estimation tasks at 20 and 50 m. One group used direct observation only to estimate the exocentric distance between the drone and an obstacle. The second group, as well as direct observation, had access to a live video feed from the drone’s onboard camera via …
Serving Others Using Generative Ai, Kenneth C. Arnold
Serving Others Using Generative Ai, Kenneth C. Arnold
University Faculty Publications and Creative Works
Ken Arnold, computer science professor at Calvin University, explores the idea of use Generative AI as a tool to help us serve others.
Modeling Multiple Tasks In Recommendation Systems, Dinh Hieu Do
Modeling Multiple Tasks In Recommendation Systems, Dinh Hieu Do
Dissertations and Theses Collection (Open Access)
Traditional research in recommendation systems has largely centered on the static offline supervised learning setting. In this paradigm, all available user-item interaction data is collected and partitioned into fixed training, validation, and test sets. Models are developed and evaluated in this controlled environment, where the underlying data distribution is assumed to remain unchanged. This approach offers clear advantages: it simplifies experimentation, enables reproducible benchmarking, and allows for straightforward comparisons between algorithms.
However, this static offline setting does not reflect the realities faced by modern recommendation systems. In real-world applications, data is dynamic and ever-evolving, where new users and items are …
From Sparse Feedback To Sequential Decision-Making: Learning Safety Constraints With Weak Supervision, Siow Meng Low
From Sparse Feedback To Sequential Decision-Making: Learning Safety Constraints With Weak Supervision, Siow Meng Low
Dissertations and Theses Collection (Open Access)
Real-world decision-making often involves safety constraints that are implicit, non-Markovian, or difficult to specify directly. Standard reinforcement learning (RL) approaches typically assume access to fully specified cost functions and constraint budgets—assumptions that limit their applicability in domains where such structure must instead be inferred from data. This dissertation develops a sequence of methods for learning safety-relevant structure from weak supervision, such as sparse binary feedback on trajectory segments, and using these signals to guide planning and policy optimization.
The first part of the dissertation introduces a sample-efficient method for planning in continuous Markov Decision Processes (MDPs) using deep reactive policies. …
Artificial Insights Or Historical Fidelity? Crafting An Ethical Framework For The Use Of Genai In The Restoration, Reconstruction And Recreation Of Movable Cultural Heritage, David Ocón, Chunzhi Yin, Jose Luna
Artificial Insights Or Historical Fidelity? Crafting An Ethical Framework For The Use Of Genai In The Restoration, Reconstruction And Recreation Of Movable Cultural Heritage, David Ocón, Chunzhi Yin, Jose Luna
Research Collection School of Social Sciences
This article explores the ethical considerations surrounding using Generative Artificial Intelligence (GenAI) in preserving movable cultural heritage, focusing specifically on its application in restoration, reconstruction, and recreation. While GenAI offers innovative methods for preserving and recreating cultural heritage, it also presents significant ethical challenges. The article reviews current studies on the role of GenAI in heritage preservation alongside relevant ethical guidelines and proposes a tailored ethical framework for its application in movable heritage. The framework addresses several critical ethical concerns, including cultural integrity and sensitivity, accuracy and authenticity, intellectual property rights, sustainability and social impact, and governance and ethical accountability. …
Mitigating Regression Faults Induced By Feature Evolution In Deep Learning Systems, Hanmo Yu, Zan Wang, Xuyang Chen, Junjie Chen, Jun Sun, Shuang Liu, Zishuo Dong
Mitigating Regression Faults Induced By Feature Evolution In Deep Learning Systems, Hanmo Yu, Zan Wang, Xuyang Chen, Junjie Chen, Jun Sun, Shuang Liu, Zishuo Dong
Research Collection School Of Computing and Information Systems
Deep learning (DL) systems have been widely utilized across various domains. However, the evolution of DL systems can result in regression faults. In addition to the evolution of DL systems through the incorporation of new data, feature evolution, such as the addition of new features, is also common and can introduce regression faults. In this work, we first investigate the underlying factors that are correlated with regression faults in feature evolution scenarios, i.e., redundancy and contribution shift. Based on our investigation, we propose a novel mitigation approach called FeaProtect, which aims to minimize the impact of these two factors. To …
An Exponential Cone Integer Programming And Piece-Wise Linear Approximation Approach For 0-1 Fractional Programming, Hoang Giang Pham, Thuy Anh Ta, Tien Mai
An Exponential Cone Integer Programming And Piece-Wise Linear Approximation Approach For 0-1 Fractional Programming, Hoang Giang Pham, Thuy Anh Ta, Tien Mai
Research Collection School Of Computing and Information Systems
We study a class of binary fractional programs commonly encountered in important application domains such as assortment optimization and facility location. These problems are known to be NP-hard to approximate within any constant factor, and existing solution approaches typically rely on mixed-integer linear programming or second-order cone programming reformulations. These methods often utilize linearization techniques (e.g., big-M or McCormick inequalities), which can result in weak continuous relaxations. In this work, we propose a novel approach based on an exponential cone reformulation combined with piecewise linear approximation. This allows the problem to be solved efficiently using standard cutting-plane or branch-and-cut procedures. …
The B2biers System: A Content-Based Perspective On Maximizing Influence And Subscription In Social Networks, Konstantinos Theocharidis, Hady Wirawan Lauw
The B2biers System: A Content-Based Perspective On Maximizing Influence And Subscription In Social Networks, Konstantinos Theocharidis, Hady Wirawan Lauw
Research Collection School Of Computing and Information Systems
The popular problem of Influence Maximization (IM) asks for the k users who can maximize the influence of a fixed post in a social network. In contrast, the problem of Content- Aware Influence Maximization (CAIM) asks for the k features to form a viral tunable post in a social network starting its diffusion from a fixed set of initial adopters. CAIM paves the way for a number of novel problems to be studied that altogether can lead to the development of a system that would be valuable for advertisers who manage social network pages. This holds since features (brands) in …
Evaluating Chatgpt To Answer Multi-Modal Exercises In Computer Science Education, Eng Lieh Ouh, Kar Way Tan, Siaw Ling Lo, Benjamin Gan
Evaluating Chatgpt To Answer Multi-Modal Exercises In Computer Science Education, Eng Lieh Ouh, Kar Way Tan, Siaw Ling Lo, Benjamin Gan
Research Collection School Of Computing and Information Systems
This study investigates ChatGPT-4o's ability to answer multi-modal assessment exercises in computer science (CS) courses. While the use of large language models (LLMs) to answer text-based exercises are extensively researched, their ability to answer exercises involving artifacts of other modalities remains underexplored. To close this gap, we evaluate ChatGPT-4o's answers to 120 multi-modal CS exercises in programming, software design, human-computer interaction, statistical analysis, process analysis, and simulation. The multi-modal artifacts in these exercises include class diagrams, sequence diagrams, user interface images, analytical charts, workflow diagrams and object-flow diagrams. Our comparisons to the expected answers of these exercises show that ChatGPT-4o …
Prompttutor: Effects Of An Llm-Based Chatbot On Learning Outcomes And Motivation In Flipped Classrooms, Yuhao Zhang, Eng Lieh Ouh, Chong Jee Adam Ho, Siaw Ling Lo, Kar Way Tan, Feng Lin
Prompttutor: Effects Of An Llm-Based Chatbot On Learning Outcomes And Motivation In Flipped Classrooms, Yuhao Zhang, Eng Lieh Ouh, Chong Jee Adam Ho, Siaw Ling Lo, Kar Way Tan, Feng Lin
Research Collection School Of Computing and Information Systems
This study explores the integration of a Large Language Model (LLM) based chatbot, PromptTutor, into flipped classrooms (FC) for undergraduate Computer Science (CS) education. PromptTutor is designed to provide personalized, immediate feedback to support student learning in FC by incorporating reflective learning and scaffolding strategies. The traditional FC typically lacks this immediate feedback during the pre-class learning phase, risking decreased student motivation according to existing literature. This study examines if students improve in learning outcomes and motivation after using PromptTutor. Through a controlled crossover experiment with 50 students, the study demonstrates statistically significant improvements in students' quiz performance and motivation …
Crow: Eliminating Backdoors From Large Language Models Via Internal Consistency Regularization, Nay Myat Min, Long H. Pham, Yige Li, Jun Sun
Crow: Eliminating Backdoors From Large Language Models Via Internal Consistency Regularization, Nay Myat Min, Long H. Pham, Yige Li, Jun Sun
Research Collection School Of Computing and Information Systems
Large Language Models (LLMs) are vulnerable to backdoor attacks that manipulate outputs via hidden triggers. Existing defense methods—designed for vision/text classification tasks—fail for text generation. We propose Internal Consistency Regularization (CROW), a defense leveraging the observation that backdoored models exhibit unstable layer-wise hidden representations when triggered, while clean models show smooth transitions. CROW enforces consistency across layers via adversarial perturbations and regularization during finetuning, neutralizing backdoors without requiring clean reference models or trigger knowledge—only a small clean dataset. Experiments across Llama-2 (7B, 13B), CodeLlama (7B, 13B), and Mistral-7B demonstrate CROW’s effectiveness: it achieves significant reductions in attack success rates across …
Position: Trustworthy Ai Agents Require The Integration Of Large Language Models And Formal Methods, Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong
Position: Trustworthy Ai Agents Require The Integration Of Large Language Models And Formal Methods, Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong
Research Collection School Of Computing and Information Systems
Large Language Models (LLMs) have emerged as a transformative AI paradigm, profoundly influencing broad aspects of daily life. Despite their remarkable performance, LLMs exhibit a fundamental limitation: hallucination—the tendency to produce misleading outputs that appear plausible. This inherent unreliability poses significant risks, particularly in high-stakes domains where trustworthiness is essential. On the other hand, Formal Methods (FMs), which share foundations with symbolic AI, provide mathematically rigorous techniques for modeling, specifying, reasoning, and verifying the correctness of systems. These methods have been widely employed in mission-critical domains such as aerospace, defense, and cybersecurity. However, the broader adoption of FMs remains constrained …
Llmscan: Causal Scan For Llm Misbehavior Detection, Mengdi Zhang, Kai Kiat Goh, Peixin Zhang, Jun Sun, Lin Xin Rose, Hongyu Zhang
Llmscan: Causal Scan For Llm Misbehavior Detection, Mengdi Zhang, Kai Kiat Goh, Peixin Zhang, Jun Sun, Lin Xin Rose, Hongyu Zhang
Research Collection School Of Computing and Information Systems
Despite the success of Large Language Models (LLMs) across various fields, their potential to generate untruthful and harmful responses poses significant risks, particularly in critical applications. This highlights the urgent need for systematic methods to detect and prevent such misbehavior. While existing approaches target specific issues such as harmful responses, this work introduces LLMSCAN, an innovative LLM monitoring technique based on causality analysis, offering a comprehensive solution. LLMSCAN systematically monitors the inner workings of an LLM through the lens of causal inference, operating on the premise that the LLM’s ‘brain’ behaves differently when generating harmful or untruthful responses. By analyzing …