Tootfinder

A Goal-Oriented Approach for Active Object Detection with Exploration-Exploitation Balance
Yalei Yu, Matthew Coombes, Wen-Hua Chen, Cong Sun, Myles Flanagan, Jingjing Jiang, Pramod Pashupathy, Masoud Sotoodeh-Bahraini, Peter Kinnell, Niels Lohse
https://arxiv.org/abs/2509.11467

A Goal-Oriented Approach for Active Object Detection with Exploration-Exploitation Balance
Active object detection, which aims to identify objects of interest through controlled camera movements, plays a pivotal role in real-world visual perception for autonomous robotic applications, such as manufacturing tasks (e.g., assembly operations) performed in unknown environments. A dual control for exploration and exploitation (DCEE) algorithm is presented within goal-oriented control systems to achieve efficient active object detection, leveraging active learning by incorporating variance…

A Comprehensive Survey on Benchmarks and Solutions in Software Engineering of LLM-Empowered Agentic System
Jiale Guo, Suizhi Huang, Mei Li, Dong Huang, Xingsheng Chen, Regina Zhang, Zhijiang Guo, Han Yu, Siu-Ming Yiu, Christian Jensen, Pietro Lio, Kwok-Yan Lam
https://arxiv.org/abs/2510.09721

A Comprehensive Survey on Benchmarks and Solutions in Software Engineering of LLM-Empowered Agentic System
The integration of LLMs into software engineering has catalyzed a paradigm shift from traditional rule-based systems to sophisticated agentic systems capable of autonomous problem-solving. Despite this transformation, the field lacks a comprehensive understanding of how benchmarks and solutions interconnect, hindering systematic progress and evaluation. This survey presents the first holistic analysis of LLM-empowered software engineering, bridging the critical gap between evaluation and soluti…

The influence of tight binaries on proto-planetary disk masses
Kevin Flaherty, Peter Knowlton, Tasan Smith-Gandy, A. Meredith Hughes, Marina Kounkel, Eric Jensen, James Muzerolle, Kevin Covey
https://arxiv.org/abs/2510.09823

The influence of tight binaries on proto-planetary disk masses
Binary systems are a common site of planet formation, despite the destructive effects of the binary on the disk. While surveys of planet forming material have found diminished disk masses around medium separation ($\sim$10--100 au) binaries, less is known about tight ($<$10 au) binaries, where a significant circumbinary disk may escape the disruptive dynamical effects of the binary. We survey over 100 spectroscopic binaries in the Orion A region with ALMA, detecting significant continuum emissi…

Fox News cancels MediaBuzz with Howard Kurtz, the last media criticism show on TV after CNN's Reliable Sources was canceled; Kurtz will remain with the network (Alex Weprin/The Hollywood Reporter)
https://www.hollywoodreporter.com/tv/tv-ne

Fox News’ Weekend Shuffle: Kayleigh McEnany, Peter Doocy and Jacqui Heinrich In; ‘MediaBuzz’ Canceled
MediaBuzz' anchor Howard Kurtz will become a political media analyst, while Griff Jenkins joins 'Fox & Friends' weekend and Johnny Joey Jones and Tomi Lahren named permanent hosts of 'The Big Weekend Show.

Extension of generalized KYP lemma: from LTI systems to LPV systems
Jingjing Zhang, Jan Heiland, Peter Benner, Xin Du
https://arxiv.org/abs/2508.08579 https://

Extension of generalized KYP lemma: from LTI systems to LPV systems
The generalized Kalman-Yakubovich-Popov (gKYP) lemma, established by Iwasaki and Hara (2005 IEEE TAC), has served as a fundamental tool for finite-frequency analysis and synthesis of linear time-invariant (LTI) systems. Over the past two decades, efforts to extend the gKYP lemma from LTI systems to linear parameter varying (LPV) systems have been hindered by the intricate time-frequency inter-modulation effect between the input signal and the time-varying scheduling parameter. A key element in …

A transcendental non-Archimedean Calabi--Yau Theorem with applications to the cscK problem
Pietro Mesquita-Piccione, David Witt Nystr\"om
https://arxiv.org/abs/2509.09442 h…

A transcendental non-Archimedean Calabi--Yau Theorem with applications to the cscK problem
Let $X$ be a compact Kähler manifold and $α$ a Kähler class on $X$. We prove that if $(X,α)$ is uniformly K-stable for models, then there is a unique cscK metric in $α$. This was first proved in the algebraic case by Chi Li, and it strengthens a related result in an article of Mesquita-Piccione. K-stability for models is defined in terms of big test configurations, but we also give a valuative criterion as in the work of Boucksom--Jonsson together with an explicit formula for the associate…

Physically Valid Biomolecular Interaction Modeling with Gauss-Seidel Projection
Siyuan Chen, Minghao Guo, Caoliwen Wang, Anka He Chen, Yikun Zhang, Jingjing Chai, Yin Yang, Wojciech Matusik, Peter Yichen Chen
https://arxiv.org/abs/2510.08946

Physically Valid Biomolecular Interaction Modeling with Gauss-Seidel Projection
Biomolecular interaction modeling has been substantially advanced by foundation models, yet they often produce all-atom structures that violate basic steric feasibility. We address this limitation by enforcing physical validity as a strict constraint during both training and inference with a uniffed module. At its core is a differentiable projection that maps the provisional atom coordinates from the diffusion model to the nearest physically valid conffguration. This projection is achieved usin…

On the Parallel Complexity of Identifying Groups and Quasigroups via Decompositions
Dan Johnson, Michael Levet, Petr Vojt\v{e}chovsk\'y, Brett Widholm
https://arxiv.org/abs/2508.06478

On the Parallel Complexity of Identifying Groups and Quasigroups via Decompositions
In this paper, we investigate the computational complexity of isomorphism testing for finite groups and quasigroups, given by their multiplication tables. We crucially take advantage of their various decompositions to show the following: - We first consider the class $\mathcal{C}$ of groups that admit direct product decompositions, where each indecompsable factor is $O(1)$-generated, and either perfect or centerless. We show any group in $\mathcal{C}$ is identified by the $O(1)$-dimensional c…

Demonstration of a next-generation wavefront actuator for gravitational-wave detection
Tyler Rosauer, Huy Tuong Cao, Mohak Bhattacharya, Peter Carney, Luke Johnson, Shane Levin, Cynthia Liang, Xuesi Ma, Luis Martin Gutierrez, Michael Padilla, Liu Tao, Aiden Wilkin, Aidan Brooks, Jonathan W. Richardson
https://arxiv.org/abs/2509.08766

Demonstration of a next-generation wavefront actuator for gravitational-wave detection
In the last decade, the Laser Interferometer Gravitational-Wave Observatory (LIGO) and the European Virgo observatory have opened a new observational window on the universe. These cavity-enhanced laser interferometers sense spacetime strain, generated by distant astrophysical events such as black hole mergers, to an RMS fluctuation of a few parts in $10^{21}$ over a multi-kilometer baseline. Optical advancements in laser wavefront control are key to advancing the sensitivity of current detector…

353-combinatorial curvature and the $3$-dimensional $K(\pi,1)$ conjecture
Jingyin Huang, Piotr Przytycki
https://arxiv.org/abs/2509.06914 https://arxiv.org…

353-combinatorial curvature and the $3$-dimensional $K(π,1)$ conjecture
We prove the $K(π,1)$ conjecture for Artin groups of dimension $3$. As an ingredient, we introduce a new form of combinatorial non-positive curvature.