arXiv:2509.09915v1 Announce Type: new Abstract: Modern scientific discovery increasingly requires coordinating distributed facilities and heterogeneous resources, forcing researchers to act as manual workflow coordinators rather than scientists. Advances in AI leading to AI agents show exciting new opportunities that can…
arXiv:2509.09919v1 Announce Type: new Abstract: Procedural content generation often requires satisfying both designer-specified objectives and adjacency constraints implicitly imposed by the underlying tile set. To address the challenges of jointly optimizing both constraints and objectives, we reformulate WaveFunctionCollapse (WFC) as…
arXiv:2509.09848v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly being recognised as valuable knowledge communication tools in many industries. However, their application in livestock farming remains limited, being constrained by several factors not least the availability, diversity and…
arXiv:2509.09867v1 Announce Type: new Abstract: LLMs promise to assist humans — not just by answering questions, but by offering useful guidance across a wide range of tasks. But how far does that assistance go? Can a large language model based…
arXiv:2509.09810v1 Announce Type: new Abstract: Autoformalization has emerged as a term referring to the automation of formalization – specifically, the formalization of mathematics using interactive theorem provers (proof assistants). Its rapid development has been driven by progress in deep learning,…
arXiv:2509.09794v1 Announce Type: new Abstract: Computational models have emerged as powerful tools for energy modeling research, touting scalability and quantitative results. However, these models require a plethora of data, some of which is inaccessible, expensive, or raises privacy concerns. We…
arXiv:2509.09790v1 Announce Type: new Abstract: Learning to plan in grounded environments typically requires carefully designed reward functions or high-quality annotated demonstrations. Recent works show that pretrained foundation models, such as large language models (LLMs) and vision language models (VLMs), capture…
arXiv:2406.16929v2 Announce Type: replace-cross Abstract: The introduction of 5G technology has revolutionized communications, enabling unprecedented capacity, connectivity, and ultra-fast, reliable communications. However, this leap has led to a substantial increase in energy consumption, presenting a critical challenge for network sustainability.…
arXiv:2509.09982v1 Announce Type: new Abstract: Evaluating explainable AI (XAI) approaches is a challenging task in general, due to the subjectivity of explanations. In this paper, we focus on tabular data and the specific use case of AI models predicting the…
arXiv:2412.12039v3 Announce Type: replace-cross Abstract: Despite their remarkable success, large language models (LLMs) have shown limited ability on safety-critical code tasks such as vulnerability detection. Typically, static analysis (SA) tools, like CodeQL, CodeGuru Security, etc., are used for vulnerability detection.…
