搜索结果：Artie

Current test-time scaling (TTS) techniques enhance large language model (LLM) performance by allocating additional computation at inference time, yet they remain insufficient for agentic settings, where actions directly interact with external environments and their effects can be irreversible and costly. We propose ARTIS, Agentic Risk-Aware Test-Time Scaling via Iterative Simulation, a framework that decouples exploration from commitment by enabling test-time exploration through simulated interactions prior to real-world execution. This design allows extending inference-time computation to improve action-level reliability and robustness without incurring environmental risk. We further show that naive LLM-based simulators struggle to capture rare but high-impact failure modes, substantially limiting their effectiveness for agentic decision making. To address this limitation, we introduce a risk-aware tool simulator that emphasizes fidelity on failure-inducing actions via targeted data generation and rebalanced training. Experiments on multi-turn and multi-step agentic benchmarks demonstrate that iterative simulation substantially improves agent reliability, and that risk-aware simul

Published radial velocity (RV) measurements of the K giant star 42 Dra reveal variations consistent with a 3.9 M_Jup mass companion in a 479-d orbit. This exoplanet can be confirmed if these variations are long-lived and coherent. Continued monitoring may also reveal other companions. We have acquired additional RV measurements of 42 Dra spanning fifteen years. Periodogram analyses were used to investigate the stability of the planet RV signal. We also investigated variations in the spectral line shapes using the bisector velocity span as well as infrared photometry from the COBE mission. The new RV measurements do not follow the published planet orbit. An orbital solution using the 2004 - 2011 data yields a period and eccentricity consistent with the published values, but the RV amplitude has decreased by a factor of four from the earlier measurements. Including some additional RV measurements taken between 2014 and 2018 reveal the presence of a second period at 530 d. The beating of this period with the one at 479-d may account for the observed amplitude variations. The planet hypothesis is conclusively ruled out by COBE/DIRBE 1.25 micron photometry that shows variations with the

Context. Recent developments in exoplanetary research highlight the importance of Love numbers in understanding their internal dynamics, formation, migration history and their potential habitability. Love numbers represent crucial parameters that gauge how exoplanets respond to external forces such as tidal interactions and rotational effects. By measuring these responses, we can gain insights into the internal structure, composition, and density distribution of exoplanets. The rate of apsidal precession of a planetary orbit is directly linked to the second-order fluid Love number, thus we can gain valuable insights into the mass distribution of the planet. Aims. In this context, we aim to re-determine the orbital parameters of WASP-43b-in particular, orbital period, eccentricity, and argument of the periastron-and its orbital evolution. We study the outcomes of the tidal interaction with the host star:whether tidal decay and periastron precession are occurring in the system. Method. We observed the system with HARPS, whose data we present for the first time, and we also analyse the newly acquired JWST full-phase light curve. We fit jointly archival and new radial velocity and tran

We propose ARTI-6, a compact six-dimensional articulatory speech encoding framework derived from real-time MRI data that captures crucial vocal tract regions including the velum, tongue root, and larynx. ARTI-6 consists of three components: (1) a six-dimensional articulatory feature set representing key regions of the vocal tract; (2) an articulatory inversion model, which predicts articulatory features from speech acoustics leveraging speech foundation models, achieving a prediction correlation of 0.87; and (3) an articulatory synthesis model, which reconstructs intelligible speech directly from articulatory features, showing that even a low-dimensional representation can generate natural-sounding speech. Together, ARTI-6 provides an interpretable, computationally efficient, and physiologically grounded framework for advancing articulatory inversion, synthesis, and broader speech technology applications. The source code and speech samples are publicly available.

We introduce bilinear secant varieties and joins of subvarieties of products of projective spaces, as a generalisation of the classical secant varieties and joins of projective varieties. We show that the bilinear secant varieties of certain rational normal curves of $\mathbb P^n \times \mathbb P^{n+1}$ play a central role in the study of the birational geometry of $X^{n,n+1}_s$, its blowup in $s$ points in general position. We show that $X^{n,n+1}_s$ is log Fano, and we compute its effective and movable cones, for $s\le n+2$ and $n\ge 1$ and for $s\le n+3$ and $n\le 2$, and we compute the effective and movable cones of $X^{3,4}_6$.

For a Calabi-Yau variety X, Oguiso gave a useful criterion for primitivity of a self-map of X in terms of the associated linear map on the Neron--Severi space of X. In this short note, we prove a variant of Oguiso's criterion and use it to verify primitivity of a certain birational automorphism of a Calabi--Yau threefold, to which Oguiso's original criterion does not apply.

The acquisition of substantial volumes of 3D articulated object data is expensive and time-consuming, and consequently the scarcity of 3D articulated object data becomes an obstacle for deep learning methods to achieve remarkable performance in various articulated object understanding tasks. Meanwhile, pairing these object data with detailed annotations to enable training for various tasks is also difficult and labor-intensive to achieve. In order to expeditiously gather a significant number of 3D articulated objects with comprehensive and detailed annotations for training, we propose Articulated Object Procedural Generation toolbox, a.k.a. Arti-PG toolbox. Arti-PG toolbox consists of i) descriptions of articulated objects by means of a generalized structure program along with their analytic correspondence to the objects' point cloud, ii) procedural rules about manipulations on the structure program to synthesize large-scale and diverse new articulated objects, and iii) mathematical descriptions of knowledge (e.g. affordance, semantics, etc.) to provide annotations to the synthesized object. Arti-PG has two appealing properties for providing training data for articulated object und

Pi Men hosts a transiting planet detected by the TESS space mission and an outer planet in a 5.7-yr orbit discovered by RV surveys. We studied this system using new radial velocity (RV) measurements taken with the HARPS spectrograph on ESO's 3.6-m telescope as well as archival data. We constrain the stellar RV semi-amplitude due to the transiting planet, Pi Men c, as K_c = 1.21 +/- 0.12 m/s resulting in a planet mass of M_c = 3.63 +/- 0.38 M_Earth. A planet radius of R_c= 2.145 +/- 0.015 R_Earth yields a bulk density of rho = 2.03 +/- 0.22 g/cm^{-3}. The precisely determined density of this planet and the brightness of the host star make Pi Men c an excellent laboratory for internal structure and atmospheric characterization studies. Our HARPS RV measurements also reveal compelling evidence for a third body, PI Men d, with a minimum mass M sin i = 13.38 +/- 1.35 M_Earth orbiting with a period of P_d = 125 d on an eccentric orbit (e = 0.22). A simple dynamical analysis indicates that the orbit of Pi Men d is stable on timescales of at least 20 Myrs. Given the mutual inclination between the outer gaseous giant and the inner rocky planet and the presence of a third body at 125 d, Pi M

Edge Impulse is a cloud-based machine learning operations (MLOps) platform for developing embedded and edge ML (TinyML) systems that can be deployed to a wide range of hardware targets. Current TinyML workflows are plagued by fragmented software stacks and heterogeneous deployment hardware, making ML model optimizations difficult and unportable. We present Edge Impulse, a practical MLOps platform for developing TinyML systems at scale. Edge Impulse addresses these challenges and streamlines the TinyML design cycle by supporting various software and hardware optimizations to create an extensible and portable software stack for a multitude of embedded systems. As of Oct. 2022, Edge Impulse hosts 118,185 projects from 50,953 developers.

K2-18b is one of the most promising worlds for the search for extraterrestrial life, so astronomers conducted an unusually powerful radio survey using both the VLA and MeerKAT telescopes。 Advanced software analyzed millions of signals, filtering out Earth-based interference and other false positives。 No convincing artificial radio transmissions wer

What if time doesn't actually exist until something changes。 Scientists at the University of Birmingham created a tiny "mini universe" using 24,000 ultracold atoms and showed that the flow of time can emerge naturally from changes inside a quantum system, without relying on any external clock

A new book claims AI has been built on a flawed assumption dating back to Alan Turing's famous 1950 paper。 Denning argues that the most important parts of human intelligence, including common sense, intuition, culture, and practical know-how, cannot be encoded into computers。 He believes this makes true human-level AI impossible, regardless of how

Researchers solved the mystery of how soft lithium dendrites crack the hard ceramic inside solid-state batteries, triggering short circuits。 The breakthrough could help engineers build safer, longer-lasting batteries for smartphones, electric vehicles, and other electronics

New York’s data center moratorium may become the blueprint for anti-AI movement

A planet with one side permanently roasting and the other frozen in endless darkness might still have a chance of supporting life。 Researchers found that heat inside a tidally locked exoplanet could circulate in a stable, continuous loop, helping moderate temperatures in certain regions。 Their laboratory model suggests these worlds may be more hosp

NASA is ramping up its lunar ambitions by awarding nearly $600 million for four commercial Moon landings planned for late 2028。 Each mission will carry the same trio of science instruments to improve lunar navigation, study dangerous dust kicked up during landings, and map the Moon's radiation environment。 The agency also revealed plans for new rov

Four nearby white dwarf stars have been discovered hiding in plain sight beside brighter red dwarf companions。 Hubble's ultraviolet observations finally revealed the long-hidden stellar remnants, including one just 25 light-years away that took nearly three decades to confirm。 The findings match long-standing predictions and suggest our corner of t

Scientists have created a silicon chip that can write dozens of DNA sequences simultaneously using electricity and water-based enzymes, offering a cleaner alternative to conventional DNA manufacturing。 The breakthrough could eventually support portable DNA-writing devices and even massive DNA data storage, although new chemistry will be needed to s