Beyond Lux thresholds: a systematic pipeline for classifying biologically relevant light contexts from wearable data

The recent advancements in generative AI for software engineering have led to the emergence of agentic coding, where AI systems can plan and execute code changes. However, many enterprise AI coding pilots are underperforming, primarily due to inadequate context surrounding the code, rather than flaws in the AI models themselves.

GitHub has announced updates to its AI app-generation tool, Spark, which is currently in public preview. The latest enhancements include improvements in enterprise capabilities, billing features, and user interface upgrades, aimed at streamlining the app-building process for developers.

The introduction of miniF2F-Dafny marks a significant advancement in automated theorem proving, translating the miniF2F mathematical reasoning benchmark to the Dafny prover. This transition allows for a higher degree of automation, with Dafny successfully verifying 40.6% of the test set and 44.7% of the validation set using empty proofs, showcasing its efficiency in handling mathematical proofs without manual intervention.

A new approach called RegMean++ has been introduced to enhance the effectiveness and generalization of the Regression Mean (RegMean) method for model merging. This method improves upon RegMean by incorporating intra- and cross-layer dependencies, allowing for a more comprehensive understanding of how features propagate through layers in the merge model.

A new hierarchical reinforcement learning-diffusion policy, named HeRD, has been proposed to tackle the challenges of nonprehensile manipulation, particularly in pushing objects through cluttered environments. This method separates tasks into high-level goal selection and low-level trajectory generation, demonstrating superior performance in simulations compared to existing methods.