139 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
This paper explores a novel approach to program self-optimization, termed "Entropy-Driven Program Self-Optimization (EDPSO)." The core concept revolves around a program's ability to monitor and adapt its own execution based on the inherent information entropy within its processes. The system employs an "entropy-aware"...
This paper introduces Dynamic Topological Dependency Learning (TDTL), a novel approach to knowledge representation and reasoning that leverages reinforcement learning to dynamically construct and adapt an internal knowledge graph based on observed data and inference results. Unlike traditional methods that rely on pre-...
Automated theorem proving (ATP) aims to develop systems capable of mechanically proving mathematical theorems. Despite significant advancements, ATP systems often struggle with complex reasoning tasks, largely due to the inherent difficulty in representing and executing logical deduction rules. This work proposes a nov...
This paper presents a novel dynamic probability field model designed to simulate complex system behavior and predict future states by dynamically adjusting probability field parameters based on real-time data and environmental changes. Leveraging the integration of machine learning and reinforcement learning, this mode...
This paper introduces the Dynamic Neural Network Topology (DNTN), a novel neural network architecture designed to overcome the limitations of static, connection-based networks. The core claim of this work is that by dynamically adjusting the physical connection strengths and topology of neurons in real-time, adaptive l...
Automated theorem proving (ATP) aims to develop systems capable of mechanically proving mathematical theorems. Despite significant advancements, ATP systems often struggle with complex reasoning tasks, largely due to the inherent difficulty in representing and executing logical deduction rules. This work proposes a nov...
This paper presents a novel approach to software security protocol design leveraging formal verification techniques. Traditional protocol design relies heavily on manual analysis and testing, which are often insufficient to guarantee complete security. This work introduces a methodology that transforms security protoco...
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
