Tootfinder

The problem of course is that our problems are complex.
“Advanced AI suffers ‘complete accuracy collapse’ in face of complex problems, study finds” - https://www.theguardian.com/technology/2025/jun/09/apple-artificial-intelligence-ai-study-c…

Estimating prevalence with precision and accuracy
Aime Bienfait Igiraneza, Christophe Fraser, Robert Hinch
https://arxiv.org/abs/2507.06061 https://…

Estimating prevalence with precision and accuracy
Unlike classification, whose goal is to estimate the class of each data point in a dataset, prevalence estimation or quantification is a task that aims to estimate the distribution of classes in a dataset. The two main tasks in prevalence estimation are to adjust for bias, due to the prevalence in the training dataset, and to quantify the uncertainty in the estimate. The standard methods used to quantify uncertainty in prevalence estimates are bootstrapping and Bayesian quantification methods. …

Olha, o bluesky a acrescentar coisas que a gente tem desde sempre.
Um dia destes até hão de poder editar posts...
https://fed.brid.gy/r/https://bsky.app/profile/did:plc:6od47t3swhbyzts5nyggojet/post/3lydvnbih4s2g

Manuel Reis (@manuelreis.bsky.social)
Tradução: já posso fazer likes à vontade! [contains quote post or other embedded content]

Feature-Based Belief Aggregation for Partially Observable Markov Decision Problems
Yuchao Li, Kim Hammar, Dimitri Bertsekas
https://arxiv.org/abs/2507.04646

Feature-Based Belief Aggregation for Partially Observable Markov Decision Problems
We consider a finite-state partially observable Markov decision problem (POMDP) with an infinite horizon and a discounted cost, and we propose a new method for computing a cost function approximation that is based on features and aggregation. In particular, using the classical belief-space formulation, we construct a related Markov decision problem (MDP) by first aggregating the unobservable states into feature states, and then introducing representative beliefs over these feature states. This …

T-araVLN: Translator for Agricultural Robotic Agents on Vision-and-Language Navigation
Xiaobei Zhao, Xingqi Lyu, Xiang Li
https://arxiv.org/abs/2509.06644 https://

T-araVLN: Translator for Agricultural Robotic Agents on Vision-and-Language Navigation
Agricultural robotic agents have been becoming powerful helpers in a wide range of agricultural tasks, nevertheless, still heavily rely on manual operation or untransportable railway for movement. The AgriVLN method and the A2A benchmark pioneeringly extend Vision-and-Language Navigation (VLN) to the agricultural domain, enabling agents navigate to the target position following the natural language instructions. AgriVLN effectively understands the simple instructions, however, often misundersta…

It's sad how often I find articles that do this.
This supposedly "in-depth" piece includes not a single quote from anyone in #Papua, or even #Indonesia. Strangely, quotes one Malaysian, and otherwise, all westerners.
Sadly, it's a common problem for pieces by this particular …

In Indonesia’s Rainforest, a Mega-Farm Project Is Plowing Ahead
The Indonesian government is fast-tracking a massive agricultural project that is turning 7 million acres of tropical forest into rice and sugarcane farms. Critics say it is the world’s largest deforestation project and would upend the lives of thousands of Indigenous people.

Nexus: Taming Throughput-Latency Tradeoff in LLM Serving via Efficient GPU Sharing
Xiaoxiang Shi, Colin Cai, Junjia Du, Zhanda Zhu, Xingda Wei, Zhihao Jia
https://arxiv.org/abs/2507.06608

Nexus: Taming Throughput-Latency Tradeoff in LLM Serving via Efficient GPU Sharing
Current prefill-decode (PD) disaggregation is typically deployed at the level of entire serving engines, assigning separate GPUs to handle prefill and decode phases. While effective at reducing latency, this approach demands more hardware. To improve GPU utilization, Chunked Prefill mixes prefill and decode requests within the same batch, but introduces phase interference between prefill and decode. While existing PD disaggregation solutions separate the phases across GPUs, we ask: can the sa…

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
Zhenwen Liang, Linfeng Song, Yang Li, Tao Yang, Feng Zhang, Haitao Mi, Dong Yu
https://arxiv.org/abs/2507.06804

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
Automated Theorem Proving (ATP) in formal languages is a foundational challenge for AI. While Large Language Models (LLMs) have driven remarkable progress, a significant gap remains between their powerful informal reasoning capabilities and their weak formal proving performance. Recent studies show that the informal accuracy exceeds 80% while formal success remains below 8% on benchmarks like PutnamBench. We argue this gap persists because current state-of-the-art provers, by tightly coupling r…

A new class of one-step A-stable and L-stable schemes of high-order accuracy for parabolic type equations
Xiaoyi Li, Aijie Cheng, Zhengguang Liu
https://arxiv.org/abs/2507.06985

A new class of one-step A-stable and L-stable schemes of high-order accuracy for parabolic type equations
Recently, a new class of BDF schemes proposed in [F. Huang and J. Shen, SIAM J Numer. Anal., 62.4, 1609--1637] for the parabolic type equations are studied in this paper. The basic idea is based on the Taylor expansions at time $t^{n+β}$ with $β>1$ being a tunable parameter. These new BDF schemes allow larger time steps at higher order r for stiff problems than that which allowed with a usual higher-order scheme. However, multi-step methods like BDF exhibit inherent disadvantages relative to …

Accuracy and stability of the accelerated multi-direct-forcing immersed boundary method
Kosuke Suzuki, Emmanouil Falagkaris, Timm Kr\"uger, Takaji Inamuro
https://arxiv.org/abs/2507.04986

Accuracy and stability of the accelerated multi-direct-forcing immersed boundary method
The multi-direct-forcing immersed boundary method allows for high accuracy of the no-slip condition in moving-particle problems but suffers from numerical instability if simulation parameters are not carefully chosen. This study investigates the numerical accuracy and stability of the accelerated multidirect-forcing immersed boundary method. An analysis of the discretized equations of body motion in moving boundary problems identifies a critical parameter that solely determines the numerical st…