This master publication presents the complete, deterministic analytic and algebraic resolution of the 6 Millennium Prize Problems established by the Clay Mathematics Institute (CMI), unified under the AETERNA Self-Adjoint Spectral Operator Framework by Dimitar Prodromov (AETERNA Technologies EOOD). THE 6 FORMAL RESOLUT...
Dimitar Prodromov· Zenodo (CERN European Organi...· 0 citations
The Riemann Hypothesis (RH), formulated by Bernhard Riemann in 1859, asserts that all non-trivial zeros of the Riemann zeta function have real part Re(s) = 1/2. In this paper, we establish a deterministic, complete analytic proof of the Riemann Hypothesis by synthesizing an exact zero-float rational arithmetic substrat...
Dimitar Prodromov· Zenodo (CERN European Organi...· 0 citations
Understanding EVM bytecode is critical for smart contract security analysis. Existing decompilers typically rely on heuristic rules or leverage large language models (LLMs) to generate source code after bytecode analysis. However, heuristic-based approaches often produce pseudocode that is difficult for humans to inter...
Yilun Ma, Lingxiao Tang, Li Gang Lin et al.· Proceedings of the ACM on so...· 0 citations
Modern REST API testing faces a critical challenge in defining reliable test oracles, particularly in agile industrial environments where formal specifications (e.g., OpenAPI) are frequently missing or outdated, and historical execution logs are unavailable for newly deployed endpoints. In this paper, we present RESTOR...
Xun Zhou, Zhen Dong, Mingyu Ren et al.· Proceedings of the ACM on so...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Dogs were the first species to be domesticated, and while other species perish due to anthropogenic influences, dogs thrive in the human-dominated environment. Notwithstanding, companion dogs can develop problem behaviours, such as aggressive responses, destructiveness, or stereotypic behaviours. Canine behaviour probl...
Nicole Pfaller-Sadovsky· Research Portal (Queen's Uni...· 0 citations
This thesis proposes novel methods based on the deep reinforcement learning algorithms (DRL) for maximising the energy efficiency (EE), sum-rate in reconfigurable intelligent surface (RIS) and unmanned aerieal vehicles (UAV)-aided wireless communications. The thesis carries out comprehensive optimization and evaluation...
Khoi Khac Nguyen· Research Portal (Queen's Uni...· 0 citations
The construction industry is a backbone of the national economy throughout the world as it accounts for a sizeable proportion of most countries' gross domestic product. It is generally accepted that construction is a project-based industry, and the selection of project delivery system (PDS) is one of the most important...
Xingyu Zhu· Research Portal (Queen's Uni...· 0 citations
The rapid development of autonomous systems has revealed significant technological potential across numerous domains, yet safety concerns continue to pose a substantial barrier to their widespread adoption. Autonomous systems are defined here as engineered systems capable of performing tasks and making decisions indepe...
Stephen McIlvanna· Research Portal (Queen's Uni...· 0 citations
In fault-tolerant quantum computation, the preparation of logical states is a ubiquitous subroutine, yet significant challenges persist even for the simplest states required. In the present work, we present a unitary, scalable, distance-preserving encoding scheme for preparing Pauli eigenstates in surface codes. Unlike...
Luis Colmenárez, Remmy A. M. Zen, Jan Ollé et al.· npj Quantum Information· 0 citations
This research was conceptualised to enhance the educational experience of first-year undergraduate students. The massification of higher education has meant that first-year students are often commonly taught with students from different faculties in large lecture theatres. As the drive towards an outcome-based student-...
Angela Lincoln· Research Portal (Queen's Uni...· 0 citations
There is increasing interest in the area of research involving automated technologies for solving problems. High generality and ease of reusability have become a major goal in the development of Search methodologies within automation. One search method that meets these requirements is the hyper-heuristic. A hyper-heuri...
Kehan Han· Research Portal (Queen's Uni...· 0 citations
Mixed precision quantization has become an important technique for optimizing the execution of deep neural networks (DNNs). Certified robustness, which provides provable guarantees about a model’s ability to withstand different adversarial perturbations, has rarely been addressed in quantization due to the unacceptably...
Yuchen Yang, Yifan Zhao, Shubham Ugare et al.· Proceedings of the ACM on so...· 1 citation
Students in MIT’s Concourse program delve deeply into the human condition, debate challenging questions, and learn to develop judgment about issues that can’t be quantified.
Training AI agents with reinforcement learning can be challenging because their tools, context, and decision-making are managed by complex frameworks. Agent Lightning connects existing agents to RL training, making it easier to improve them without rebuilding them. The post Agent Lightning v1.0: A 3,500-Line Lightweight Agentic RL Framework for Training Agents with Real Harnesses appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduOct 6, 2026
