An example prompt for constructing PDDL models of the action "close a

PlanBench seeks to cover a broad range of tasks related to planning and reasoning.

Sudan's Rapid Support Forces (RSF) have launched a series of drone attacks targeting humanitarian aid convoys and fuel trucks across North Kordofan, killing at least one person and wounding several others, officials and medical organisations said. The North Kordofan state government condemned Friday's strikes on a convoy linked to the World Food Programme (WFP), urging the international community and United Nations bodies to impose sanctions on the RSF paramilitary group's leadership. The attacks occurred along the key road connecting the state capital, el-Obeid, with Kosti in neighbouring White Nile state. Fighting between the government-aligned Sudanese Armed Forces (SAF) and the RSF has intensified across the Kordofan region since October 2025 after el-Fasher fell to the RSF, where the group committed atrocities - a "crime scene" according to the UN. According to the UN Office for the Coordination of Humanitarian Affairs (OCHA), the first strike at dawn hit three trucks in Er-Rahad.

Drone strikes in Ethiopia's Tigray kill one amid fears of renewed conflict One person has been killed and another injured in drone strikes in Ethiopia's northern Tigray region, a senior Tigrayan official and a humanitarian worker said, in another sign of renewed conflict between regional and federal forces. The Tigrayan official on Saturday said the drone strikes hit two Isuzu trucks near Enticho and Gendebta, two places in Tigray about 20km (12 miles) apart. A local humanitarian worker confirmed the strikes had happened. Both asked not to be named, the Reuters news agency reported. It was not immediately clear what the trucks were carrying.

Hydrogen produces only water emissions, plus the fuel-cell trucks are quick. Breakthroughs, discoveries, and DIY tips sent six days a week. Filling up a hydrogen tank is much like filling up a gas-powered car in both the basic experience and in the time it takes. That's been a major barrier for EVs thus far; adding 20 minutes or more for each recharge on a road trip is not nearly as appealing as pulling up to a Chevron station and getting out of there in a few minutes. However, hydrogen hasn't yet caught on as a large-scale solution largely due to funding, even though even the US Department of Energy says it has "several benefits over conventional combustion-based technologies currently used in many power plants and vehicles."

The era of vision-language models (VLMs) trained on web-scale datasets challenges conventional formulations of "open-world perception. In this work, we revisit the task of few-shot object detection (FSOD) in the context of recent foundational VLMs. First, we point out that zero-shot predictions from VLMs such as GroundingDINO significantly outperform state-of-the-art few-shot detectors (48 vs. 33 AP) on COCO. Despite their strong zero-shot performance, such foundation models may still be sub-optimal. For example, trucks on the web may be defined differently from trucks for a target applications such as autonomous vehicle perception.

Whether you're buying them as a gift or keeping them for yourself, these are the best Lego prices you're going to find on Cyber Monday.

V astTrack consists of a few attractive properties: (1) V ast Object Category . In particular, it covers targets from 2,115 categories, significantly surpassing object classes of existing popular benchmarks ( e.g ., GOT -10k with 563 classes and LaSOT with 70 categories). Through providing such vast object classes, we expect to learn more general object tracking.

In this paper, we propose ProRAC (Progression-based Reasoning about Actions and Change), a neuro-symbolic framework that leverages LLMs to tackle RAC problems. ProRAC extracts fundamental RAC elements including actions and questions from the problem, progressively executes each action to derive the final state, and then evaluates the query against the progressed state to arrive at an answer. We evaluate ProRAC on several RAC benchmarks, and the results demonstrate that our approach achieves strong performance across different benchmarks, domains, LLM backbones, and types of RAC tasks.