Tootfinder

Get on the Train or be Left on the Station: Using LLMs for Software Engineering Research
Bianca Trinkenreich, Fabio Calefato, Geir Hanssen, Kelly Blincoe, Marcos Kalinowski, Mauro Pezz\`e, Paolo Tell, Margaret-Anne Storey
https://arxiv.org/abs/2506.12691

Get on the Train or be Left on the Station: Using LLMs for Software Engineering Research
The adoption of Large Language Models (LLMs) is not only transforming software engineering (SE) practice but is also poised to fundamentally disrupt how research is conducted in the field. While perspectives on this transformation range from viewing LLMs as mere productivity tools to considering them revolutionary forces, we argue that the SE research community must proactively engage with and shape the integration of LLMs into research practices, emphasizing human agency in this transformation…

Lempel-Ziv Complexity, Empirical Entropies, and Chain Rules
Neri Merhav
https://arxiv.org/abs/2506.12772 https://arxiv.org/pdf/2506.1…

Lempel-Ziv Complexity, Empirical Entropies, and Chain Rules
We derive upper and lower bounds on the overall compression ratio of the 1978 Lempel-Ziv (LZ78) algorithm, applied independently to $k$-blocks of a finite individual sequence. Both bounds are given in terms of normalized empirical entropies of the given sequence. For the bounds to be tight and meaningful, the order of the empirical entropy should be small relative to $k$ in the upper bound, but large relative to $k$ in the lower bound. Several non-trivial conclusions arise from these bounds. On…

Understanding and Benchmarking the Trustworthiness in Multimodal LLMs for Video Understanding
Youze Wang, Zijun Chen, Ruoyu Chen, Shishen Gu, Yinpeng Dong, Hang Su, Jun Zhu, Meng Wang, Richang Hong, Wenbo Hu
https://arxiv.org/abs/2506.12336

Understanding and Benchmarking the Trustworthiness in Multimodal LLMs for Video Understanding
Recent advancements in multimodal large language models for video understanding (videoLLMs) have improved their ability to process dynamic multimodal data. However, trustworthiness challenges factual inaccuracies, harmful content, biases, hallucinations, and privacy risks, undermine reliability due to video data's spatiotemporal complexities. This study introduces Trust-videoLLMs, a comprehensive benchmark evaluating videoLLMs across five dimensions: truthfulness, safety, robustness, fairness, …

Efficient Approximate Temporal Triangle Counting in Streaming with Predictions
Giorgio Venturin, Ilie Sarpe, Fabio Vandin
https://arxiv.org/abs/2506.13173 …

Efficient Approximate Temporal Triangle Counting in Streaming with Predictions
Triangle counting is a fundamental and widely studied problem on static graphs, and recently on temporal graphs, where edges carry information on the timings of the associated events. Streaming processing and resource efficiency are crucial requirements for counting triangles in modern massive temporal graphs, with millions of nodes and up to billions of temporal edges. However, current exact and approximate algorithms are unable to handle large-scale temporal graphs. To fill such a gap, we int…

A Short Survey on Formalising Software Requirements using Large Language Models
Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan
https://arxiv.org/abs/2506.11874

A Short Survey on Formalising Software Requirements using Large Language Models
This paper presents a focused literature survey on the use of large language models (LLM) to assist in writing formal specifications for software. A summary of thirty-five key papers is presented, including examples for specifying programs written in Dafny, C and Java. This paper arose from the project VERIFAI - Traceability and verification of natural language requirements that addresses the challenges in writing formal specifications from requirements that are expressed in natural language. O…

Intelligibility of Text-to-Speech Systems for Mathematical Expressions
Sujoy Roychowdhury, H. G. Ranjani, Sumit Soman, Nishtha Paul, Subhadip Bandyopadhyay, Siddhanth Iyengar
https://arxiv.org/abs/2506.11086

Intelligibility of Text-to-Speech Systems for Mathematical Expressions
There has been limited evaluation of advanced Text-to-Speech (TTS) models with Mathematical eXpressions (MX) as inputs. In this work, we design experiments to evaluate quality and intelligibility of five TTS models through listening and transcribing tests for various categories of MX. We use two Large Language Models (LLMs) to generate English pronunciation from LaTeX MX as TTS models cannot process LaTeX directly. We use Mean Opinion Score from user ratings and quantify intelligibility through…

Artificial Intelligence and Civil Discourse: How LLMs Moderate Climate Change Conversations
Wenlu Fan, Wentao Xu
https://arxiv.org/abs/2506.12077 https://

Artificial Intelligence and Civil Discourse: How LLMs Moderate Climate Change Conversations
As large language models (LLMs) become increasingly integrated into online platforms and digital communication spaces, their potential to influence public discourse - particularly in contentious areas like climate change - requires systematic investigation. This study examines how LLMs naturally moderate climate change conversations through their distinct communicative behaviors. We conduct a comparative analysis of conversations between LLMs and human users on social media platforms, using fiv…

The ALMA Survey of Gas Evolution of PROtoplanetary Disks (AGE-PRO): X. Dust Substructures, Disk Geometries, and Dust-disk Radii
Miguel Vioque, Nicol\'as T. Kurtovic, Leon Trapman, Anibal Sierra, Laura M. P\'erez, Ke Zhang, Pietro Curone, Giovanni P. Rosotti, John Carpenter, Beno\^it Tabone, Paola Pinilla, Dingshan Deng, Ilaria Pascucci, James Miley, Carolina Agurto-Gangas, Lucas A. Cieza, Rossella Anania, Dary A. Ruiz-Rodriguez, Camilo Gonz\'alez-Ruilova, Estephani E. Torre…

The ALMA Survey of Gas Evolution of PROtoplanetary Disks (AGE-PRO): X. Dust Substructures, Disk Geometries, and Dust-disk Radii
We perform visibility fitting to the dust continuum Band 6 1.3 mm data of the 30 protoplanetary disks in the AGE-PRO ALMA Large Program. We obtain disk geometries, dust-disk radii, and azimuthally symmetric radial profiles of the intensity of the dust continuum emission. We examine the presence of continuum substructures in the AGE-PRO sample by using these radial profiles and their residuals. We detect substructures in 15 out of 30 disks. We report five disks with large ($>$15 au) inner dust c…

Beyond Formal Semantics for Capabilities and Skills: Model Context Protocol in Manufacturing
Luis Miguel Vieira da Silva, Aljosha K\"ocher, Felix Gehlhoff
https://arxiv.org/abs/2506.11180

Beyond Formal Semantics for Capabilities and Skills: Model Context Protocol in Manufacturing
Explicit modeling of capabilities and skills -- whether based on ontologies, Asset Administration Shells, or other technologies -- requires considerable manual effort and often results in representations that are not easily accessible to Large Language Models (LLMs). In this work-in-progress paper, we present an alternative approach based on the recently introduced Model Context Protocol (MCP). MCP allows systems to expose functionality through a standardized interface that is directly consumab…

Dynamics of low-mass black hole seeds in the BRAHMA simulations using subgrid-dynamical friction: Impact on merger-driven black hole growth in the high redshift Universe
Aklant K. Bhowmick, Laura Blecha, Luke Z. Kelley, Aneesh Sivasankaran, Paul Torrey, Rainer Weinberger, Nianyi Chen, Mark Vogelsberger, Lars Hernquist, Priyamvada Natarajan
https://…

Dynamics of low-mass black hole seeds in the BRAHMA simulations using subgrid-dynamical friction: Impact on merger-driven black hole growth in the high redshift Universe
We analyze the dynamics of low-mass black hole (BH) seeds in the high-redshift ($z\gtrsim5$) Universe using a suite of $[4.5~\mathrm{Mpc}]^3$ and $[9~\mathrm{Mpc}]^3$ BRAHMA cosmological hydrodynamic simulations. The simulations form seeds with mass $M_{\mathrm{seed}}=2.2\times10^3~M_{\odot}$ in halos that exceed critical thresholds of dense & metal-poor gas mass ($5-150~M_{\mathrm{seed}}$) and the halo mass ($1000-10000~M_{\mathrm{seed}}$). While the initial BRAHMA boxes pinned the BHs to the …