Computer Science

Authors and titles for November 2023

[4101] arXiv:2311.09782 [pdf, html, other]

Title: More Samples or More Prompts? Exploring Effective In-Context Sampling for LLM Few-Shot Prompt Engineering

Bingsheng Yao, Guiming Chen, Ruishi Zou, Yuxuan Lu, Jiachen Li, Shao Zhang, Yisi Sang, Sijia Liu, James Hendler, Dakuo Wang

Comments: Accepted at NAACL 2024 Findings

Subjects: Computation and Language (cs.CL)

[4102] arXiv:2311.09783 [pdf, html, other]

Title: Investigating Data Contamination in Modern Benchmarks for Large Language Models

Chunyuan Deng, Yilun Zhao, Xiangru Tang, Mark Gerstein, Arman Cohan

Comments: NAACL 2024 Version

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[4103] arXiv:2311.09784 [pdf, other]

Title: Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems

Srajan Goyal (Fondazione Bruno Kessler and University of Trento), Alberto Griggio (Fondazione Bruno Kessler), Jacob Kimblad (Fondazione Bruno Kessler), Stefano Tonetta (Fondazione Bruno Kessler)

Comments: In Proceedings FMAS 2023, arXiv:2311.08987

Journal-ref: EPTCS 395, 2023, pp. 113-129

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[4104] arXiv:2311.09785 [pdf, other]

Title: Enforcing Timing Properties in Motorway Traffic

Christopher Bischopink (University Oldenburg)

Comments: In Proceedings FMAS 2023, arXiv:2311.08987

Journal-ref: EPTCS 395, 2023, pp. 130-143

Subjects: Logic in Computer Science (cs.LO)

[4105] arXiv:2311.09786 [pdf, other]

Title: Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions

Thom Badings (Radboud University), Nils Jansen (Radboud University), Licio Romao (University of Oxford), Alessandro Abate (University of Oxford)

Comments: In Proceedings FMAS 2023, arXiv:2311.08987. arXiv admin note: text overlap with arXiv:2301.01526

Journal-ref: EPTCS 395, 2023, pp. 144-152

Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[4106] arXiv:2311.09787 [pdf, other]

Title: 3vLTL: A Tool to Generate Automata for Three-valued LTL

Francesco Belardinelli (Imperial College London), Angelo Ferrando (University of Genoa), Vadim Malvone (Telecom Paris)

Comments: In Proceedings FMAS 2023, arXiv:2311.08987

Journal-ref: EPTCS 395, 2023, pp. 180-187

Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI)

[4107] arXiv:2311.09788 [pdf, other]

Title: Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers

Céline Bellanger (ENAC, Université de Toulouse), Pierre-Loïc Garoche (ENAC, Université de Toulouse), Matthieu Martel (Université de Perpignan Via Domitia), Célia Picard (ENAC, Université de Toulouse)

Comments: In Proceedings FMAS 2023, arXiv:2311.08987

Journal-ref: EPTCS 395, 2023, pp. 188-204

Subjects: Logic in Computer Science (cs.LO)

[4108] arXiv:2311.09790 [pdf, other]

Title: Breaking Boundaries: Balancing Performance and Robustness in Deep Wireless Traffic Forecasting

Romain Ilbert, Thai V. Hoang, Zonghua Zhang, Themis Palpanas

Comments: Accepted for presentation at the ARTMAN workshop, part of the ACM Conference on Computer and Communications Security (CCS), 2023

Journal-ref: Proceedings of the 2023 Workshop on Recent Advances in Resilient and Trustworthy ML Systems in Autonomous Networks; pp.17-28

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)

[4109] arXiv:2311.09791 [pdf, other]

Title: Low-cost singular value decomposition with optimal sensor placement

Ashton Hetherington, Soledad Le Clainche

Subjects: Computational Engineering, Finance, and Science (cs.CE)

[4110] arXiv:2311.09793 [pdf, html, other]

Title: Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models

Alec Edwards, Andrea Peruffo, Alessandro Abate

Comments: HSCC 2024 Tool Paper

Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[4111] arXiv:2311.09794 [pdf, other]

Title: On the Non-Locality of Edge Insertions

Florestan Brunck

Subjects: Computational Geometry (cs.CG)

[4112] arXiv:2311.09796 [pdf, html, other]

Title: Interpreting User Requests in the Context of Natural Language Standing Instructions

Nikita Moghe, Patrick Xia, Jacob Andreas, Jason Eisner, Benjamin Van Durme, Harsh Jhamtani

Comments: Updated with results from LLaMA-2

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[4113] arXiv:2311.09797 [pdf, html, other]

Title: FinanceMath: Knowledge-Intensive Math Reasoning in Finance Domains

Yilun Zhao, Hongjun Liu, Yitao Long, Rui Zhang, Chen Zhao, Arman Cohan

Comments: ACL 2024 Oral

Subjects: Computation and Language (cs.CL)

[4114] arXiv:2311.09799 [pdf, html, other]

Title: How Far Can We Extract Diverse Perspectives from Large Language Models?

Shirley Anugrah Hayati, Minhwa Lee, Dheeraj Rajagopal, Dongyeop Kang

Comments: Accepted at EMNLP 2024 Main Conference

Subjects: Computation and Language (cs.CL)

[4115] arXiv:2311.09800 [pdf, html, other]

Title: $\textit{Dial BeInfo for Faithfulness}$: Improving Factuality of Information-Seeking Dialogue via Behavioural Fine-Tuning

Evgeniia Razumovskaia, Ivan Vulić, Pavle Marković, Tomasz Cichy, Qian Zheng, Tsung-Hsien Wen, Paweł Budzianowski

Subjects: Computation and Language (cs.CL)

[4116] arXiv:2311.09802 [pdf, html, other]

Title: Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs

Sen Yang, Xin Li, Leyang Cui, Lidong Bing, Wai Lam

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[4117] arXiv:2311.09803 [pdf, other]

Title: Learning effects in variable autonomy human-robot systems: how much training is enough?

Manolis Chiou, Mohammed Talha, Rustam Stolkin

Comments: This paper is a preprint of the paper published on the IEEE International Conference on Systems, Man and Cybernetics (SMC) 2019

Journal-ref: 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC),pp. 720-727

Subjects: Robotics (cs.RO); Human-Computer Interaction (cs.HC)

[4118] arXiv:2311.09805 [pdf, html, other]

Title: DocMath-Eval: Evaluating Math Reasoning Capabilities of LLMs in Understanding Long and Specialized Documents

Yilun Zhao, Yitao Long, Hongjun Liu, Ryo Kamoi, Linyong Nan, Lyuhao Chen, Yixin Liu, Xiangru Tang, Rui Zhang, Arman Cohan

Comments: ACL 2024 Oral

Subjects: Computation and Language (cs.CL)

[4119] arXiv:2311.09806 [pdf, html, other]

Title: EvaSurf: Efficient View-Aware Implicit Textured Surface Reconstruction on Mobile Devices

Jingnan Gao, Zhuo Chen, Yichao Yan, Bowen Pan, Zhe Wang, Jiangjing Lyu, Xiaokang Yang

Comments: Project Page: this http URL

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[4120] arXiv:2311.09807 [pdf, html, other]

Title: The Curious Decline of Linguistic Diversity: Training Language Models on Synthetic Text

Yanzhu Guo, Guokan Shang, Michalis Vazirgiannis, Chloé Clavel

Comments: Accepted to NAACL 2024 Findings

Subjects: Computation and Language (cs.CL)

[4121] arXiv:2311.09808 [pdf, html, other]

Title: PixT3: Pixel-based Table-To-Text Generation

Iñigo Alonso, Eneko Agirre, Mirella Lapata

Subjects: Computation and Language (cs.CL)

[4122] arXiv:2311.09809 [pdf, other]

Title: Comparing Differentiable Logics for Learning Systems: A Research Preview

Thomas Flinkow (Maynooth University), Barak A. Pearlmutter (Maynooth University), Rosemary Monahan (Maynooth University)

Comments: In Proceedings FMAS 2023, arXiv:2311.08987

Journal-ref: EPTCS 395, 2023, pp. 17-29

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[4123] arXiv:2311.09810 [pdf, other]

Title: Towards Formal Fault Injection for Safety Assessment of Automated Systems

Ashfaq Farooqui (Dependable Transport Systems, RISE Research Institutes of Sweden, Borås, Sweden), Behrooz Sangchoolie (Dependable Transport Systems, RISE Research Institutes of Sweden, Borås, Sweden)

Comments: In Proceedings FMAS 2023, arXiv:2311.08987

Journal-ref: EPTCS 395, 2023, pp. 153-161

Subjects: Artificial Intelligence (cs.AI)

[4124] arXiv:2311.09811 [pdf, other]

Title: Runtime Verification of Learning Properties for Reinforcement Learning Algorithms

Tommaso Mannucci (TNO -- Netherlands Organisation for Applied Scientific Research), Julio de Oliveira Filho (TNO -- Netherlands Organisation for Applied Scientific Research)

Comments: In Proceedings FMAS 2023, arXiv:2311.08987

Journal-ref: EPTCS 395, 2023, pp. 205-219

Subjects: Machine Learning (cs.LG)

[4125] arXiv:2311.09812 [pdf, html, other]

Title: Large Language Models for Propaganda Span Annotation

Maram Hasanain, Fatema Ahmad, Firoj Alam

Comments: propaganda, span detection, disinformation, misinformation, fake news, LLMs, GPT-4

Subjects: Computation and Language (cs.CL)

[4126] arXiv:2311.09814 [pdf, other]

Title: Stacked Intelligent Metasurface-Aided MIMO Transceiver Design

Jiancheng An, Chau Yuen, Chao Xu, Hongbin Li, Derrick Wing Kwan Ng, Marco Di Renzo, Mérouane Debbah, Lajos Hanzo

Comments: 9 pages, 5 figures, 1 table

Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

[4127] arXiv:2311.09815 [pdf, other]

Title: Exploring Indoor Localization for Smart Education

Carlos S. Álvarez-Merino, Emil J. Khatib, Antonio Tarrias Muñoz, Raquel Barco

Comments: 14 pages, 11 figures, 2 tables

Subjects: Systems and Control (eess.SY)

[4128] arXiv:2311.09816 [pdf, html, other]

Title: Downstream Trade-offs of a Family of Text Watermarks

Anirudh Ajith, Sameer Singh, Danish Pruthi

Comments: Published at EMNLP Findings 2024

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Machine Learning (cs.LG)

[4129] arXiv:2311.09817 [pdf, other]

Title: Neural-Logic Human-Object Interaction Detection

Liulei Li, Jianan Wei, Wenguan Wang, Yi Yang

Comments: Accepted to NeurIPS 2023; Code: this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[4130] arXiv:2311.09818 [pdf, html, other]

Title: SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models

Shicheng Liu, Jialiang Xu, Wesley Tjangnaka, Sina J. Semnani, Chen Jie Yu, Monica S. Lam

Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL)

[4131] arXiv:2311.09819 [pdf, other]

Title: PWISeg: Point-based Weakly-supervised Instance Segmentation for Surgical Instruments

Zhen Sun, Huan Xu, Jinlin Wu, Zhen Chen, Zhen Lei, Hongbin Liu

Comments: This work has been submitted to IEEE International Symposium on Biomedical Imaging (ISBI) 2024 for possible publication

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[4132] arXiv:2311.09820 [pdf, html, other]

Title: IterCQR: Iterative Conversational Query Reformulation with Retrieval Guidance

Yunah Jang, Kang-il Lee, Hyunkyung Bae, Hwanhee Lee, Kyomin Jung

Subjects: Information Retrieval (cs.IR)

[4133] arXiv:2311.09821 [pdf, html, other]

Title: Towards Robust Temporal Reasoning of Large Language Models via a Multi-Hop QA Dataset and Pseudo-Instruction Tuning

Qingyu Tan, Hwee Tou Ng, Lidong Bing

Comments: To appear in Findings of ACL 2024

Subjects: Computation and Language (cs.CL)

[4134] arXiv:2311.09825 [pdf, other]

Title: Human Still Wins over LLM: An Empirical Study of Active Learning on Domain-Specific Annotation Tasks

Yuxuan Lu, Bingsheng Yao, Shao Zhang, Yun Wang, Peng Zhang, Tun Lu, Toby Jia-Jun Li, Dakuo Wang

Subjects: Computation and Language (cs.CL)

[4135] arXiv:2311.09827 [pdf, html, other]

Title: Cognitive Overload: Jailbreaking Large Language Models with Overloaded Logical Thinking

Nan Xu, Fei Wang, Ben Zhou, Bang Zheng Li, Chaowei Xiao, Muhao Chen

Subjects: Computation and Language (cs.CL)

[4136] arXiv:2311.09828 [pdf, html, other]

Title: AfriMTE and AfriCOMET: Enhancing COMET to Embrace Under-resourced African Languages

Jiayi Wang, David Ifeoluwa Adelani, Sweta Agrawal, Marek Masiak, Ricardo Rei, Eleftheria Briakou, Marine Carpuat, Xuanli He, Sofia Bourhim, Andiswa Bukula, Muhidin Mohamed, Temitayo Olatoye, Tosin Adewumi, Hamam Mokayed, Christine Mwase, Wangui Kimotho, Foutse Yuehgoh, Anuoluwapo Aremu, Jessica Ojo, Shamsuddeen Hassan Muhammad, Salomey Osei, Abdul-Hakeem Omotayo, Chiamaka Chukwuneke, Perez Ogayo, Oumaima Hourrane, Salma El Anigri, Lolwethu Ndolela, Thabiso Mangwana, Shafie Abdi Mohamed, Ayinde Hassan, Oluwabusayo Olufunke Awoyomi, Lama Alkhaled, Sana Al-Azzawi, Naome A. Etori, Millicent Ochieng, Clemencia Siro, Samuel Njoroge, Eric Muchiri, Wangari Kimotho, Lyse Naomi Wamba Momo, Daud Abolade, Simbiat Ajao, Iyanuoluwa Shode, Ricky Macharm, Ruqayya Nasir Iro, Saheed S. Abdullahi, Stephen E. Moore, Bernard Opoku, Zainab Akinjobi, Abeeb Afolabi, Nnaemeka Obiefuna, Onyekachi Raphael Ogbu, Sam Brian, Verrah Akinyi Otiende, Chinedu Emmanuel Mbonu, Sakayo Toadoum Sari, Yao Lu, Pontus Stenetorp

Comments: Accepted by NAACL 2024

Subjects: Computation and Language (cs.CL)

[4137] arXiv:2311.09829 [pdf, other]

Title: FollowEval: A Multi-Dimensional Benchmark for Assessing the Instruction-Following Capability of Large Language Models

Yimin Jing, Renren Jin, Jiahao Hu, Huishi Qiu, Xiaohua Wang, Peng Wang, Deyi Xiong

Comments: Work in progress

Subjects: Computation and Language (cs.CL)

[4138] arXiv:2311.09830 [pdf, other]

Title: AutoPlanBench: Automatically generating benchmarks for LLM planners from PDDL

Katharina Stein, Daniel Fišer, Jörg Hoffmann, Alexander Koller

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[4139] arXiv:2311.09832 [pdf, html, other]

Title: WatME: Towards Lossless Watermarking Through Lexical Redundancy

Liang Chen, Yatao Bian, Yang Deng, Deng Cai, Shuaiyi Li, Peilin Zhao, Kam-fai Wong

Comments: Accepted to ACL 2024 main conference

Subjects: Computation and Language (cs.CL)

[4140] arXiv:2311.09834 [pdf, other]

Title: Overview of the HASOC Subtrack at FIRE 2023: Identification of Tokens Contributing to Explicit Hate in English by Span Detection

Sarah Masud, Mohammad Aflah Khan, Md. Shad Akhtar, Tanmoy Chakraborty

Comments: 8 pages, 1 figure, 4 Tables

Subjects: Computation and Language (cs.CL)

[4141] arXiv:2311.09835 [pdf, html, other]

Title: ML-Bench: Evaluating Large Language Models and Agents for Machine Learning Tasks on Repository-Level Code

Xiangru Tang, Yuliang Liu, Zefan Cai, Yanjun Shao, Junjie Lu, Yichi Zhang, Zexuan Deng, Helan Hu, Kaikai An, Ruijun Huang, Shuzheng Si, Sheng Chen, Haozhe Zhao, Liang Chen, Yan Wang, Tianyu Liu, Zhiwei Jiang, Baobao Chang, Yin Fang, Yujia Qin, Wangchunshu Zhou, Yilun Zhao, Arman Cohan, Mark Gerstein

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[4142] arXiv:2311.09836 [pdf, other]

Title: PELMS: Pre-training for Effective Low-Shot Multi-Document Summarization

Joseph J. Peper, Wenzhao Qiu, Lu Wang

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[4143] arXiv:2311.09839 [pdf, other]

Title: Load Data Valuation in Multi-Energy Systems: An End-to-End Approach

Yangze Zhou, Qingsong Wen, Jie Song, Xueyuan Cui, Yi Wang

Comments: 10 pages

Subjects: Systems and Control (eess.SY)

[4144] arXiv:2311.09841 [pdf, other]

Title: Leveraging LLMs in Scholarly Knowledge Graph Question Answering

Tilahun Abedissa Taffa, Ricardo Usbeck

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Databases (cs.DB); Machine Learning (cs.LG)

[4145] arXiv:2311.09847 [pdf, other]

Title: Overcoming Data Scarcity in Biomedical Imaging with a Foundational Multi-Task Model

Raphael Schäfer, Till Nicke, Henning Höfener, Annkristin Lange, Dorit Merhof, Friedrich Feuerhake, Volkmar Schulz, Johannes Lotz, Fabian Kiessling

Comments: 29 pages, 5 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[4146] arXiv:2311.09848 [pdf, other]

Title: Diffusion-Augmented Neural Processes

Lorenzo Bonito, James Requeima, Aliaksandra Shysheya, Richard E. Turner

Comments: Accepted to the NeurIPS 2023 Workshop on Diffusion Models

Subjects: Machine Learning (cs.LG)

[4147] arXiv:2311.09849 [pdf, other]

Title: Rusty Detection Using Image Processing For Maintenance Of Stations

Dao Duy Tung, Ho Xuan Hung

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[4148] arXiv:2311.09850 [pdf, other]

Title: Semantic-Relay-Aided Text Transmission: Placement Optimization and Bandwidth Allocation

Tianyu Liu, Changsheng You, Zeyang Hu, Chenyu Wu, Yi Gong, Kaibin Huang

Comments: 6 pages, 4 figures, accepted for IEEE Global Communication Conference (GLOBECOM) 2023 Workshop

Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

[4149] arXiv:2311.09851 [pdf, other]

Title: Urban traffic congestion control: a DeePC change

Alessio Rimoldi, Carlo Cenedese, Alberto Padoan, Florian Dörfler, John Lygeros

Comments: This paper has been submitted to IEEE ECC24

Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC); Machine Learning (stat.ML)

[4150] arXiv:2311.09852 [pdf, html, other]

Title: Short vs. Long-term Coordination of Drones: When Distributed Optimization Meets Deep Reinforcement Learning

Chuhao Qin, Evangelos Pournaras

Subjects: Robotics (cs.RO); Machine Learning (cs.LG); Multiagent Systems (cs.MA)