Tootfinder

TrainVerify: Equivalence-Based Verification for Distributed LLM Training
Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang
https://arxiv.org/abs/2506.15961

TrainVerify: Equivalence-Based Verification for Distributed LLM Training
Training large language models (LLMs) at scale requires parallel execution across thousands of devices, incurring enormous computational costs. Yet, these costly distributed trainings are rarely verified, leaving them prone to silent errors and potentially wasting millions of GPU hours. We introduce TrainVerify, a system for verifiable distributed training of LLMs. Given a deep learning model's logical specification as the ground truth, TrainVerify formally verifies that a distributed parallel …

"1% of offshore wind investments could restore millions of hectares of marine life"
#WindTurbines #Energy #Renewables

1% of offshore wind investments could restore millions of hectares of marine life
Offshore wind farms not only deliver clean energy but can also play a vital role in restoring vulnerable ecosystems both above and below the waterline. This includes seabed habitats, coral reefs, seagrass meadows and coastal wetlands: ecosystems that are critical for biodiversity, fish populations, and climate resilience.

LaSM: Layer-wise Scaling Mechanism for Defending Pop-up Attack on GUI Agents
Zihe Yan, Zhuosheng Zhang
https://arxiv.org/abs/2507.10610 https://

LaSM: Layer-wise Scaling Mechanism for Defending Pop-up Attack on GUI Agents
Graphical user interface (GUI) agents built on multimodal large language models (MLLMs) have recently demonstrated strong decision-making abilities in screen-based interaction tasks. However, they remain highly vulnerable to pop-up-based environmental injection attacks, where malicious visual elements divert model attention and lead to unsafe or incorrect actions. Existing defense methods either require costly retraining or perform poorly under inductive interference. In this work, we systemati…

How To Prepare Your Home For A Hurricane (AP News, 5 July 2025)
https://apnews.com/article/hurricane-preparation-home-emergency-kit-0a4c7ff92a99ebaa44d8976bf3953033
“Don’t be complacent, take preparedness seriously, spend the t…

Experts explain how to best prepare with a busy hurricane season in the forecast
Hurricane season can be stressful for millions of Americans living in coastal areas, as powerful winds and heavy rain can cause widespread damage, cut power for days or weeks and otherwise upend people’s lives. Forecasters are expecting another unusually busy season for the Atlantic, with predictions calling for six to 10 hurricanes, with up to half reaching major status. But emergency management officials say the stress can be reduced by preparing ahead of time. These preparations include ge…

EvalAssist: A Human-Centered Tool for LLM-as-a-Judge
Zahra Ashktorab, Elizabeth M. Daly, Erik Miehling, Werner Geyer, Martin Santillan Cooper, Tejaswini Pedapati, Michael Desmond, Qian Pan, Hyo Jin Do
https://arxiv.org/abs/2507.02186

EvalAssist: A Human-Centered Tool for LLM-as-a-Judge
With the broad availability of large language models and their ability to generate vast outputs using varied prompts and configurations, determining the best output for a given task requires an intensive evaluation process, one where machine learning practitioners must decide how to assess the outputs and then carefully carry out the evaluation. This process is both time-consuming and costly. As practitioners work with an increasing number of models, they must now evaluate outputs to determine …

Technical recommendation on multiplex MR elastography for tomographic mapping of abdominal stiffness with a focus on the pancreas and pancreatic ductal adenocarcinoma
Jakob Schattenfroh, Salma Almutawakel, Jan Bieling, Johannes Castelein, Melanie Estrella, Philippe Garteiser, Viktor Hartung, Karl H. Hillebrandt, Adrian T. Huber, Laura K\"orner, Thomas Kr\"oncke, Thomas Malinka, Hans-Jonas Meyer, Tom Meyer, Uwe Pelzer, Felix Pfister, Igor M. Sauer, Anna Speth, Bernard E. Van B…

Technical recommendation on multiplex MR elastography for tomographic mapping of abdominal stiffness with a focus on the pancreas and pancreatic ductal adenocarcinoma
Objectives: MR elastography (MRE) offers valuable mechanical tissue characterization, however, in deep abdominal organs like the pancreas conventional single-driver, single-frequency approaches often fail. This study evaluates whether multiplex MRE using multiple drivers and vibration frequencies can overcome these limitations. Methods: This study used single-shot spin-echo MRE in 18 healthy volunteers targeting the liver, pancreas, kidneys, and spleen. Each healthy volunteer underwent 16 MRE…