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