First-of-its-kind automated root imaging platform speeds plant discoveries

The Department of Energy's Oak Ridge National Laboratory has launched a novel robotic platform to rapidly analyze plant root systems as they grow, yielding AI-ready data to accelerate the development ...
Communications of the ACM

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

A marriage of formal methods and LLMs seeks to harness the strengths of both.
IEEE

Hybrid Tree-Based Machine Learning Models for State-of-Charge and Core Temperature Estimation in EV Batteries

Abstract: Accurate estimation of State-of-Charge (SoC) and core temperature is fundamental to optimizing the performance, safety, and longevity of Lithium-Ion Batteries (LiBs), particularly in ...
GitHub

A secure, session-based web sandbox for executing Python code. This application provides each user with a dedicated, isolated Docker container that persists for their browser ...

Each user session is assigned a dedicated Docker container that runs until the browser tab is closed. If your code imports a package that is not available, the sandbox automatically installs it from ...
GitHub

Public python API inconsistency: some methods return models, others return raw dicts

The Python Copilot SDK currently exposes a mixed public API surface: some higher-level methods return dataclass-based models (generated from NodeJS definitions), while others return raw JSON-RPC dicts ...
IEEE

Forest Tree Species Classification Based on Deep Ensemble Learning by Fusing High-Resolution, Multitemporal, and Hyperspectral Multisource Remote Sensing Data

Abstract: Forest tree species classification has great significance for sustainable development of forest resource. Multisource remote sensing data provide abundant temporal, spatial, and spectral ...