Educational drama is a proven method for anti-bullying education, but its traditional reliance on teachers and peers limits its accessibility to children and families outside of school. HCI has rarely explored how to augment this practice with AI-infused, interactive role-playing or how to involve parents in the process. We introduce DOLLama, an AI-powered projection-augmented interactive system that transforms children’s toys and family-created stories into gamified anti-bullying vignettes. A study with 20 families demonstrated how DOLLama facilitated children’s and parents’ learning. Children used their toys to enact the roles of the one being bullied and bystanders, developing empathy and practicing coping strategies in co-performance with AI-controlled toy characters. By observing this play, parents gained new insights into their child’s strengths and challenges and identified their own knowledge gaps. Based on these findings, we derive HCI design implications for AI-enhanced, toy-mediated educational drama that supports anti-bullying education for children and their families.

Pre-training a language model and then fine-tuning it has shown to be an efficient and effective technique for a wide range of code intelligence tasks, such as code generation, code summarization, and vulnerability detection. However, pre-training language models on a large-scale code corpus is compu-tationally expensive. Fortunately, many off-the-shelf Pre-trained Code Models (PCMs), such as CodeBERT, CodeT5, CodeGen, and Code Llama, have been released publicly. These models acquire general code understanding and generation capability during pre-training, which enhances their performance on downstream code intelligence tasks. With an increasing number of these public pre-trained models, selecting the most suitable one to reuse for a specific task is essential. In this paper, we systematically investigate the reusability of PCMs. We first explore three intuitive model selection methods that select by size, training data, or brute-force fine-tuning. Experimental results show that these straightforward techniques either perform poorly or suffer high costs. Motivated by these findings, we explore learning-based model selection strategies that utilize pre-trained models without altering their parameters. Specifically, we train proxy models to gauge the performance of pre-trained models, and measure the distribution deviation between a model's latent features and the task's labels, using their closeness as an indicator of model transferability. We conduct experiments on 100 widely-used open-source PCMs for code intelligence tasks, with sizes ranging from 42.5 million to 3 billion parameters. The results demonstrate that learning-based selection methods reduce selection time to 100 seconds, compared to 2,700 hours with brute-force fine-tuning, with less than 6% performance degradation across related tasks.

ABSTRACT Code generation for users' intent has become increasingly prevalent with the large language models (LLMs). To automatically evaluate the effectiveness of these models, multiple execution‐based benchmarks are proposed, including specially crafted tasks, accompanied by some test cases and a ground truth solution. LLMs are regarded as well‐performed in code generation tasks if they can pass the test cases corresponding to most tasks in these benchmarks. However, it is unknown whether the test cases have sufficient test adequacy and whether the test adequacy can affect the evaluation. In this paper, we conducted an empirical study to evaluate the test adequacy of the execution‐based benchmarks and to explore their effects during evaluation for LLMs. Based on the evaluation of the widely used benchmarks, HumanEval, MBPP, and two enhanced benchmarks HumanEval+ and MBPP+, we obtained the following results: (1) All the evaluated benchmarks have high statement coverage (above 99.16%), low branch coverage (74.39%) and low mutation score (87.69%). Especially for the tasks with higher cyclomatic complexities in the HumanEval and MBPP, the mutation score of test cases is lower. (2) No significant correlation exists between test adequacy (statement coverage, branch coverage and mutation score) of benchmarks and evaluating results on LLMs at the individual task level. (3) There is a significant positive correlation between mutation score‐based evaluation and another execution‐based evaluation metric () on LLMs at the individual task level. (4) The existing test case augmentation techniques have limited improvement in the coverage of test cases in the benchmark, while significantly improving the mutation score by approximately 34.60% and also can bring a more rigorous evaluation to LLMs on code generation. (5) The LLM‐based test case generation technique (EvalPlus) performs better than the traditional search‐based technique (Pynguin) in improving the benchmarks' test quality and evaluation ability of code generation.

With the rapid development of information technology, the multisource heterogeneous data containing meaningful information have been significantly generated by various edge devices in Internet of Energy, which is one of essential foundations of many knowledge discovery tasks based on edge computing. For some complicated tasks, essential features are owned by different data sellers offering data by blockchains. With limited budgets, buying features are crucial steps in knowledge discovery tasks in electricity spot markets, especially for learning-based algorithms. However, there are lack of proper data pricing mechanisms tailored to dynamic learning processes. Besides, existing methods cannot efficiently employ edge computing servers to obtain optimal policies for selecting features according to dynamic pricing with limited budgets. To overcome such drawbacks, a data pricing mechanism is proposed in this article, which consists of static and dynamic pricing parts. Based on this mechanism, given limited budgets, a feature selection (FS) algorithm considering multiple new factors is proposed, which offers near-optimal solutions for FS at different scenarios. Numeric results show the effectiveness of the proposed algorithms.

As a kind of special proxy signature, directed proxy signature can be used to sign messages, such that only the designated verifier can easily verify the validity of the signature while others cannot. At the same time, if necessary, the proxy signer or designated verifier can prove the validity of the signature to any third party. However, the revocation of delegated rights has never been considered in the existing directed proxy signature schemes. In fact, in these directed proxy signature schemes, even if the period of delegation has expired, the proxy signer still can generate the valid proxy signature, and the original signer can do nothing to prevent it. Therefore, the authors give a solution to the delegation revocation problem and propose a directed proxy signature scheme with fast revocation in this study. The security and the invisibility of the authors’ scheme are proven based on the gap Diffie–Hellman assumption and under the decisional Diffie–Hellman problem in the standard model, respectively.