Tootfinder

RefModel: Detecting Refactorings using Foundation Models
Pedro Sim\~oes, Rohit Gheyi, Rian Melo, Jonhnanthan Oliveira, M\'arcio Ribeiro, Wesley K. G. Assun\c{c}\~ao
https://arxiv.org/abs/2507.11346

RefModel: Detecting Refactorings using Foundation Models
Refactoring is a common software engineering practice that improves code quality without altering program behavior. Although tools like ReExtractor+, RefactoringMiner, and RefDiff have been developed to detect refactorings automatically, they rely on complex rule definitions and static analysis, making them difficult to extend and generalize to other programming languages. In this paper, we investigate the viability of using foundation models for refactoring detection, implemented in a tool nam…

Bistability of optical properties of cesium vapor due to collective interaction of alignment and orientation under strong spin exchange conditions
M. V. Petrenko, A. K. Vershovskii
https://arxiv.org/abs/2509.10119

Bistability of optical properties of cesium vapor due to collective interaction of alignment and orientation under strong spin exchange conditions
Hydrogen-like alkali atoms with a single valence electron are the most common objects in quantum optics and, at the same time, serve as essential tools of the field. Under conditions of optical pumping, strong spin-exchange and ultra-weak magnetic field (spin-exchange relaxation free mode, SERF), ensembles of such atoms in the gas phase can demonstrate not only the absence of spin-exchange relaxation, but also nonlinear collective effects. We present experimental evidence that the alignment, i.…

Combining Audio and Non-Audio Inputs in Evolved Neural Networks for Ovenbird
Sergio Poo Hernandez, Vadim Bulitko, Erin Bayne
https://arxiv.org/abs/2509.10566 https://

Combining Audio and Non-Audio Inputs in Evolved Neural Networks for Ovenbird
In the last several years the use of neural networks as tools to automate species classification from digital data has increased. This has been due in part to the high classification accuracy of image classification through Convolutional Neural Networks (CNN). In the case of audio data CNN based recognizers are used to automate the classification of species in audio recordings by using information from sound visualization (i.e., spectrograms). It is common for these recognizers to use the spect…

SCOOP'D: Learning Mixed-Liquid-Solid Scooping via Sim2Real Generative Policy
Kuanning Wang, Yongchong Gu, Yuqian Fu, Zeyu Shangguan, Sicheng He, Xiangyang Xue, Yanwei Fu, Daniel Seita
https://arxiv.org/abs/2510.11566

SCOOP'D: Learning Mixed-Liquid-Solid Scooping via Sim2Real Generative Policy
Scooping items with tools such as spoons and ladles is common in daily life, ranging from assistive feeding to retrieving items from environmental disaster sites. However, developing a general and autonomous robotic scooping policy is challenging since it requires reasoning about complex tool-object interactions. Furthermore, scooping often involves manipulating deformable objects, such as granular media or liquids, which is challenging due to their infinite-dimensional configuration spaces and…

ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch
Yuan Si, Daming Li, Hanyuan Shi, Jialu Zhang
https://arxiv.org/abs/2509.11065 https:…

ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch
Block-based programming environments such as Scratch are increasingly popular in programming education, in particular for young learners. While the use of blocks helps prevent syntax errors, semantic bugs remain common and difficult to debug. Existing tools for Scratch debugging rely heavily on predefined rules or user manual inputs, and crucially, they ignore the platform's inherently visual nature. We introduce ViScratch, the first multimodal feedback generation system for Scratch that leve…

PhysToolBench: Benchmarking Physical Tool Understanding for MLLMs
Zixin Zhang, Kanghao Chen, Xingwang Lin, Lutao Jiang, Xu Zheng, Yuanhuiyi Lyu, Litao Guo, Yinchuan Li, Ying-Cong Chen
https://arxiv.org/abs/2510.09507

PhysToolBench: Benchmarking Physical Tool Understanding for MLLMs
The ability to use, understand, and create tools is a hallmark of human intelligence, enabling sophisticated interaction with the physical world. For any general-purpose intelligent agent to achieve true versatility, it must also master these fundamental skills. While modern Multimodal Large Language Models (MLLMs) leverage their extensive common knowledge for high-level planning in embodied AI and in downstream Vision-Language-Action (VLA) models, the extent of their true understanding of phys…

From Nodes to Narratives: Explaining Graph Neural Networks with LLMs and Graph Context
Peyman Baghershahi, Gregoire Fournier, Pranav Nyati, Sourav Medya
https://arxiv.org/abs/2508.07117

From Nodes to Narratives: Explaining Graph Neural Networks with LLMs and Graph Context
Graph Neural Networks (GNNs) have emerged as powerful tools for learning over structured data, including text-attributed graphs, which are common in domains such as citation networks, social platforms, and knowledge graphs. GNNs are not inherently interpretable and thus, many explanation methods have been proposed. However, existing explanation methods often struggle to generate interpretable, fine-grained rationales, especially when node attributes include rich natural language. In this work, …

'Don't even consider' Microsoft?
To digital natives, Microsoft's IT stack makes Google's look like a model of sanity. A millennial does battle with Redmond's enterprise tools and comes away reeling.
[…] Probably the single most common argument against switching to Linux is the absolute non-negotiable requirement of many organizations to have Microsoft Exchange. […]
🤦

To digital natives, Microsoft's IT stack makes Google's look like a model of sanity
Comment: A millennial does battle with Redmond's enterprise tools and comes away reeling

Cracking CodeWhisperer: Analyzing Developers' Interactions and Patterns During Programming Tasks
Jeena Javahar, Tanya Budhrani, Manaal Basha, Cleidson R. B. de Souza, Ivan Beschastnikh, Gema Rodriguez-Perez
https://arxiv.org/abs/2510.11516

Cracking CodeWhisperer: Analyzing Developers' Interactions and Patterns During Programming Tasks
The use of AI code-generation tools is becoming increasingly common, making it important to understand how software developers are adopting these tools. In this study, we investigate how developers engage with Amazon's CodeWhisperer, an LLM-based code-generation tool. We conducted two user studies with two groups of 10 participants each, interacting with CodeWhisperer - the first to understand which interactions were critical to capture and the second to collect low-level interaction data using…

Systematic Assessment of Cache Timing Vulnerabilities on RISC-V Processors
C\'edrick Austa, Jan Tobias M\"uhlberg, Jean-Michel Dricot
https://arxiv.org/abs/2510.08272 h…

Systematic Assessment of Cache Timing Vulnerabilities on RISC-V Processors
While interest in the open RISC-V instruction set architecture is growing, tools to assess the security of concrete processor implementations are lacking. There are dedicated tools and benchmarks for common microarchitectural side-channel vulnerabilities for popular processor families such as Intel x86-64 or ARM, but not for RISC-V. In this paper we describe our efforts in porting an Intel x86-64 benchmark suite for cache-based timing vulnerabilities to RISC-V. We then use this benchmark to eva…

Reduction Techniques for Survival Analysis
Johannes Piller, L\'ea Orsini, Simon Wiegrebe, John Zobolas, Lukas Burk, Sophie Hanna Langbein, Philip Studener, Markus Goeswein, Andreas Bender
https://arxiv.org/abs/2508.05715

Reduction Techniques for Survival Analysis
In this work, we discuss what we refer to as reduction techniques for survival analysis, that is, techniques that "reduce" a survival task to a more common regression or classification task, without ignoring the specifics of survival data. Such techniques particularly facilitate machine learning-based survival analysis, as they allow for applying standard tools from machine and deep learning to many survival tasks without requiring custom learners. We provide an overview of different reduction …

{nplyr} has helper functions to work on nested dataframes: #rstats #datascience

A Grammar of Nested Data Manipulation
Provides functions for manipulating nested data frames in a list-column using dplyr syntax. Rather than unnesting, then manipulating a data frame, nplyr allows users to manipulate each nested data frame directly. nplyr is a wrapper for dplyr functions that provide tools for common data manipulation steps: filtering rows, selecting columns, summarising grouped data, among others.

In between his highly publicized designation of Antifa as a domestic terror organization
and his indictmentof former FBI Director James Comey,
Donald Trump signed
"The National Security Presidential Memorandum 7" (NSPM-7) titled
“Countering Domestic Terrorism and Organized Political Violence,”
that gives law enforcement new tools to target his critics.
It mandates a “national strategy to investigate and disrupt networks, entities, and organization…

Underreported Memo Is 'Declaration of War' Against Trump Opponents | Common Dreams
"By targeting beliefs and protest activity, the directive positions dissent itself as a potential crime," one news organization said.

Assessing prompting frameworks for enhancing literature reviews among university students using ChatGPT
Aminul Islam, Mukta Bansal, Lena Felix Stephanie, Poernomo Gunawan, Pui Tze Sian, Sabrina Luk, Eunice Tan, Hortense Le Ferrand
https://arxiv.org/abs/2509.01128

Assessing prompting frameworks for enhancing literature reviews among university students using ChatGPT
Writing literature reviews is a common component of university curricula, yet it often poses challenges for students. Since generative artificial intelligence (GenAI) tools have been made publicly accessible, students have been employing them for their academic writing tasks. However, there is limited evidence of structured training on how to effectively use these GenAI tools to support students in writing literature reviews. In this study, we explore how university students use one of the most…

AI – I am here to help; would you like to chat?
 
 
Artificial Intelligence (AI) of one type of another is now a part of most of the applications and services we use on the Internet. In spite of AI’s helpful features, there are hidden dangers in most of the common AI applications and services. Most people are not aware that AI is not just being helpful – it is recording, storing and sharing information about our activities. This information can be helpful to autocrats in their…

By default, common LLMs don't use current code features, and even higher-power ones are a coin flip. Go analysis tools, and the associated MCP server, helps push back against this so emitted code gets modernized on the way out of the model. #GophersUnite

An ACL2s Interface to Z3
Andrew T. Walter (Northeastern University), Panagiotis Manolios (Northeastern University)
https://arxiv.org/abs/2507.19014 https://

An ACL2s Interface to Z3
We present Lisp-Z3, an extension to the ACL2s systems programming framework (ASPF) that supports the use of the Z3 satisfiability modulo theories (SMT) solver. Lisp-Z3 allows one to develop tools written using the full feature set of Common Lisp that can use both ACL2/s (either ACL2 or ACL2s) and Z3 as services, combining the power of SMT and interactive theorem proving. Lisp-Z3 is usable by anyone who would like to interact with Z3 from Common Lisp, as it does not depend on the availability of…

Sensitivity of weighted least squares estimators to omitted variables
Leonard Wainstein, Chad Hazlett
https://arxiv.org/abs/2508.02954 https://arxiv.org/pd…

Sensitivity of weighted least squares estimators to omitted variables
This paper introduces tools for assessing the sensitivity, to unobserved confounding, of a common estimator of the causal effect of a treatment on an outcome that employs weights: the weighted linear regression of the outcome on the treatment and observed covariates. We demonstrate through the omitted variable bias framework that the bias of this estimator is a function of two intuitive sensitivity parameters: (i) the proportion of weighted variance in the treatment that unobserved confounding …

GM3: A General Physical Model for Micro-Mobility Vehicles
Grace Cai, Nithin Parepally, Laura Zheng, Ming C. Lin
https://arxiv.org/abs/2510.07807 https://ar…

GM3: A General Physical Model for Micro-Mobility Vehicles
Modeling the dynamics of micro-mobility vehicles (MMV) is becoming increasingly important for training autonomous vehicle systems and building urban traffic simulations. However, mainstream tools rely on variants of the Kinematic Bicycle Model (KBM) or mode-specific physics that miss tire slip, load transfer, and rider/vehicle lean. To our knowledge, no unified, physics-based model captures these dynamics across the full range of common MMVs and wheel layouts. We propose the "Generalized Micro-…

Drafting the Landscape of Computational Musicology Tools: a Survey-Based Approach
Jorge Junior Morgado Vega, Sachin Sharma, Federico Simonetta
https://arxiv.org/abs/2507.15590

Drafting the Landscape of Computational Musicology Tools: a Survey-Based Approach
Since the 60s, musicology has been increasingly impacted by computational tools in various ways, from systematic analysis approaches to modeling of creativity. This article presents a comprehensive assessment of the current state of Computational Musicology tools based on survey data collected from practitioners in the field. We gathered information on tool usage patterns, common analytical tasks, user satisfaction levels, data characteristics, and prioritized features across four distinct doma…

Growing Mathlib: maintenance of a large scale mathematical library
Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen, Michael Rothgang, Damiano Testa
https://arxiv.org/abs/2508.21593

Growing Mathlib: maintenance of a large scale mathematical library
The Lean mathematical library Mathlib is one of the fastest-growing libraries of formalised mathematics. We describe various strategies to manage this growth, while allowing for change and avoiding maintainer overload. This includes dealing with breaking changes via a deprecation system, using code quality analysis tools (linters) to provide direct user feedback about common pitfalls, speeding up compilation times through conscious library (re-)design, dealing with technical debt as well as wri…

Eye-Tracking and BCI Integration for Assistive Communication in Locked-In Syndrome: Pilot Study with Healthy Participants
Ana Patr\'icia Pinto, Rute Bettencourt, Urbano J. Nunes, Gabriel Pires
https://arxiv.org/abs/2509.23518

Eye-Tracking and BCI Integration for Assistive Communication in Locked-In Syndrome: Pilot Study with Healthy Participants
Patients with Amyotrophic Lateral Sclerosis (ALS) progressively lose voluntary motor control, often leading to a Locked-In State (LIS), or in severe cases, a Completely Locked-in State (CLIS). Eye-tracking (ET) systems are common communication tools in early LIS but become ineffective as oculomotor function declines. EEG-based Brain-Computer Interfaces (BCIs) offer a non-muscular communication alternative, but delayed adoption may reduce performance due to diminished goal-directed thinking. Thi…

Towards Experiment Execution in Support of Community Benchmark Workflows for HPC
Gregor von Laszewski, Wesley Brewer, Sean R. Wilkinson, Andrew Shao, J. P. Fleischer, Harshad Pitkar, Christine R. Kirkpatrick, Geoffrey C. Fox
https://arxiv.org/abs/2507.22294

Towards Experiment Execution in Support of Community Benchmark Workflows for HPC
A key hurdle is demonstrating compute resource capability with limited benchmarks. We propose workflow templates as a solution, offering adaptable designs for specific scientific applications. Our paper identifies common usage patterns for these templates, drawn from decades of HPC experience, including recent work with the MLCommons Science working group. We found that focusing on simple experiment management tools within the broader computational workflow improves adaptability, especially i…

Multiscale 2-Mapper -- Exploratory Data Analysis Guided by the First Betti Number
Halley Fritze
https://arxiv.org/abs/2509.22816 https://arxiv.org/pdf/2509…

Multiscale 2-Mapper -- Exploratory Data Analysis Guided by the First Betti Number
The Mapper algorithm is a fundamental tool in exploratory topological data analysis for identifying connectivity and topological clustering in data. Derived from the nerve construction, Mapper graphs can contain additional information about clustering density when considering the higher-dimensional skeleta. To observe two-dimensional features, and capture one-dimensional topology, we construct 2-Mapper. A common issue in using Mapper algorithms is parameter choice. We develop tools to choose 2-…

Breaking Language Barriers: Equitable Performance in Multilingual Language Models
Tanay Nagar, Grigorii Khvatskii, Anna Sokol, Nitesh V. Chawla
https://arxiv.org/abs/2508.12662 …

Breaking Language Barriers: Equitable Performance in Multilingual Language Models
Cutting-edge LLMs have emerged as powerful tools for multilingual communication and understanding. However, LLMs perform worse in Common Sense Reasoning (CSR) tasks when prompted in low-resource languages (LRLs) like Hindi or Swahili compared to high-resource languages (HRLs) like English. Equalizing this inconsistent access to quality LLM outputs is crucial to ensure fairness for speakers of LRLs and across diverse linguistic communities. In this paper, we propose an approach to bridge this ga…

LLMHoney: A Real-Time SSH Honeypot with Large Language Model-Driven Dynamic Response Generation
Pranjay Malhotra
https://arxiv.org/abs/2509.01463 https://a…

LLMHoney: A Real-Time SSH Honeypot with Large Language Model-Driven Dynamic Response Generation
Cybersecurity honeypots are deception tools for engaging attackers and gather intelligence, but traditional low or medium-interaction honeypots often rely on static, pre-scripted interactions that can be easily identified by skilled adversaries. This Report presents LLMHoney, an SSH honeypot that leverages Large Language Models (LLMs) to generate realistic, dynamic command outputs in real time. LLMHoney integrates a dictionary-based virtual file system to handle common commands with low latency…

A Human-in-the-loop Approach to Robot Action Replanning through LLM Common-Sense Reasoning
Elena Merlo, Marta Lagomarsino, Arash Ajoudani
https://arxiv.org/abs/2507.20870 https:…

A Human-in-the-loop Approach to Robot Action Replanning through LLM Common-Sense Reasoning
To facilitate the wider adoption of robotics, accessible programming tools are required for non-experts. Observational learning enables intuitive human skills transfer through hands-on demonstrations, but relying solely on visual input can be inefficient in terms of scalability and failure mitigation, especially when based on a single demonstration. This paper presents a human-in-the-loop method for enhancing the robot execution plan, automatically generated based on a single RGB video, with na…

Learning the non-Markovian features of subsystem dynamics
Michele Coppola, Mari Carmen Ba\~nuls, Zala Lenar\v{c}i\v{c}
https://arxiv.org/abs/2507.14133 htt…

Learning the non-Markovian features of subsystem dynamics
The dynamics of local observables in a quantum many-body system can be formally described in the language of open systems. The problem is that the bath representing the complement of the local subsystem generally does not allow the common simplifications often crucial for such a framework. Leveraging tensor network calculations and optimization tools from machine learning, we extract and characterize the dynamical maps for single- and two-site subsystems embedded in an infinite quantum Ising ch…

Insights into User Interface Innovations from a Design Thinking Workshop at deRSE25
Maximilian Frank, Simon Lund
https://arxiv.org/abs/2508.18784 https://a…

Insights into User Interface Innovations from a Design Thinking Workshop at deRSE25
Large Language Models have become widely adopted tools due to their versatile capabilities, yet their user interfaces remain limited, often following rigid, linear interaction paradigms. In this paper, we present insights from a design thinking workshop held at the deRSE25 conference aiming at collaboratively developing innovative user interface concepts for LLMs. During the workshop, participants identified common use cases, evaluated the strengths and shortcomings of current LLM interfaces, a…

In-Transit Data Transport Strategies for Coupled AI-Simulation Workflow Patterns
Harikrishna Tummalapalli, Riccardo Balin, Christine M. Simpson, Andrew Park, Aymen Alsaadi, Andrew E. Shao, Wesley Brewer, Shantenu Jha
https://arxiv.org/abs/2509.19150

Developing a ChatGPT-Based Tool for Physics Experiment Teaching
Yifeng Liu, Min Li, Zhaojun Zhang, Youkang Fang, Meibao Qin
https://arxiv.org/abs/2508.13011 https://

Developing a ChatGPT-Based Tool for Physics Experiment Teaching
This paper examines how advanced AI assistants can help physics educators create practical teaching tools without specialized programming skills. Using the square-wave synthesis experiment as a case, we target common obstacles in laboratory instruction-complex setup, unstable signals, and limited class time-and show how AI-assisted development can shift attention from wiring and calibration to core physical ideas. To address this need, we guided an AI assistant through iterative prompts to ge…

HTML Structure Exploration in 3D Software Cities
Malte Hansen, David Moreno-Lumbreras, Wilhelm Hasselbring
https://arxiv.org/abs/2510.00004 https://arxiv.o…

HTML Structure Exploration in 3D Software Cities
Software visualization, which uses data from dynamic program analysis, can help to explore and understand the behavior of software systems. It is common that large software systems offer a web interface for user interaction. Usually, available web interfaces are not regarded in software visualization tools. This paper introduces additions to the web-based live tracing software visualization tool ExplorViz: We add an embedded web view for instrumented applications in the 3D visualization to ease…

PRIMMDebug: A Debugging Teaching Aid For Secondary Students
Laurie Gale, Sue Sentance
https://arxiv.org/abs/2508.18875 https://arxiv.org/pdf/2508.18875

PRIMMDebug: A Debugging Teaching Aid For Secondary Students
Debugging is often a challenging and infuriating experience for secondary school students learning their first text-based programming language. Many students resort to ineffective debugging strategies, making success with solving errors unlikely and emotional distress common. Developing tools that encourage students to adopt a more systematic and reflective approach to debugging is therefore an important, but lacking, area of research. This paper presents PRIMMDebug, a debugging teaching aid fo…

Flying Drones to Locate Cyber-Attackers in LoRaWAN Metropolitan Networks
Matteo Repetto, Enrico Cambiaso, Fabio Patrone, Sandro Zappatore
https://arxiv.org/abs/2509.15725 https:…

Flying Drones to Locate Cyber-Attackers in LoRaWAN Metropolitan Networks
Today, many critical services and industrial systems rely on wireless networks for interaction with the IoT, hence becoming vulnerable to a broad number of cyber-threats. While detecting this kind of attacks is not difficult with common cyber-security tools, and even trivial for jamming, finding their origin and identifying culprits is almost impossible today, yet indispensable to stop them, especially when attacks are generated with portable or self-made devices that continuously move around. …

Container Orchestration Patterns for Optimizing Resource Use
Diogo Maia, Filipe Correia, Andr\'e Restivo, Paulo Queiroz
https://arxiv.org/abs/2510.00197 https://

Container Orchestration Patterns for Optimizing Resource Use
Service-based architectures provide substantial benefits, yet service orchestration remains a challenge, particularly for newcomers. While various resources on orchestration techniques exist, they often lack clarity and standardization, making best practices difficult to implement and limiting their adoption within the software industry. To address this gap, we analyzed existing literature and tools to identify common orchestration practices. Based on our findings, we define three key orchest…

Okay, so please correct me if I'm wrong about the state of #OpenPGP right now.
So first there's the former #RFC4880bis which is now pursued as "#LibrePGP", used by #GnuPG (and #rnp?), with a "v5" key format, that everyone else seem to looks "politely" at.
Then there's #RFC9580 with a "v6" key format, used by #OpenPGPjs, #SequoiaPGP (and more) but explicitly rejected by GnuPG. However, it seems to be pushed forward under the assumption that GnuPG will yield to pressure.
So we effectively have two incompatible standards, with a "common denominator" of ancient #RFC4880, some tools pursuing one of them with disregard for the other, and a few supporting both for the sake of the users. And #Gentoo is effectively stuck with whatever GnuPG supports, because we need working crypto on all supported platforms, not just the "Rust subset".
https://bugs.gentoo.org/963069

Fine-Tuning Code Language Models to Detect Cross-Language Bugs
Zengyang Li, Yimeng Li, Binbin Huang, Peng Liang, Ran Mo, Hui Liu, Yutao Ma
https://arxiv.org/abs/2507.21954 https…

Fine-Tuning Code Language Models to Detect Cross-Language Bugs
Multilingual programming, which involves using multiple programming languages (PLs) in a single project, is increasingly common due to its benefits. However, it introduces cross-language bugs (CLBs), which arise from interactions between different PLs and are difficult to detect by single-language bug detection tools. This paper investigates the potential of pre-trained code language models (CodeLMs) in CLB detection. We developed CLCFinder, a cross-language code identification tool, and constr…

VulCoCo: A Simple Yet Effective Method for Detecting Vulnerable Code Clones
Tan Bui, Yan Naing Tun, Thanh Phuc Nguyen, Yindu Su, Ferdian Thung, Yikun Li, Han Wei Ang, Yide Yin, Frank Liauw, Lwin Khin Shar, Eng Lieh Ouh, Ting Zhang, David Lo
https://arxiv.org/abs/2507.16661

VulCoCo: A Simple Yet Effective Method for Detecting Vulnerable Code Clones
Code reuse is common in modern software development, but it can also spread vulnerabilities when developers unknowingly copy risky code. The code fragments that preserve the logic of known vulnerabilities are known as vulnerable code clones (VCCs). Detecting those VCCs is a critical but challenging task. Existing VCC detection tools often rely on syntactic similarity or produce coarse vulnerability predictions without clear explanations, limiting their practical utility. In this paper, we propo…