3 papers
cs.SE2025
A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation
Zhuohang Shen, Mohammed Yaseen, Denini Silva +4
Runtime verification (RV) now scales for testing thousands of open-source Java projects, helping find hundreds of bugs. The popular Python ecosystem could use such benefits. But, t…
cs.CY2025
Classifying and Tracking International Aid Contribution Towards SDGs
Sungwon Park, Dongjoon Lee, Kyeongjin Ahn +4
International aid is a critical mechanism for promoting economic growth and well-being in developing nations, supporting progress toward the Sustainable Development Goals (SDGs). H…
cs.CY2025
Quantitative Insights into Large Language Model Usage and Trust in Academia: An Empirical Study
Minseok Jung, Aurora Zhang, May Fung +2
Large Language Models (LLMs) are transforming writing, reading, teaching, and knowledge retrieval in many academic fields. However, concerns regarding their misuse and erroneous ou…