IEEE

Efficient Dynamic Path Planning Algorithm for ASVs Based on Transfer Reinforcement Learning

Abstract: Autonomous surface vessels (ASVs) play a crucial role in military, civilian and scientific research fields, and path planning technology is the foundation for ensuring the navigation of ASVs ...
IEEE

EISPY2D: An Open-Source Python Library for the Development and Comparison of Algorithms in Two-Dimensional Electromagnetic Inverse Scattering Problems

Abstract: Microwave Imaging is a key technique for reconstructing the electrical properties of inaccessible media, relying on algorithms to solve the associated Electromagnetic Inverse Scattering ...
InfoQ

MIT's Recursive Language Models Improve Performance on Long-Context Tasks

Researchers at MIT's CSAIL published a design for Recursive Language Models (RLM), a technique for improving LLM performance on long-context tasks. RLMs use a programming environment to recursively ...
GitHub

Practice coding algorithms 100% offline with AI: generate problems, get hints, discuss solutions, and run code in JavaScript, TypeScript, or Python — no internet or setup ...

The desktop application provides the best experience with zero environment setup required. Simply download and run.
GitHub

A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2

Gödel's Poetry is an advanced automated theorem proving system that combines Large Language Models (LLMs) with formal verification in Lean 4. The system takes mathematical theorems—either in informal ...