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.

Xiaoqian Wu Shanghai Jiao Tong University enlighten@sjtu.edu.cn In Tab. 1, we conclude the notations in this work for clarity.Notation Definition r A rule. The size of the premise symbols set M . S is the symbol set, and R is the rule set. A \ B The set difference of A and B. D A very large-scale activity images database.

How pilots avoid thunderstorms--and what happens when they can't Most commercial planes get struck by lightning a couple times a year. Despite the fears of nervous fliers, radar, routing, and teamwork keep planes safe during storms. Breakthroughs, discoveries, and DIY tips sent every weekday. In the 2023 movie starring Gerard Butler, a commercial aircraft is caught in a terrible storm. The plane shakes and the lights go out.

Weakly supervised oriented object detection (WS-OOD) has gained attention as a cost-effective alternative to fully supervised methods, providing both efficiency and high accuracy. Among weakly supervised approaches, horizontal bounding box (HBox)-supervised OOD stands out for its ability to directly leverage existing HBox annotations while achieving the highest accuracy under weak supervision settings. This paper introduces adaptive bounding box scaling and symmetry-prior-based orientation prediction, called ABBSPO, a framework for WS-OOD. Our ABBSPO addresses limitations of previous HBox-supervised OOD methods, which compare ground truth (GT) HBoxes directly with the minimum circumscribed rectangles of predicted RBoxes, often leading to inaccurate scale estimation. To overcome this, we propose: (i) Adaptive Bounding Box Scaling (ABBS), which appropriately scales GT HBoxes to optimize for the size of each predicted RBox, ensuring more accurate scale prediction; and (ii) a Symmetric Prior Angle (SPA) loss that exploits inherent symmetry of aerial objects for self-supervised learning, resolving issues in previous methods where learning collapses when predictions for all three augmented views (original, rotated, and flipped) are consistently incorrect. Extensive experimental results demonstrate that ABBSPO achieves state-of-the-art performance, outperforming existing methods.

Jon Kotwicki jokes that converting an aluminum plane in Alaska is the "worst idea that a person could possibly have." This 108-foot-long former cargo plane now has a king size bed, washer dryer, and heated floors, but the build was by no means easy. Breakthroughs, discoveries, and DIY tips sent every weekday. When flight instructor and former commercial airline pilot Jon Kotwicki happened upon a DC-6 air freighter for sale in 2022, he knew it was the perfect plane to transform into an overnight rental. However, once he made the purchase, "my first thought," says Kotwicki, "was, 'My God, what have I done?'" Built in 1956, the 117-foot-wide, 108-foot-long cargo plane had spent its days carrying freight and fuel to remote villages in Alaska before retiring from flight.

Neural Information Processing Systems http://nips.cc/

Neural Information Processing Systems http://nips.cc/