hal
Lanterns episode 5: What in the world just happened, and where do we go next?
Look Up Mashable's Best: E-readers, robovacs, laptops, earbuds, smart home and more Say More Trending Now Mashable Selects Creator Playbook Back to School Good Connection: Uplifting stories for a digital age Switch Off Mashable Voices Safety Net Versus All Series'Lanterns' episode 5: What in the world just happened, and where do we go next? Belen Edwards is an Entertainment Reporter at Mashable. She covers movies and TV with a focus on fantasy and science fiction, adaptations, animation, and more nerdy goodness. She is a member of the Critics Choice Association and the Television Critics Association, as well as a Tomatometer-approved critic. All products featured here are independently selected by our editors and writers.
Highly Adaptive Principal Component Regression
Wang, Mingxun, Schuler, Alejandro, van der Laan, Mark, Meixide, Carlos García
The Highly Adaptive Lasso (HAL) is a nonparametric regression method that achieves almost dimension-free convergence rates under minimal smoothness assumptions, but its implementation can be computationally prohibitive in high dimensions due to the large basis matrix it requires. The Highly Adaptive Ridge (HAR) has been proposed as a scalable alternative. Building on both procedures, we introduce the Principal Component based Highly Adaptive Lasso (PCHAL) and Principal Component based Highly Adaptive Ridge (PCHAR). These estimators constitute an outcome-blind dimension reduction which offer substantial gains in computational efficiency and match the empirical performances of HAL and HAR. We also uncover a striking spectral link between the leading principal components of the HAL/HAR Gram operator and a discrete sinusoidal basis, revealing an explicit Fourier-type structure underlying the PC truncation.
That wasn't a strike, Hal!
They also discuss the retirement of basketball all-time great, Diana Taurasi. Finally, they talk about a right-wing proposal for a steroid-fueled sports league. For Afterballs, Alex remembers the careers of Czech hockey superstar Jaromir Jagr as well as the beloved voice of the Pittsburgh Penguins, Mike Lange, who died last month. Episode Notes: Read about robot umpires being tested in Spring Training. Read Time's interview with Diana Taurasi where she announced her retirement. Read about the Enhanced Games' push to be a steroid-fuelled Olympics.
Automated Code Generation and Validation for Software Components of Microcontrollers
Haug, Sebastian, Böhm, Christoph, Mayer, Daniel
This paper proposes a method for generating software components for embedded systems, integrating seamlessly into existing implementations without developer intervention. We demonstrate this by automatically generating hardware abstraction layer (HAL) code for GPIO operations on the STM32F407 microcontroller. Using Abstract Syntax Trees (AST) for code analysis and Retrieval-Augmented Generation (RAG) for component generation, our approach enables autonomous code completion for embedded applications.
Constructing optimal treatment length strategies to maximize quality-adjusted lifetimes
Sun, Hao, Ertefaie, Ashkan, Duttweiler, Luke, Johnson, Brent A.
Real-world clinical decision making is a complex process that involves balancing the risks and benefits of treatments. Quality-adjusted lifetime is a composite outcome that combines patient quantity and quality of life, making it an attractive outcome in clinical research. We propose methods for constructing optimal treatment length strategies to maximize this outcome. Existing methods for estimating optimal treatment strategies for survival outcomes cannot be applied to a quality-adjusted lifetime due to induced informative censoring. We propose a weighted estimating equation that adjusts for both confounding and informative censoring. We also propose a nonparametric estimator of the mean counterfactual quality-adjusted lifetime survival curve under a given treatment length strategy, where the weights are estimated using an undersmoothed sieve-based estimator. We show that the estimator is asymptotically linear and provide a data-dependent undersmoothing criterion. We apply our method to obtain the optimal time for percutaneous endoscopic gastrostomy insertion in patients with amyotrophic lateral sclerosis.
Lassoed Tree Boosting
Schuler, Alejandro, Li, Yi, van der Laan, Mark
Gradient boosting performs exceptionally in most prediction problems and scales well to large datasets. In this paper we prove that a ``lassoed'' gradient boosted tree algorithm with early stopping achieves faster than $n^{-1/4}$ L2 convergence in the large nonparametric space of cadlag functions of bounded sectional variation. This rate is remarkable because it does not depend on the dimension, sparsity, or smoothness. We use simulation and real data to confirm our theory and demonstrate empirical performance and scalability on par with standard boosting. Our convergence proofs are based on a novel, general theorem on early stopping with empirical loss minimizers of nested Donsker classes.
Exploration and Incentives in Reinforcement Learning
Simchowitz, Max, Slivkins, Aleksandrs
How do you incentivize self-interested agents to $\textit{explore}$ when they prefer to $\textit{exploit}$? We consider complex exploration problems, where each agent faces the same (but unknown) MDP. In contrast with traditional formulations of reinforcement learning, agents control the choice of policies, whereas an algorithm can only issue recommendations. However, the algorithm controls the flow of information, and can incentivize the agents to explore via information asymmetry. We design an algorithm which explores all reachable states in the MDP. We achieve provable guarantees similar to those for incentivizing exploration in static, stateless exploration problems studied previously. To the best of our knowledge, this is the first work to consider mechanism design in a stateful, reinforcement learning setting.
Hyperactive Learning (HAL) for Data-Driven Interatomic Potentials
van der Oord, Cas, Sachs, Matthias, Kovács, Dávid Péter, Ortner, Christoph, Csányi, Gábor
Data-driven interatomic potentials have emerged as a powerful class of surrogate models for {\it ab initio} potential energy surfaces that are able to reliably predict macroscopic properties with experimental accuracy. In generating accurate and transferable potentials the most time-consuming and arguably most important task is generating the training set, which still requires significant expert user input. To accelerate this process, this work presents \text{\it hyperactive learning} (HAL), a framework for formulating an accelerated sampling algorithm specifically for the task of training database generation. The key idea is to start from a physically motivated sampler (e.g., molecular dynamics) and add a biasing term that drives the system towards high uncertainty and thus to unseen training configurations. Building on this framework, general protocols for building training databases for alloys and polymers leveraging the HAL framework will be presented. For alloys, ACE potentials for AlSi10 are created by fitting to a minimal HAL-generated database containing 88 configurations (32 atoms each) with fast evaluation times of <100 microsecond/atom/cpu-core. These potentials are demonstrated to predict the melting temperature with excellent accuracy. For polymers, a HAL database is built using ACE, able to determine the density of a long polyethylene glycol (PEG) polymer formed of 200 monomer units with experimental accuracy by only fitting to small isolated PEG polymers with sizes ranging from 2 to 32.
AI Is Not Taking Away Our Jobs -- Because It Can't Do Them
Note: HAL 9000 "was an incredibly knowledgeable AI system that was given one simple order: to make sure that the ship reached its destination at Jupiter." – (VillainsWiki) As Dr. Marks notes, AI has no natural ethical system so HAL did not hesitate to plot the deaths of crew members in order to guide the ship to its destination: "At one point on the trip from Earth to Jupiter, HAL becomes suspicious that the crew might be sabotaging the mission. HAL then purposely tries to kill all the crew. The most logical explanation for this act is a coding error. HAL was programmed to operate on the basis that the mission took priority over human life. By contrast, science fiction writer Isaac Asimov did not allow his AI to kill.
Machine Mind
"We shall not cease from exploration And the end of all our exploring Will be to arrive where we started And know the place for the first time." In 1956, the Dartmouth Summer Research Project on Artificial Intelligence gave A.I. its standing as a legitimate field of study. "Every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it." A.I. development has fallen in line with this sentiment ever since. Our scientists, analysts, and engineers have taken a multidisciplinary approach that focuses on describing and reproducing as many observable faculties of the mind as possible. This reproduction has proven to be quite successful.