Tootfinder

Finished Altered States (1980) and it's a cool movie, but I can't get over how ridiculous it is to suggest tripping and using a sensory deprivation tank would cause genetic changes 😂 Definitely has the feel of some almost paranormal type stuff. The worst part might be how badly he treats his wife 😒
https://boxd.it/1TBi

Altered States (1980)
A research scientist explores the boundaries and frontiers of consciousness. Using sensory deprivation and hallucinogenic mixtures from native American shamans, he explores these altered states of consciousness and finds that memory, time, and perhaps reality itself are states of mind.

Inpainting-Guided Policy Optimization for Diffusion Large Language Models
Siyan Zhao, Mengchen Liu, Jing Huang, Miao Liu, Chenyu Wang, Bo Liu, Yuandong Tian, Guan Pang, Sean Bell, Aditya Grover, Feiyu Chen
https://arxiv.org/abs/2509.10396

Inpainting-Guided Policy Optimization for Diffusion Large Language Models
Masked diffusion large language models (dLLMs) are emerging as promising alternatives to autoregressive LLMs, offering competitive performance while supporting unique generation capabilities such as inpainting. We explore how inpainting can inform RL algorithm design for dLLMs. Aligning LLMs with reinforcement learning faces an exploration challenge: sparse reward signals and sample waste when models fail to discover correct solutions. While this inefficiency affects LLMs broadly, dLLMs offer a…

Your Compiler is Backdooring Your Model: Understanding and Exploiting Compilation Inconsistency Vulnerabilities in Deep Learning Compilers
Simin Chen, Jinjun Peng, Yixin He, Junfeng Yang, Baishakhi Ray
https://arxiv.org/abs/2509.11173

Your Compiler is Backdooring Your Model: Understanding and Exploiting Compilation Inconsistency Vulnerabilities in Deep Learning Compilers
Deep learning (DL) compilers are core infrastructure in modern DL systems, offering flexibility and scalability beyond vendor-specific libraries. This work uncovers a fundamental vulnerability in their design: can an official, unmodified compiler alter a model's semantics during compilation and introduce hidden backdoors? We study both adversarial and natural settings. In the adversarial case, we craft benign models where triggers have no effect pre-compilation but become effective backdoors af…

An Efficient Algorithm for Exploring RNA Branching Conformations under the Nearest-Neighbor Thermodynamic Model
Svetlana Poznanovi\'c, Owen Cardwell, Christine Heitsch
https://arxiv.org/abs/2510.12059

An Efficient Algorithm for Exploring RNA Branching Conformations under the Nearest-Neighbor Thermodynamic Model
Background: In the Nearest-Neighbor Thermodynamic Model, a standard approach for RNA secondary structure prediction, the energy of the multiloops is modeled using a linear entropic penalty governed by three branching parameters. Although these parameters are typically fixed, recent work has shown that reparametrizing the multiloop score and considering alternative branching conformations can lead to significantly better structure predictions. However, prior approaches for exploring the alternat…

Living with Data: Exploring Physicalization Approaches to Sedentary Behavior Intervention for the Elderly
Siying Hu, Zhenhao Zhang
https://arxiv.org/abs/2509.11059 https://

Living with Data: Exploring Physicalization Approaches to Sedentary Behavior Intervention for the Elderly
Sedentary behavior is a critical health risk for older adults. While digital interventions exist, they often rely on screen-based notifications that feel clinical and are easily ignored. This paper presents a Research through Design inquiry into data physicalization as a humane alternative. We designed and deployed tangible artifacts that ambiently represent sedentary patterns in older adults' homes. These artifacts transform abstract data into aesthetic, evolving forms, becoming part of the do…

Additional JWST/NIRSpec Transits of the Rocky M Dwarf Exoplanet GJ 1132 b Reveal a Featureless Spectrum
Katherine A. Bennett, Ryan J. MacDonald, Sarah Peacock, Junellie Perez, E. M. May, Sarah E. Moran, Lili Alderson, Jacob Lustig-Yaeger, Hannah R. Wakeford, David K. Sing, Kevin B. Stevenson, Natasha E. Batalha, Mercedes L\'opez-Morales, Munazza K. Alam, Joshua D. Lothringer, Guangwei Fu, James Kirk, Jeff A. Valenti, L. C. Mayorga, Kristin S. Sotzen

Additional JWST/NIRSpec Transits of the Rocky M Dwarf Exoplanet GJ 1132 b Reveal a Featureless Spectrum
As an archetypal M-dwarf rocky exoplanet, GJ 1132 b has a varied history of atmospheric measurements. At 1.13 $\rm R_{\oplus}$, 1.66 $\rm M_{\oplus}$, and 580 K, it orbits a bright, slowly rotating M dwarf in a 1.6-day period, making it a prime target for characterization. In this study, we combine two JWST NIRSpec/G395H transits previously reported by May and MacDonald et al. 2023 with two new NIRSpec/G395M transits to constrain the presence of an atmosphere. This marks the first time the G395…

Spin-polarization and diode effect in thermoelectric current through altermagnet-based superconductor heterostructures
Debika Debnath, Arijit Saha, Paramita Dutta
https://arxiv.org/abs/2509.12198

Spin-polarization and diode effect in thermoelectric current through altermagnet-based superconductor heterostructures
The recent advent of a new class of magnetic material named as altermagnet (AM), characterized by a combination of momentum-dependent spin-splitting with zero net magnetization, has opened up promising prospects for spintronic applications. We theoretically explore how the altermagnetic spin-splitting affects the thermoelectric quasiparticle current in AM-based superconducting heterostructures. Our setup comprises of a bilayer system where a $d$-wave AM is proximity coupled to an ordinary $s$-w…

Cut-elimination for the alternation-free modal mu-calculus
Bahareh Afshari, Johannes Kloibhofer
https://arxiv.org/abs/2510.11293 https://arxiv.org/pdf/2510…

Cut-elimination for the alternation-free modal mu-calculus
We present a syntactic cut-elimination procedure for the alternation-free fragment of the modal mu-calculus. Cut reduction is carried out within a cyclic proof system, where proofs are finitely branching but may be non-wellfounded. The structure of such proofs is exploited to directly transform a cyclic proof with cuts into a cut-free one, without detouring through other logics or relying on intermediate machinery for regularisation. Novel ingredients include the use of multicuts and results fr…

ProtoSiTex: Learning Semi-Interpretable Prototypes for Multi-label Text Classification
Utsav Kumar Nareti, Suraj Kumar, Soumya Pandey, Soumi Chattopadhyay, Chandranath Adak
https://arxiv.org/abs/2510.12534

ProtoSiTex: Learning Semi-Interpretable Prototypes for Multi-label Text Classification
The surge in user-generated reviews has amplified the need for interpretable models that can provide fine-grained insights. Existing prototype-based models offer intuitive explanations but typically operate at coarse granularity (sentence or document level) and fail to address the multi-label nature of real-world text classification. We propose ProtoSiTex, a semi-interpretable framework designed for fine-grained multi-label text classification. ProtoSiTex employs a dual-phase alternating traini…

Stabilizing Long-term Multi-turn Reinforcement Learning with Gated Rewards
Zetian Sun, Dongfang Li, Zhuoen Chen, Yuhuai Qin, Baotian Hu
https://arxiv.org/abs/2508.10548 https://…

Stabilizing Long-term Multi-turn Reinforcement Learning with Gated Rewards
Reward sparsity in long-horizon reinforcement learning (RL) tasks remains a significant challenge, while existing outcome-based reward shaping struggles to define meaningful immediate rewards without introducing bias or requiring explicit task decomposition. Alternatively, verification-based reward shaping uses stepwise critics, but misalignment between immediate rewards and long-term objectives can lead to reward hacking and suboptimal policies. In this work, we address this problem in the con…