Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Singapore Management University

Discipline
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 871 - 900 of 13123

Full-Text Articles in Entire DC Network

Query Understanding In Llm-Based Conversational Information Seeking, Yifei Yuan, Zahra Abbasiantaeb, Mohammad Aliannejadi, Yang Deng Jul 2025

Query Understanding In Llm-Based Conversational Information Seeking, Yifei Yuan, Zahra Abbasiantaeb, Mohammad Aliannejadi, Yang Deng

Research Collection School Of Computing and Information Systems

Query understanding in CIS involves accurately interpreting user intent through context-aware interactions. This includes resolving ambiguities, refining queries, and adapting to evolving information needs. LLM enhance this process by interpreting nuanced language and adapting dynamically, improving the relevance and precision of search results in real-time. In this tutorial, we explore advanced techniques to enhance query understanding in LLM-based CIS systems. We delve into LLM-driven methods for developing robust evaluation metrics to assess query understanding quality in multi-turn interactions, strategies for building more interactive systems, and applications like proactive query management and query reformulation. We also discuss key challenges in integrating …


The Aggregate Welfare And Trade Implications Of Contracting Frictions In Global Sourcing, Davin Chor, Lin Ma Jul 2025

The Aggregate Welfare And Trade Implications Of Contracting Frictions In Global Sourcing, Davin Chor, Lin Ma

Research Collection School Of Economics

How much do contracting frictions between global firms and their suppliers impact country welfare and trade? We answer this by developing a model of global sourcing under partial contractibility, where firm-supplier relationships are exposed to a bilateral holdup problem. Sourcing decisions aggregate into a gravity equation for trade flows by organizational mode (intrafirm vs. arm’s length), which we take to structural estimation. We can then evaluate welfare changes with an extended Arkolakis, Costinot and Rodriguez-Clare (2012) formula that incorporates these contracting frictions. Our counterfactual analysis reveals a sizeable average country welfare gain of 9.2% from eliminating contracting frictions in global …


High Frequency Factor Analysis With Partially Observable Factors, Dachuan Chen, Wenqi Lu, Siyu Xie Jul 2025

High Frequency Factor Analysis With Partially Observable Factors, Dachuan Chen, Wenqi Lu, Siyu Xie

Research Collection School Of Economics

This paper considers a novel factor structure – Partially Observable Factor Model – where both observable factors and latent factors exist in the model simultaneously. Such factor structure can make sure both interpretability and goodness-of-fit at the same time. Necessary estimation methodologies for this partially observable factor model are developed in this paper for the high frequency data. The proposed estimation methodology is robust to jumps, microstructure noise and asynchronous observation times simultaneously.When the observable factors are exogenous, we provide the estimation theory for the integrated eigenvalues of the residual covariance matrix, which including the bias-corrected estimator, central limit theorem …


Operationalising The Social Licence To Operate Along The Belt And Road: The Case For A Mediation-Focused Approach, Mark Mclaughlin Jul 2025

Operationalising The Social Licence To Operate Along The Belt And Road: The Case For A Mediation-Focused Approach, Mark Mclaughlin

Research Collection Yong Pung How School Of Law

This article examines the intricate dynamics of community representation and stakeholder influence in the realm of international investment law. More specifically, it considers the most effective method by which to operationalise the concept of the ‘social licence to operate’ when attempting to resolve investor-state disputes. By utilising disputes relating to China’s Belt and Road Initiative as a case study, it is shown that the social impact of foreign investment projects is often a catalyst for arbitration claims. Community interests are insufficiently represented at the stage of procurement or admission of investment, which has led to violent clashes between investors and …


Wild Hogs In The Water: Contested Infrastructural Ecologies Of Reservoir Storage In Texas, Sayd Randle Jul 2025

Wild Hogs In The Water: Contested Infrastructural Ecologies Of Reservoir Storage In Texas, Sayd Randle

Research Collection College of Integrative Studies

Reservoirs are developed to store water in reserve for future use. But once built, reservoir sites inevitably hold more than just water, often serving as a key habitat for a range of species. This paper examines how one such animal has transformed water storage facilities and nearby landscapes into contested ground in urbanising areas of Texas, USA. Living around the reservoirs, feral hogs complicate the process of urbanisation by degrading the stockpiled water and infrastructure at the storage sites themselves and by damaging private property throughout the surrounding landscape. Tracking local efforts to manage the hogs, the case study illustrates …


Political Ecologies Of Storage For The 21st Century, Sayd Randle, Matthew Archer Jul 2025

Political Ecologies Of Storage For The 21st Century, Sayd Randle, Matthew Archer

Research Collection College of Integrative Studies

New resource storage arrangements are proliferating rapidly both in terms of physical infrastructures-for the storage of things like "clean" energy, nuclear waste, carbon dioxide, fresh water, and data-and as part of a set of discursive moves that reinforce a vision of a near future world in which problems of climate change mitigation and adaptation in particular (but also issues like energy security, water security, industry growth, etc.) are solved through eco-modernist techno-fixes. This Symposium sketches the contours of a framework we term political ecologies of storage. In doing so, we treat storage as both a potent imaginary and a concrete …


Sensor Lag Adjustments On A Mobile Meteorological Cart In Tropical Environments: A Case Study From An Urban Park In Singapore, Moshe Eliezer Mandelmilch, Sin Kang Yik, Beatrice H. Ho, Graces N. Y. Ching, Peter J. Crank, Winston T. L. Chow Jul 2025

Sensor Lag Adjustments On A Mobile Meteorological Cart In Tropical Environments: A Case Study From An Urban Park In Singapore, Moshe Eliezer Mandelmilch, Sin Kang Yik, Beatrice H. Ho, Graces N. Y. Ching, Peter J. Crank, Winston T. L. Chow

Research Collection College of Integrative Studies

This study adds to the growing literature on mobile platforms by examining the performance of the Singapore MaRTy (SMaRTy) in conducting mobile micrometeorological measurements along a designated route in an urban park in Singapore, reflecting a pedestrian walking experience. The main objective of the study was to calculate the sensor lag for the mobile climate measurements: Air Temperature (TA), and Relative Humidity (RH) of SMaRTy along a designated route in an urban park in Singapore based on data from fixed stations (HOBO sensors) in two significant synoptic meteorological periods during the Northeast and Southwest monsoons. Statistically significant regression models were …


A New City For A New Era: Xiong'an As Showcase Of China's Evolving Urban Ideology, Andrew Stokols Jul 2025

A New City For A New Era: Xiong'an As Showcase Of China's Evolving Urban Ideology, Andrew Stokols

Research Collection College of Integrative Studies

Cities have long been expressions of political ideology in China and elsewhere. During China’s rapid urbanization over the past few decades, “new areas” became popular strategies to promote urban growth, following the success of Shenzhen, widely regarded as China’s first special economic zone. Today under Xi, Xiong’an New Area has become the latest “new area of national significance.” But unlike previous new areas in China, Xiong’an has become wedded to a distinct vision of the urban in Xi Jinping’s China, one in which the excesses of reform-era urbanization are controlled through new forms of affordable housing and finance, new ecological …


An Exponential Cone Integer Programming And Piece-Wise Linear Approximation Approach For 0-1 Fractional Programming, Hoang Giang Pham, Thuy Anh Ta, Tien Mai Jul 2025

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. …


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 Jul 2025

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 Jul 2025

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 …


Sigfinger: A Subtle And Interactive Gnn Fingerprinting Scheme Via Spatial Structure Inference Perturbation, Ju Jia, Renjie Li, Cong Wu, Siqi Ma, Lina Wang, Robert H. Deng Jul 2025

Sigfinger: A Subtle And Interactive Gnn Fingerprinting Scheme Via Spatial Structure Inference Perturbation, Ju Jia, Renjie Li, Cong Wu, Siqi Ma, Lina Wang, Robert H. Deng

Research Collection School Of Computing and Information Systems

There have been significant improvements in intellectual property (IP) protection for deep learning models trained on euclidean data. However, the complex and irregular graph-structured data in non-euclidean space poses a huge challenge to the IP protection of graph neural networks (GNNs). To address this issue, we propose a subtle and interactive GNN fingerprinting scheme through spatial structure inference perturbation, which captures the stable coordination patterns of fingerprint to guarantee the reliability of copyright verification. Specifically, the data augmentation based on adaptive graph diffusion is first exploited to generate more samples, which enables the exploration of fingerprint information from coarse to …


Llm-Based Multi-Agent Systems For Software Engineering: Literature Review, Vision And The Road Ahead, Junda He, Christoph Treude, David Lo Jul 2025

Llm-Based Multi-Agent Systems For Software Engineering: Literature Review, Vision And The Road Ahead, Junda He, Christoph Treude, David Lo

Research Collection School Of Computing and Information Systems

Integrating Large Language Models (LLMs) into autonomous agents marks a significant shift in the research landscape by offering cognitive abilities that are competitive with human planning and reasoning. This paper explores the transformative potential of integrating Large Language Models into Multi-Agent (LMA) systems for addressing complex challenges in software engineering (SE). By leveraging the collaborative and specialized abilities of multiple agents, LMA systems enable autonomous problem-solving, improve robustness, and provide scalable solutions for managing the complexity of real-world software projects. In this paper, we conduct a systematic review of recent primary studies to map the current landscape of LMA applications …


Diversity Optimization For Travelling Salesman Problem Via Deep Reinforcement Learning, Qi Li, Zhiguang Cao, Yining Ma, Yaoxin Wu, Yue-Jiao Gong Jul 2025

Diversity Optimization For Travelling Salesman Problem Via Deep Reinforcement Learning, Qi Li, Zhiguang Cao, Yining Ma, Yaoxin Wu, Yue-Jiao Gong

Research Collection School Of Computing and Information Systems

Existing neural methods for the Travelling Salesman Problem (TSP) mostly aim at finding a single optimal solution. To discover diverse yet high-quality solutions for Multi-Solution TSP (MSTSP), we propose a novel deep reinforcement learning based neural solver, which is primarily featured by an encoder-decoder structured policy. Concretely, on the one hand, a Relativization Filter (RF) is designed to enhance the robustness of the encoder to affine transformations of the instances, so as to potentially improve the quality of the found solutions. On the other hand, a Multi-Attentive Adaptive Active Search (MA3S) is tailored to allow the decoders to strike a …


Surrogate Learning In Meta-Black-Box Optimization: A Preliminary Study, Zeyuan Ma, Zhiyang Huang, Jiacheng Chen, Zhiguang Cao, Yue-Jiao Gong Jul 2025

Surrogate Learning In Meta-Black-Box Optimization: A Preliminary Study, Zeyuan Ma, Zhiyang Huang, Jiacheng Chen, Zhiguang Cao, Yue-Jiao Gong

Research Collection School Of Computing and Information Systems

Recent Meta-Black-Box Optimization (MetaBBO) approaches have shown possibility of enhancing the optimization performance through learning meta-level policies to dynamically configure low-level optimizers. However, existing MetaBBO approaches potentially consume massive function evaluations to train their meta-level policies. Inspired by the recent trend of using surrogate models for cost-friendly evaluation of expensive optimization problems, in this paper, we propose a novel MetaBBO framework which combines surrogate learning process and reinforcement learning-aided Differential Evolution algorithm, namely Surr-RLDE, to address the intensive function evaluation in MetaBBO. Surr-RLDE comprises two learning stages: surrogate learning and policy learning. In surrogate learning, we train a Kolmogorov-Arnold Networks …


Fashiondpo: Fine‑Tune Fashion Outfit Generation Model Using Direct Preference Optimization, Mingzhe Yu, Yunshan Ma, Lei Wu, Changshuo Wang, Xue Li, Lei Meng Jul 2025

Fashiondpo: Fine‑Tune Fashion Outfit Generation Model Using Direct Preference Optimization, Mingzhe Yu, Yunshan Ma, Lei Wu, Changshuo Wang, Xue Li, Lei Meng

Research Collection School Of Computing and Information Systems

Personalized outfit generation aims to construct a set of compatible and personalized fashion items as an outfit. Recently, generative AI models have received widespread attention, as they can generate fashion items for users to complete an incomplete outfit or create a complete outfit. However, they have limitations in terms of lacking diversity and relying on the supervised learning paradigm. Recognizing this gap, we propose a novel framework FashionDPO, which fine-tunes the fashion outfit generation model using direct preference optimization. This framework aims to provide a general fine-tuning approach to fashion generative models, refining a pre-trained fashion outfit generation model using …


Enhancing Project-Specific Code Completion By Inferring Internal Api Information, Le Deng, Xiaoxia Ren, Chao Ni, Ming Liang, David Lo, Zhongxin Liu Jul 2025

Enhancing Project-Specific Code Completion By Inferring Internal Api Information, Le Deng, Xiaoxia Ren, Chao Ni, Ming Liang, David Lo, Zhongxin Liu

Research Collection School Of Computing and Information Systems

Project-specific code completion, which aims to complete code based on the context of the project, is an important and practical software engineering task. The state-of-the-art approaches employ the retrieval-augmented generation (RAG) paradigm and prompt large language models (LLMs) with information retrieved from the target project for project-specific code completion. In practice, developers always define and use custom functionalities, namely internal APIs, to facilitate the implementation of specific project requirements. Thus, it is essential to consider internal API information for accurate project-specific code completion. However, existing approaches either retrieve similar code snippets, which do not necessarily contain related internal API information, …


Learning To Solving Vehicle Routing Problems Via Local-Global Feature Fusion Transformer, Wei Li, Bing Tian Dai, Xueming Yan, Junying Zou, Zhijie Liang, Jingwen Li Jul 2025

Learning To Solving Vehicle Routing Problems Via Local-Global Feature Fusion Transformer, Wei Li, Bing Tian Dai, Xueming Yan, Junying Zou, Zhijie Liang, Jingwen Li

Research Collection School Of Computing and Information Systems

Applying Combinatorial optimization problems such as the Vehicle Routing Problems (VRPs) have attracted increasing interest with the emergence of learning-based methods. However, existing neural approaches often struggle to generalize across diverse problem sizes and node distributions, limiting their applicability in real-world scenarios. To overcome these challenges, we propose Local-Global Feature Fusion Transformer (FusionFormer), a novel deep reinforcement learning framework that enhances both solution quality and generalization capability for solving VRPs. Specifically, we introduce a Distance-Assisted Multi-Head Attention (DA-MHA) mechanism that incorporates explicit spatial distance information into the attention computation, thereby preserving spatial consistency and facilitating more robust global representation learning. …


Breaking The Reasoning Barrier: A Survey On Llm Complex Reasoning Through The Lens Of Self-Evolution, Tao He, Hao Li, Jingchang Chen, Runxuan Liu, Yixin Cao, Lizi Liao, Zihao Zheng, Zheng Chu, Jiafeng Liang, Ming Liu, Bing Qin Jul 2025

Breaking The Reasoning Barrier: A Survey On Llm Complex Reasoning Through The Lens Of Self-Evolution, Tao He, Hao Li, Jingchang Chen, Runxuan Liu, Yixin Cao, Lizi Liao, Zihao Zheng, Zheng Chu, Jiafeng Liang, Ming Liu, Bing Qin

Research Collection School Of Computing and Information Systems

The release of OpenAI’s O1 and subsequent projects like DeepSeek R1 has significantly advanced research on complex reasoning in LLMs. This paper systematically analyzes existing reasoning studies from the perspective of self-evolution, structured into three components: data evolution, model evolution, and self-evolution. Data evolution explores methods to generate higher-quality reasoning training data. Model evolution focuses on training strategies to boost reasoning capabilities. Self-evolution research autonomous system evolution via iterating cycles of data and model evolution. We further discuss the scaling law of self-evolution and analyze representative O1-like works through this lens. By summarizing advanced methods and outlining future directions, this …


Physical Work Environments: An Integrative Review And Agenda For Future Research, Bukky Akinsanmi Oyedeji, Yea Hee Ko, Sunkee Lee Jul 2025

Physical Work Environments: An Integrative Review And Agenda For Future Research, Bukky Akinsanmi Oyedeji, Yea Hee Ko, Sunkee Lee

Research Collection Lee Kong Chian School Of Business

This review examines the effect of physical work environments—the dedicated, tangible spaces where employees carry out their professional tasks—on organizational processes and outcomes. We synthesize decades of research across various disciplines using a conceptual framework that defines physical work environments along three key dimensions: ambience, spatial configuration, and aesthetics. These dimensions are analyzed for their effects on both internal stakeholders, such as employees, and external stakeholders, including clients, suppliers, and investors. Our analysis reveals two major themes in prior research: (1) task accomplishment, which focuses on how physical work environments influence physical and mental health, motivation and attitudes, as well …


The Role Of Private Law In Promoting Building Safety: The Case Of Singapore, Edward S. W. Ti Jul 2025

The Role Of Private Law In Promoting Building Safety: The Case Of Singapore, Edward S. W. Ti

Research Collection Yong Pung How School Of Law

Singapore is a tiny granite rock situated just north of the equator. Lacking land, and indeed any kind of natural resource, means that the trend for urban development in the city-state will always be densifi cation; 96 per cent of residents in Singapore already live in multi-owned housing, ie high-rise apartments. 1 Singapore is also a rapidly greying nation. 2 It has been observed that persons over 70 years old are four times more vulnerable in the event of a fi re, 3 and fi re safety is a critical aspect of building safety. Safety features and measures in the …


Digital Economy Innovation In The Indo-Pacific: Towards A 'Singapore Effect'?, J.G. Allen, Qiu Xu Martin Liao Jul 2025

Digital Economy Innovation In The Indo-Pacific: Towards A 'Singapore Effect'?, J.G. Allen, Qiu Xu Martin Liao

Research Collection Yong Pung How School Of Law

This paper examines the rise of Digital Economy Agreements (DEAs) in the Indo-Pacific as a strategic response to digital trade fragmentation and great power competition. Focusing on Singapore’s leadership, we introduce the ‘Singapore Effect’ – a model of regulatory influence distinct from others, such as the ‘Brussels Effect’ and ‘Beijing Effect.’ Unlike market-driven regulatory diffusion, the Singapore Effect emphasizes interoperability, norm entrepreneurship, and mini-lateralism, enabling middle powers to shape digital trade governance. We analyze DEA formation, implementation challenges in national law, and Singapore’s role as a bridge between diverse regulatory regimes. DEAs’ flexible, modular structure allows for incremental regulatory alignment …


Singapore At 60: Home Truly Is An Idea That Never Stands Still, Lily Kong Jul 2025

Singapore At 60: Home Truly Is An Idea That Never Stands Still, Lily Kong

Research Collection School of Social Sciences

There are many new stories to embrace but also quiet distances between us that we must bridge.

In a National Day op-ed published in The Straits Times, SMU President Professor Lily Kong reflects on what ‘home’ means as Singapore marks its 60th year of independence — and how that meaning continues to evolve across generations. Prompted by a walk through a familiar playground now transformed, Prof Kong considers how Singapore’s changing physical and social landscape mirrors shifts in national identity. While progress and policy evolution signal a society in transition, she also notes the emergence of quieter divides – between …


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 Jul 2025

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. …


One-Sided Limited Commitment And Aggregate Risk, Yoshiki Ando, Dirk Krueger, Harald Uhlig Jul 2025

One-Sided Limited Commitment And Aggregate Risk, Yoshiki Ando, Dirk Krueger, Harald Uhlig

Research Collection School Of Economics

In this paper we study the neoclassical growth model with idiosyncratic income risk and aggregate risk in which risk sharing is endogenously constrained by one sided limited commitment. Households can trade a full set of contingent claims that pay off depending on both idiosyncratic and aggregate risk, but limited commitment rules out that households sell these assets short. The model results, under suitable restrictions of the parameters of the model, in partial consumption insurance in equilibrium. With log-utility and idiosyncratic income shocks taking two values one of which is zero (e.g., employment and unemployment) we show that the equilibrium can …


The B2biers System: A Content-Based Perspective On Maximizing Influence And Subscription In Social Networks, Konstantinos Theocharidis, Hady Wirawan Lauw Jul 2025

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 Jul 2025

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 …


Crow: Eliminating Backdoors From Large Language Models Via Internal Consistency Regularization, Nay Myat Min, Long H. Pham, Yige Li, Jun Sun Jul 2025

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 …


An On-The-Fly Synthesis Framework For Ltl Over Finite Traces, Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Vardi Jul 2025

An On-The-Fly Synthesis Framework For Ltl Over Finite Traces, Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Vardi

Research Collection School Of Computing and Information Systems

We present an on-the-fly synthesis framework for Linear Temporal Logic over finite traces (LTLf) based on top-down deterministic automata construction. Existing approaches rely on constructing a complete Deterministic Finite Automaton (DFA) corresponding to the LTLf specification, a process with doubly exponential complexity relative to formula size in the worst case. In this case, the synthesis cannot be conducted until the entire DFA is constructed. This inefficiency is the main bottleneck of existing approaches. To address this challenge, we first present a method for converting LTLf into Transition-based DFA (TDFA) by directly leveraging LTLf semantics, incorporating intermediate results as direct components …


Efficient Prompt Tuning For Hierarchical Ingredient Recognition, Yinxuan Gui, Bin Zhu, Jingjing Chen, Chong-Wah Ngo Jul 2025

Efficient Prompt Tuning For Hierarchical Ingredient Recognition, Yinxuan Gui, Bin Zhu, Jingjing Chen, Chong-Wah Ngo

Research Collection School Of Computing and Information Systems

Fine-grained ingredient recognition presents a significant challenge due to the diverse appearances of ingredients, resulting from different cutting and cooking methods. While existing approaches have shown promising results, they still require extensive training costs and focus solely on fine-grained ingredient recognition. In this paper, we address these limitations by introducing an efficient prompt-tuning framework that adapts pretrained visual-language models (VLMs), such as CLIP, to the ingredient recognition task without requiring full model finetuning. Additionally, we introduce three-level ingredient hierarchies to enhance both training performance and evaluation robustness. Specifically, we propose a hierarchical ingredient recognition task, designed to evaluate model performance …