Goto

Collaborating Authors

 library


I turned my Plex library into 24/7 streaming channels with this free app

PCWorld

PCWorld reviews Bunny Ears TV, a new Apple TV app that transforms your Plex Media Server library into 24/7 streaming channels with cable-like navigation. The app creates up to 26 themed channels from personal video collections, offering ad-free channel surfing with DVR controls and customizable features. Despite some usability issues and bugs, it provides an effective alternative to ad-heavy free streaming services for $3/month or $30 lifetime. While lots of free streaming services offer lineups of live TV channels to flip through, they all have the same problem: You're not in control of the content, and you're constantly interrupted by ads. A new app called Bunny Ears TV aims to solve those problems with help from Plex Media Server. If you have an Apple TV box and your own collection of movie or TV files in Plex, Bunny Ears TV can spin them into dozens of round-the-clock streaming channels with practically no effort. It's a neat app that mimics the channel surfing of cable using your own content, but unlike with cable, there are no commercial breaks.


Learning Effective Soliton Dynamics from Scattering Data

arXiv.org Machine Learning

In such settings, the inverse scattering transform (IST) of Ablowitz, Kaup, Newell, and Segur [2] has enjoyed a rich and successful history, and is now the standard theoretical framework for deriving reduced-order evolution equations for soliton dynamics. Although these derivations are traditionally of an analytical - rather than data-driven - nature, recent work has employed the IST formalism as a tool for experimental data analysis, using the technique to analyze soliton content from empirical measurements [8, 15, 24]. Moreover, recent approaches using alternative parameterization techniques have demonstrated that the learning of reduced-order, interpretable equations of motion for solitons is tenable in a data-driven setting [6, 26, 27]. Despite the success of this recent work, however, little effort has been devoted to developing a data-driven modeling approach based on the IST itself, most likely due to the fact that the framework is fundamentally problem-specific. In this paper, we address the question of whether effective soliton dynamics can be inferred directly from observed scattering data (as opposed to being derived or approximated analytically).


Lost books by ancient philosophers recovered from 'unreadable' scrolls

New Scientist

Lost books by ancient philosophers recovered from'unreadable' scrolls Long-lost works of ancient philosophy have been recovered from papyrus scrolls that were scorched by the AD 79 eruption of Mount Vesuvius and thought to be impossible to read. For the first time, researchers have used AI to extract the entire surviving text from super-high-resolution 3D scans of a scroll without unrolling it. The scrolls come from the library of Herculaneum, which was buried along with Pompeii nearly 2000 years ago. Scholars have been trying to read the carbonised scrolls, which resemble lumps of charcoal, since the library was discovered in 1752. Physically unwrapping them risks their destruction and the ink they are written in is mostly indistinguishable from the charred papyri - at least to human eyes.


Hold the onions โ€“ and see if they make you cry

New Scientist

Feedback could never be a professional chef. That's partly because there is no way we could stand the pressure of such a frantic work environment, to say nothing of the stress of potentially running into Gordon Ramsay. But mostly it's because we would tear up every time we had to chop an onion. The reason some of us cry when we chop onions is a chemical called syn-propanethial-S-oxide, which gets sprayed into the air . It triggers the trigeminal nerve, which, in turn, activates the tear ducts to wash away the irritating chemical.


AI helps read papyrus scroll burnt to crisp during Vesuvius eruption

The Guardian

The scroll was recovered from the library of a luxury Roman villa in Herculaneum, near Naples, that was blasted by heat and buried under ash in AD79. The scroll was recovered from the library of a luxury Roman villa in Herculaneum, near Naples, that was blasted by heat and buried under ash in AD79. The surviving part of an ancient scroll that was burnt to a crisp when Mount Vesuvius erupted nearly 2,000 years ago has been virtually unwrapped and read with help from artificial intelligence. Researchers uncovered 20 columns of previously hidden text covering more than a metre of charred papyrus without physically unrolling the scroll. The age of the scroll, named PHerc 1667, makes it one of the oldest in a collection of hundreds recovered from the library of a luxury Roman villa in Herculaneum that was blasted by heat and buried under ash in the volcanic eruption that destroyed nearby Pompeii in AD79.


Tree-Based Premise Selection for Lean4

Neural Information Processing Systems

Premise selection is a critical bottleneck in interactive theorem proving, particularly with large libraries. Existing methods, primarily relying on semantic embeddings, often fail to effectively leverage the rich structural information inherent in mathematical expressions. This paper proposes a novel framework for premise selection based on the structure of expression trees. The framework enhances premise selection ability by explicitly utilizing the structural information of Lean expressions and by means of the simplified tree representation obtained via common subexpression elimination. Our method employs a multi-stage filtering pipeline, incorporating structure-aware similarity measures including the Weisfeiler-Lehman kernel, tree edit distance, $\texttt{Const}$ node Jaccard similarity, and collapse-match similarity. An adaptive fusion strategy combines these metrics for refined ranking. To handle large-scale data efficiently, we incorporate cluster-based search space optimization and structural compatibility constraints. Comprehensive evaluation on a large theorem library extracted from Mathlib4 demonstrates that our method significantly outperforms existing premise retrieval tools across various metrics. Experimental analysis, including ablation studies and parameter sensitivity analysis, validates the contribution of individual components and highlights the efficacy of our structure-aware approach and multi-metric fusion.


Gymnasium: AStandardized Interface for Reinforcement Learning Environments

Neural Information Processing Systems

Reinforcement Learning (RL) is a continuously growing field that has the potential to revolutionize many areas of artificial intelligence. However, despite its promise, RL research is often hindered by the lack of standardization in the environment and algorithmic implementations. This makes it difficult for researchers to compare and build upon each other's work, slowing progress in the field. Gymnasium is an open-source library that provides a standardized API for RL environments, aiming to tackle this issue, with over 18 million installations. Gymnasium's main feature is a set of abstractions that allow for wide interoperability between environments and training algorithms, making it easier for researchers to develop and test new environments and/or RL algorithms. In addition, Gymnasium provides a collection of built-in easy-to-use environments, tools for easily customizing environments, and tools to ensure the reproducibility and robustness of RL research. Through this unified framework, Gymnasium significantly streamlines the process of developing and testing RL algorithms, enabling researchers to focus on innovation and less on implementation details. By providing a standardized platform for RL research, Gymnasium helps to drive forward the field of reinforcement learning and unlock its full potential.


couch 150 200 50 0 d

Neural Information Processing Systems

To encode structure, FactoredScenes learns are dra a wn, library then of uses functions large language capturing models reusable to generate layout patterns high-lev from el programs, which scenes regularized a program-conditioned by the learned library model . T to o represent hierarchically scene predict variations, object FactoredScenes poses, and retrie learns ves and real-w places orld 3D rooms objects that in are a dif scene.


SWE-smith: Scaling Data for Software Engineering Agents

Neural Information Processing Systems

Despite recent progress in Language Models (LMs) for software engineering, collecting training data remains a significant pain point. Existing datasets are small, with at most 1,000s of training instances from 11 or fewer GitHub repositories. The procedures to curate such datasets are often complex, necessitating hundreds of hours of human labor; companion execution environments also take up several terabytes of storage, severely limiting their scalability and usability. To address this pain point, we introduce SWE-smith, a novel pipeline for generating software engineering training data at scale. Given any Python codebase, SWE-smith constructs a corresponding execution environment, then automatically synthesizes 100s to 1,000s of task instances that break existing test(s) in the codebase. Using SWE-smith, we create a dataset of 50k instances sourced from 128 GitHub repositories, an order of magnitude larger than all previous works. We train SWE-agent-LM-32B, achieving 40.2% Pass@1 resolve rate on the SWE-bench Verified benchmark, state of the art among open source models. We open source SWE-smith (collection procedure, task instances, trajectories, models) to lower the barrier of entry for research in LM systems for automated software engineering. All assets are available at https://swesmith.com.


MLZero: AMulti-Agent System for End-to-end Machine Learning Automation

Neural Information Processing Systems

Existing AutoML systems have advanced the automation of machine learning (ML); however, they still require substantial manual configuration and expert input, particularly when handling multimodal data. We introduce MLZero, a novel multi-agent framework powered by Large Language Models (LLMs) that enables end-to-end ML automation across diverse data modalities with minimal human intervention. A cognitive perception module is first employed, transforming raw multimodal inputs into perceptual context that effectively guides the subsequent workflow. To address key limitations of LLMs, such as hallucinated code generation and outdated API knowledge, we enhance the iterative code generation process with semantic and episodic memory. MLZero demonstrates superior performance on MLE-Bench Lite, outperforming all competitors in both success rate and solution quality, securing six gold medals. Additionally, when evaluated on our Multimodal AutoML Agent Benchmark, which includes 25 more challenging tasks spanning diverse data modalities, MLZero outperforms the competing methods by a large margin with a success rate of 0.92 (+263.6%)