Tootfinder

The @… paper Algorithmic Alphabets for Patterns of Movement by @… @… me is published !

This https://arxiv.org/abs/2503.11207 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csAI_…

Can Large Reasoning Models do Analogical Reasoning under Perceptual Uncertainty?
This work presents a first evaluation of two state-of-the-art Large Reasoning Models (LRMs), OpenAI's o3-mini and DeepSeek R1, on analogical reasoning, focusing on well-established nonverbal human IQ tests based on Raven's progressive matrices. We benchmark with the I-RAVEN dataset and its extension, I-RAVEN-X, which tests the ability to generalize to longer reasoning rules and ranges of the attribute values. To assess the influence of visual uncertainties on these symbolic analogical reasoning…

Visited the Fine Arts Museum here in Budapest, and it was great. Many more important works than I was expecting. The temporary exhibition ”Master MS and his age” https://www.mfab.hu/exhibitions/master-ms-and-his-age/ was great, too.
Apart from the art on display…

Master MS and his Age - Museum of Fine Arts, Budapest
  The exhibition showcases one of the most significant yet enigmatic figures of medieval Hungarian art, known as Master MS. At the heart of the monographic exhibition is Master MS’s most famous work: the former high altarpiece of Saint Catherine’s Church in Selmecbánya (now Banská Štiavnica, Slovakia). The seven surviving panel paintings of this monumental …

Performance of multiple filter-cavity schemes for frequency-dependent squeezing in gravitational-wave detectors
Jacques Ding, Eleonora Capocasa, Isander Ahrend, Fangfei Liu, Yuhang Zhao, Matteo Barsuglia
https://arxiv.org/abs/2506.02222

Performance of multiple filter-cavity schemes for frequency-dependent squeezing in gravitational-wave detectors
Gravitational-wave detectors use state-of-the-art quantum technologies to circumvent vacuum fluctuations via squeezed states of light. Future detectors such as Einstein Telescope may require the use of two filter cavities or a 3-mirror, coupled filter cavity to achieve a complex rotation of the squeezing ellipse in order to reduce the quantum noise over the whole detector bandwidth. In this work, we compare the theoretical feasibility and performances of these two systems and their resilience w…

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
Zhiwei Zhang, Samy Wu Fung, Anastasios Kyrillidis, Stanley Osher, Moshe Y. Vardi
https://arxiv.org/abs/2506.00674

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
The Boolean satisfiability (SAT) problem lies at the core of many applications in combinatorial optimization, software verification, cryptography, and machine learning. While state-of-the-art solvers have demonstrated high efficiency in handling conjunctive normal form (CNF) formulas, numerous applications require non-CNF (hybrid) constraints, such as XOR, cardinality, and Not-All-Equal constraints. Recent work leverages polynomial representations to represent such hybrid constraints, but it re…

Similarity-based fuzzy clustering scientific articles: potentials and challenges from mathematical and computational perspectives
Vu Thi Huong, Ida Litzel, Thorsten Koch
https://arxiv.org/abs/2506.04045

Similarity-based fuzzy clustering scientific articles: potentials and challenges from mathematical and computational perspectives
Fuzzy clustering, which allows an article to belong to multiple clusters with soft membership degrees, plays a vital role in analyzing publication data. This problem can be formulated as a constrained optimization model, where the goal is to minimize the discrepancy between the similarity observed from data and the similarity derived from a predicted distribution. While this approach benefits from leveraging state-of-the-art optimization algorithms, tailoring them to work with real, massive dat…

A Practical Linear Time Algorithm for Optimal Tree Decomposition of Halin Graphs
J. A. Alejandro-Soto, Joel Antonio Trejo-Sanchez, Carlos Segura
https://arxiv.org/abs/2506.02346

A Practical Linear Time Algorithm for Optimal Tree Decomposition of Halin Graphs
This work proposes \textsc{H-Td}, a practical linear-time algorithm for computing an optimal-width tree decomposition of Halin graphs. Unlike state-of-the-art methods based on reduction rules or separators, \textsc{H-Td} exploits the structural properties of Halin graphs. Although two theoretical linear-time algorithms exist that can be applied to graphs of treewidth three, no practical implementation has been made publicly available. Furthermore, extending reduction-based approaches to partial…

This https://arxiv.org/abs/2502.17370 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_sta…

A Refined Analysis of UCBVI
In this work, we provide a refined analysis of the UCBVI algorithm (Azar et al., 2017), improving both the bonus terms and the regret analysis. Additionally, we compare our version of UCBVI with both its original version and the state-of-the-art MVP algorithm. Our empirical validation demonstrates that improving the multiplicative constants in the bounds has significant positive effects on the empirical performance of the algorithms.

Result of many months of work - over 15,000 LEDs to make a dim room. For #neotropolis
The triangles on the front are segments of 32 addressable LEDs, but were just solid white most of the time. The window clock is sheets of WS2816 driven by Novastar processor. The columns are RGBW DMX512. (one color per column.)
The columns are laser cut. The mirror pieces are CNC'd with my home…

Did you know that the #UniversityOfGeorgia has TWO sets of Jean Charlot murals on its campus? Charlot hung out on the UGA campus for three years in the early 1940s, teaching and working with students. His murals that were inside what was once UGA's journalism building recently underwent some restoration thanks to our museum and the help of a lot of people from across campus.

Tungsten erosion and scrape-off layer transport modelling in L-mode helium plasma discharges in ASDEX Upgrade
G. Alberti, E. Tonello, C. Tuccari, F. Mombelli, S. Brezinsek, T. Dittmar, A. Hakola, A. Kirschner, K. Krieger, M. Rasinski, J. Romazanov, A. Uccello, A. Widdowson, M. Passoni, the ASDEX Upgrade Team, the EUROfusion Tokamak Exploitation Team
…

Tungsten erosion and scrape-off layer transport modelling in L-mode helium plasma discharges in ASDEX Upgrade
Due to its unavoidable presence in thermonuclear DT plasmas and to its peculiar effects on materials, investigating the role of helium (He) in plasma-wall interaction (PWI) in current tokamaks is fundamental. In this work, PWI in L-mode He plasma discharges in ASDEX Upgrade (AUG) is modelled by exploiting simplified analytical approaches and two state-of-the-art codes. SOLPS-ITER is employed both to provide a suitable background plasma for erosion simulations and to interpret diagnostics measur…

This https://arxiv.org/abs/2502.06976 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csMA_…

Who is Helping Whom? Analyzing Inter-dependencies to Evaluate Cooperation in Human-AI Teaming
State-of-the-art methods for Human-AI Teaming and Zero-shot Cooperation focus on task completion, i.e., task rewards, as the sole evaluation metric while being agnostic to how the two agents work with each other. Furthermore, subjective user studies only offer limited insight into the quality of cooperation existing within the team. Specifically, we are interested in understanding the cooperative behaviors arising within the team when trained agents are paired with humans -- a problem that has …

This https://arxiv.org/abs/2412.03795 has been replaced.
initial toot: https://mastoxiv.page/@arXi…

Samudra: An AI Global Ocean Emulator for Climate
AI emulators for forecasting have emerged as powerful tools that can outperform conventional numerical predictions. The next frontier is to build emulators for long climate simulations with skill across a range of spatiotemporal scales, a particularly important goal for the ocean. Our work builds a skillful global emulator of the ocean component of a state-of-the-art climate model. We emulate key ocean variables, sea surface height, horizontal velocities, temperature, and salinity, across their…

PARROT: Synergizing Mamba and Attention-based SSL Pre-Trained Models via Parallel Branch Hadamard Optimal Transport for Speech Emotion Recognition
Orchid Chetia Phukan, Mohd Mujtaba Akhtar, Girish, Swarup Ranjan Behera, Jaya Sai Kiran Patibandla, Arun Balaji Buduru, Rajesh Sharma
https://arxiv.org/abs/2506.01138

PARROT: Synergizing Mamba and Attention-based SSL Pre-Trained Models via Parallel Branch Hadamard Optimal Transport for Speech Emotion Recognition
The emergence of Mamba as an alternative to attention-based architectures has led to the development of Mamba-based self-supervised learning (SSL) pre-trained models (PTMs) for speech and audio processing. Recent studies suggest that these models achieve comparable or superior performance to state-of-the-art (SOTA) attention-based PTMs for speech emotion recognition (SER). Motivated by prior work demonstrating the benefits of PTM fusion across different speech processing tasks, we hypothesize t…

This https://arxiv.org/abs/2503.07792 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csAI_…

Efficient Neural Clause-Selection Reinforcement
Clause selection is arguably the most important choice point in saturation-based theorem proving. Framing it as a reinforcement learning (RL) task is a way to challenge the human-designed heuristics of state-of-the-art provers and to instead automatically evolve -- just from prover experiences -- their potentially optimal replacement. In this work, we present a neural network architecture for scoring clauses for clause selection that is powerful yet efficient to evaluate. Following RL principle…

Happy & Glorious: Coronation art exhibition goes on show https://www.nationalarchives.gov.uk/about/news/happy-glorious-coronation-art-exhibition-goes-on-show/

Happy & Glorious: Coronation art exhibition goes on show - The National Archives
Stunning new artwork commissioned by the Government Art Collection to mark the Coronation of Their Majesties King Charles III and Queen Camilla has gone on show in our Happy & Glorious exhibition. The free exhibition includes work by artists from across the UK created in response to the Coronation on 6 May 2023. For the […]

We've got buried treasure on view in a new display at the museum. Thanks to a recent gift and the work of a consultant and a staff member, we're displaying mingqi, or "spirit goods," in two adjoining cases in the permanent collection. Read on to learn more about how this grouping of well-preserved objects came together.

Oh hey, it's #ScreenshotSaturday , here's the latest mockup from the video game adaptation of Battle of Tarot I'm working on with some lovely people.
Everything is still a work-in-progress and not final at all, but trying to get the visual style nailed down.
#GameDev

Is Your LLM Overcharging You? Tokenization, Transparency, and Incentives
Ander Artola Velasco, Stratis Tsirtsis, Nastaran Okati, Manuel Gomez-Rodriguez
https://arxiv.org/abs/2505.21627

Is Your LLM Overcharging You? Tokenization, Transparency, and Incentives
State-of-the-art large language models require specialized hardware and substantial energy to operate. As a consequence, cloud-based services that provide access to large language models have become very popular. In these services, the price users pay for an output provided by a model depends on the number of tokens the model uses to generate it -- they pay a fixed price per token. In this work, we show that this pricing mechanism creates a financial incentive for providers to strategize and mi…

LLMs are now part of our daily work, making coding easier. Join Ivan Dolgov at this year's Berlin Buzzwords to learn how they built an in-house LLM for AI code completion in JetBrains products, covering design choices, data preparation, training and model evaluation.
Learn more: https://

Hand Shadow Art: A Differentiable Rendering Perspective
Aalok Gangopadhyay, Prajwal Singh, Ashish Tiwari, Shanmuganathan Raman
https://arxiv.org/abs/2505.21252

Hand Shadow Art: A Differentiable Rendering Perspective
Shadow art is an exciting form of sculptural art that produces captivating artistic effects through the 2D shadows cast by 3D shapes. Hand shadows, also known as shadow puppetry or shadowgraphy, involve creating various shapes and figures using your hands and fingers to cast meaningful shadows on a wall. In this work, we propose a differentiable rendering-based approach to deform hand models such that they cast a shadow consistent with a desired target image and the associated lighting configur…

Towards Machine Unlearning for Paralinguistic Speech Processing
Orchid Chetia Phukan, Girish, Mohd Mujtaba Akhtar, Shubham Singh, Swarup Ranjan Behera, Vandana Rajan, Muskaan Singh, Arun Balaji Buduru, Rajesh Sharma
https://arxiv.org/abs/2506.02230

Towards Machine Unlearning for Paralinguistic Speech Processing
In this work, we pioneer the study of Machine Unlearning (MU) for Paralinguistic Speech Processing (PSP). We focus on two key PSP tasks: Speech Emotion Recognition (SER) and Depression Detection (DD). To this end, we propose, SISA++, a novel extension to previous state-of-the-art (SOTA) MU method, SISA by merging models trained on different shards with weight-averaging. With such modifications, we show that SISA++ preserves performance more in comparison to SISA after unlearning in benchmark SE…

This https://arxiv.org/abs/2505.21469 has been replaced.
initial toot: https://mastoxiv.page/@ar…

PropMolFlow: Property-guided Molecule Generation with Geometry-Complete Flow Matching
Molecule generation is advancing rapidly in chemical discovery and drug design. Flow matching methods have recently set the state of the art (SOTA) in unconditional molecule generation, surpassing score-based diffusion models. However, diffusion models still lead in property-guided generation. In this work, we introduce PropMolFlow, a novel approach for property-guided molecule generation based on geometry-complete SE(3)-equivariant flow matching. Integrating five different property embedding m…