IEEE

Mirror-Symmetrical Dijkstra’s Algorithm-Based Deep Reinforcement Learning for Dynamic Wireless Charging Navigation of Electric Vehicles

Abstract: The dynamic wireless charging (DWC) system based on wireless charging lanes (WCLs) is an important component of smart cities, allowing electric vehicles (EVs) to charge while moving. It is ...
IEEE

Protein Folding and Drug Discovery Using Quantum Computing’s Grover’s Algorithm

Abstract: In this paper, we present a novel approach to protein folding and drug discovery leveraging Grover’s algorithm. Our protein folding methodology focuses on accurately determining the phi and ...
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

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 ...