Let (M, g) bead-dimensional Riemannianmanifold.

'Monster' hurricane Melissa makes landfall in Jamaica as multiple people are left dead: Live updates Alec Baldwin's daughter Ireland, 30, makes rare sighting with mom Kim Basinger, 71... after calling her family'poisonous' Netanyahu orders'powerful strikes in Gaza' after accusing Hamas of violating ceasefire terms following'faked' return of hostage remains Warning gold rally is turning into a'mini-bust' as prices keep falling Poignant moment Trump is gifted priceless Abe golfing relic ahead of signing landmark deal... and issuing gushing praise of Japan LIZ JONES: Why I believe ruthless Kate's the driving force behind Andrew's eviction - and why no one now dares cross her Boss of Google's self-driving car company makes dystopian statement about the vehicles killing people Bill Gates now says climate change won't be as serious as he fears - and calls for more spending on vaccines instead Chris Evans, 44, welcomes first child with wife Alba Baptista, 28, as baby's gender and name is revealed I traveled to Latin America for a discount tummy tuck... Apple Martin releases music video after nepo baby's singing was slammed as'off-key drunken karaoke performance' Jennifer Lawrence admits she's planning on a boob job as she reveals all the plastic surgery she's had The mysterious interstellar visitor traveling through our solar system may finally reveal its true nature in just hours, as scientists wait for it to emerge from behind the sun. While many astronomers are convinced the object known as 3I/ATLAS will be confirmed as a comet, some scientists have said the three-mile-long visitor could be an artificially constructed craft that's maneuvering around the solar system. Scientists expect to determine which scenario is correct once they observe exactly where the object exits perihelion, saying that a noticeable shift in its trajectory tomorrow could indicate that 3I/ATLAS is artificially powered. In space travel, the most effective moment to accelerate or decelerate a spacecraft is when it is closest to a massive body. Firing the engine at this point, an effect known as the Oberth effect, produces the greatest change in speed.

Recent reasoning-focused language models achieve high accuracy by generating lengthy intermediate reasoning paths before producing final answers. While this approach is effective in solving problems that require logical thinking, long reasoning paths significantly increase memory usage and reduce throughput of token generation, limiting the practical deployment of such models. We propose Reasoning Path Compression (RPC), a training-free method that accelerates inference by leveraging the semantic sparsity of reasoning paths. RPC periodically compresses the KV cache by retaining cache entries that receive high importance score, which are computed using a selector window composed of recently generated queries. Experiments show that RPC improves generation throughput of QwQ-32B by up to 1.60$\times$ compared to the inference with full KV cache, with an accuracy drop of 1.2\% on the AIME 2024 benchmark. Our findings demonstrate that semantic sparsity in reasoning traces can be effectively exploited for compression, offering a practical path toward efficient deployment of reasoning LLMs. Our code is available at https://github.com/jiwonsong-dev/ReasoningPathCompression.

Predicting price spikes in critical metals such as Cobalt, Copper, Magnesium, and Nickel is crucial for mitigating economic risks associated with global trends like the energy transition and reshoring of manufacturing. While traditional models have focused on regression-based approaches, our work introduces a neurosymbolic ensemble framework that integrates multiple neural models with symbolic error detection and correction rules. This framework is designed to enhance predictive accuracy by correcting individual model errors and offering interpretability through rule-based explanations. We show that our method provides up to 6.42% improvement in precision, 29.41% increase in recall at 13.24% increase in F1 over the best performing neural models. Further, our method, as it is based on logical rules, has the benefit of affording an explanation as to which combination of neural models directly contribute to a given prediction.

Machine learning (ML) techniques and atomistic modeling have rapidly transformed materials design and discovery. Specifically, generative models can swiftly propose promising materials for targeted applications. However, the predicted properties of materials through the generative models often do not match with calculated properties through ab initio calculations. This discrepancy can arise because the generated coordinates are not fully relaxed, whereas the many properties are derived from relaxed structures. Neural network-based potentials (NNPs) can expedite the process by providing relaxed structures from the initially generated ones. Nevertheless, acquiring data to train NNPs for this purpose can be extremely challenging as it needs to encompass previously unknown structures. This study utilized extended ensemble molecular dynamics (MD) to secure a broad range of liquid- and solid-phase configurations in one of the metallic systems, nickel. Then, we could significantly reduce them through active learning without losing much accuracy. We found that the NNP trained from the distilled data could predict different energy-minimized closed-pack crystal structures even though those structures were not explicitly part of the initial data. Furthermore, the data can be translated to other metallic systems (aluminum and niobium), without repeating the sampling and distillation processes. Our approach to data acquisition and distillation has demonstrated the potential to expedite NNP development and enhance materials design and discovery by integrating generative models.

Large language Models (LLMs) have achieved promising performance on arithmetic reasoning tasks by incorporating step-by-step chain-of-thought (CoT) prompting. However, LLMs face challenges in maintaining factual consistency during reasoning, exhibiting tendencies to condition overlooking, question misinterpretation, and condition hallucination over given problems. Existing methods use coarse-grained feedback (e.g., whether the answer is correct) to improve factual consistency. In this work, we propose RCoT (Reversing Chain-of-Thought), a novel method to improve LLMs' reasoning abilities by automatically detecting and rectifying factual inconsistency in LLMs, generated solutions. To detect factual inconsistency, RCoT first asks LLMs to reconstruct the problem based on generated solutions. Then fine-grained comparisons between the original problem and the reconstructed problem expose the factual inconsistency in the original solutions. To rectify the solution, RCoT formulates detected factual inconsistency into fine-grained feedback to guide LLMs in revising solutions. Experimental results demonstrate improvements of RCoT over standard CoT, Self-Consistency and Self-Refine across seven arithmetic datasets. Moreover, we find that manually written fine-grained feedback can dramatically improve LLMs' reasoning abilities (e.g., ChatGPT reaches 94.6% accuracy on GSM8K), encouraging the community to further explore the fine-grained feedback generation methods.

Deep-sea mining would cause "extensive and irreversible" damage to sensitive habitats.NOAA This story was originally published by the Guardian and is reproduced here as part of the Climate Desk collaboration. An investigation by conservationists has found evidence that deep-seabed mining of rare minerals could cause "extensive and irreversible" damage to the planet. The report, published on Monday by the international wildlife charity Fauna & Flora, adds to the growing controversy that surrounds proposals to sweep the ocean floor of rare minerals that include cobalt, manganese and nickel. Mining companies want to exploit these deposits--which are crucial to the alternative energy sector--because land supplies are running low, they say.

"These things are hard to tip over," geologist Wilson Bonner assures me as the four-wheeled all-terrain vehicle he's piloting tilts suddenly sideways, pitching me toward the churned up mud beneath our wheels. We're grinding up the side of a thickly forested hill in rural Ontario, Canada, on a chilly fall day, heading toward a spot that Bonner's employer, startup KoBold Metals, says represents the marriage of cutting-edge artificial intelligence with one of humanity's oldest industries. We do indeed complete the half-hour trek relatively unmuddied, finally breaking through a ring of broken trees and mangled brush into a swath of bulldozed mud. A black pipe about as wide around as my arm juts out of the ground--the top end of a hole nearly a kilometer deep that was punched into the ground by a truck-sized drilling rig that sits idly nearby. It's not much to look at, but this hole might mark a step into the future of mining, an industry crucial for the world's transition to renewable energy.

Superalloys are a special class of heavy-duty materials with excellent strength retention and chemical stability at very high temperatures. Nickel-based superalloys are used commercially in aircraft turbines, power plants, and space launch vehicles. The optimization of mechanical properties of alloys has been traditionally carried out using experimental approaches, which demand massive costs in terms of time and infrastructure for testing. In this paper, we propose a method for mechanical property prediction of Ni-based superalloys by learning from past experimental results using machine learning (ML). Five highly accurate ML models are developed to predict yield strength (YS), ultimate tensile strength (UTS), creep rupture life, fatigue life with stress, and strain values. We have developed an extensive database containing mechanical properties of over 1500 Ni-based superalloys. Basic material parameters such as the composition of the alloy, annealing conditions, and testing conditions are also collected and used as features for developing the ML models. The prediction root mean squared errors for the YS, UTS, creep, and fatigue life models are 0.11, 0.06, 0.19, 0.22, which are minimal, leading to a highly accurate estimation of the target values. These ML models are highly transferable and require a minimum number of input features. In addition, feature analysis performed by SHapley Additive exPlanations (SHAP) for individual properties reveals the relative significance of each descriptor in deciding the target property. We demonstrate that a unified and highly accurate ML framework can be developed using common features for all mechanical properties. The models are developed on experimental data, making them directly applicable for industries.

There has been significant progress in creating machine learning models that identify objects in scenes along with their associated attributes and relationships; however, there is a large gap between the best models and human capabilities. One of the major reasons for this gap is the difficulty in collecting sufficient amounts of annotated relations and attributes for training these systems. While some attributes and relations are abundant, the distribution in the natural world and existing datasets is long tailed. In this paper, we address this problem by introducing a novel incremental active learning framework that asks for attributes and relations in visual scenes. While conventional active learning methods ask for labels of specific examples, we flip this framing to allow agents to ask for examples from specific categories. Using this framing, we introduce an active sampling method that asks for examples from the tail of the data distribution and show that it outperforms classical active learning methods on Visual Genome.