Tootfinder

CIDRAP launches Vaccine Integrity Project | University of Minnesota https://twin-cities.umn.edu/news-events/cidrap-launches-vaccine-integrity-project

CIDRAP launches Vaccine Integrity Project
Vaccine Integrity Project is dedicated to safeguarding vaccine use in the U.S. 

unicodelang: Languages spoken by country (2015)
A bipartite network of languages and the countries in which they are spoken, as estimated by Unicode. Edges are weighted by the proportion of the given country's population that is literate in a particular language.
This network has 868 nodes and 1255 edges.
Tags: Informational, Relatedness, Weighted

StepProof: Step-by-step verification of natural language mathematical proofs
Xiaolin Hu, Qinghua Zhou, Bogdan Grechuk, Ivan Y. Tyukin
https://arxiv.org/abs/2506.10558

StepProof: Step-by-step verification of natural language mathematical proofs
Interactive theorem provers (ITPs) are powerful tools for the formal verification of mathematical proofs down to the axiom level. However, their lack of a natural language interface remains a significant limitation. Recent advancements in large language models (LLMs) have enhanced the understanding of natural language inputs, paving the way for autoformalization - the process of translating natural language proofs into formal proofs that can be verified. Despite these advancements, existing aut…

Cycling in Ribble Valley
#Cycle routes
The Ribble Valley has miles of scenic country roads of which many are ideal for riding your bicycle. To the right are some downloadable maps and leaflets detailing these routes.​​​​
You can download several other routes across not only the Ribble Valley but Lancashire as a whole by visiting Lancashire County Council's dedicated

Israel launches strike against Iran (Eric Bazail-Eimil/Politico)
https://www.politico.com/news/2025/06/12/israel-launches-strike-against-iran-00404354
http://www.memeorandum.com/250612/p155#a250612p155

Large Language Models for Toxic Language Detection in Low-Resource Balkan Languages
Amel Muminovic, Amela Kadric Muminovic
https://arxiv.org/abs/2506.09992

Large Language Models for Toxic Language Detection in Low-Resource Balkan Languages
Online toxic language causes real harm, especially in regions with limited moderation tools. In this study, we evaluate how large language models handle toxic comments in Serbian, Croatian, and Bosnian, languages with limited labeled data. We built and manually labeled a dataset of 4,500 YouTube and TikTok comments drawn from videos across diverse categories, including music, politics, sports, modeling, influencer content, discussions of sexism, and general topics. Four models (GPT-3.5 Turbo, G…

A Navigation Framework Utilizing Vision-Language Models
Yicheng Duan, Kaiyu tang
https://arxiv.org/abs/2506.10172 https://arxiv.org/p…

A Navigation Framework Utilizing Vision-Language Models
Vision-and-Language Navigation (VLN) presents a complex challenge in embodied AI, requiring agents to interpret natural language instructions and navigate through visually rich, unfamiliar environments. Recent advances in large vision-language models (LVLMs), such as CLIP and Flamingo, have significantly improved multimodal understanding but introduced new challenges related to computational cost and real-time deployment. In this project, we propose a modular, plug-and-play navigation framework…

Meta launches V-JEPA 2, an open-source AI "world model" to understand and predict 3D environments and object movements, to help robotics and self-driving cars (Ryan Browne/CNBC)
https://www.cnbc.com/2025/06/11/meta-launc

Meta launches AI 'world model' to advance robotics, self-driving cars
Meta on Wednesday announced it's rolling out a new AI "world model" that can better understand the 3D environment and movements of physical objects.

Israel launches 'preemptive' air strikes on Iran (New York Post)
https://nypost.com/2025/06/12/world-news/israel-launches-preemptive-air-strikes-on-iran/
http://www.memeorandum.com/250612/p151#a250612p151

Grounded Vision-Language Navigation for UAVs with Open-Vocabulary Goal Understanding
Yuhang Zhang, Haosheng Yu, Jiaping Xiao, Mir Feroskhan
https://arxiv.org/abs/2506.10756

Grounded Vision-Language Navigation for UAVs with Open-Vocabulary Goal Understanding
Vision-and-language navigation (VLN) is a long-standing challenge in autonomous robotics, aiming to empower agents with the ability to follow human instructions while navigating complex environments. Two key bottlenecks remain in this field: generalization to out-of-distribution environments and reliance on fixed discrete action spaces. To address these challenges, we propose Vision-Language Fly (VLFly), a framework tailored for Unmanned Aerial Vehicles (UAVs) to execute language-guided flight.…