Skip to main content
Search

Australian National University

6 related articles

Subscribe to updates
  1. arXiv

    HTN planners no longer have to choose between two precondition semantics: a new compilation folds SHOP-style checks into partially ordered planning with just two facts

    In hierarchical task network (HTN) planning, method preconditions mean different things under the SHOP family and under HDDL: the former requires a precondition to hold immediately before the method's first action, the latter only in some earlier state, and under partial order the two can yield different solutions. A new compilation turns the SHOP-style first-action semantics exactly into a standard partially ordered HTN problem without method preconditions, adding only two facts, with a bijection between solutions and a machine-checked proof of language preservation.

  2. bioRxiv

    Single-cell libraries already hold RNA-end evidence: scPolyA turns polyadenylation sites into comparable cell and tissue measurements

    Conventional 3′-end single-cell and spatial transcriptomes were built to count gene expression, yet a small subset of reads carrying untemplated poly(A) tails marks where RNAs actually end. scPolyA uses those tail reads to discover polyadenylation sites de novo, then sets UMI-counting intervals from total-read coverage and reports per-cell or per-spot terminal-site usage, 3′ UTR length and intronic polyadenylation. Across eight single-cell datasets, 63.3% of its sites fell within 25 nt of PolyA_DB 3, above polyApipe, scAPAtrap, Sierra and SCAPE and close to DeepPASS-filtered SCAPTURE.

  3. arXiv

    Distillation stops needing a stronger teacher: task-trained policy differences transfer across models, scale gaps barely do

    Whether one policy difference transfers depends on the target: Qwen3 targets gain positively while Qwen2.5 targets under a Qwen3 reference gain almost nothing, and swapping in a Qwen2.5-3B reference turns those gains positive.

  4. arXiv

    Skills leave artifacts across sessions, and attackers use them: up to 77.4% of runs fell, a runtime guard cut that to 10.9%

    Agent skills leave persistent artifacts such as files, configurations and cached data that later sessions read and reuse, and that cross-session channel can carry malicious influence. The work characterizes three mechanisms, Instruction Propagation, Data Boundary Violation and Evidence Poisoning, and builds SkillRelayBench with 270 adversarial cases; across seven models on Codex CLI, Gemini CLI and Claude Code, attack success rates range from 46.7% to 77.4% and attack chain success rates from 35.6% to 61.1%. The runtime defense SkillRelayGuard restores artifact provenance at read time and adds pre-execution advisory review, lowering overall attack success from 69.5% to 10.9% while raising legitimate task completion from 79.6% to 87.5%.

  5. arXiv

    G2MLP stratifies distillation supervision by Ollivier–Ricci curvature, achieving the best graph-free student accuracy on all six node-classification benchmarks and a 4.02-point gain on Citeseer

    The authors propose G2MLP, a training-time GNN-to-MLP distillation framework that uses Ollivier–Ricci curvature to allocate supervision between prediction-level and representation-level alignment, correcting spectral underfit on sparse graphs and spectral overfit on dense graphs; the graph-free MLP student achieves the best accuracy on all six node-classification benchmarks and transfers without architectural change to Graph Transformer teachers and link prediction.

  6. arXiv

    DRIVE turns successful-trajectory diversity into an RL objective, improving VLA out-of-domain generalization in simulation and on real robots

    The authors analyze how reinforcement learning fine-tuning (RFT) reshapes exploration in vision-language-action (VLA) policies, finding that RFT contracts the overall behavior distribution while making successful trajectories more diverse, easier to elicit, and broader in task-valid solution coverage; they then propose DRIVE, which converts temporally aligned similarity among grouped rollouts under matched task conditions into a success-conditioned intrinsic reward, improving out-of-domain success on LIBERO-Plus, ManiSkill3, and RoboTwin 2.0 and raising average out-of-domain success from 64.1% to 73.3% on a dual-arm AgileX PiPER-X platform.

You’re all caught up