For every paper on this page, at least one of the original authors has seen our plain-language explanation and engaged with it — either confirming it reads accurately or requesting corrections that we then applied. An endorsement does not mean the authors formally approve every sentence, but it does mean the explanation has passed the eyes of the people who wrote the paper.

1336 papers reviewed by authors · 331–340 / 1336

🔭 astrophysics

Shape Shifting Light Dark Matter Solitons

This paper presents a unified analytic model describing how ultralight dark matter solitons shift from cored to cusped shapes under the influence of central black holes, demonstrating that observations of dwarf galaxies are consistent with a universal particle mass of approximately 1.5×10−221.5\times 10^{-22} eV/c2^2 when accounting for these shape changes and potential central black holes.

Dor Ben-Amotz2026-07-29✓ Author reviewed ⓘ
⚡ electrical engineering

Structural Deterioration of Reinforced Concrete Roofs in Marine Environments Due to Improper Rehabilitation Practices: A Case Study of the Central Bank of Yemen Building, Aden

This case study of the Central Bank of Yemen in Aden demonstrates that improper roof rehabilitation, specifically the accumulation of excessive superimposed layers, significantly accelerated structural deterioration in a marine environment, but strategic load reduction through material removal and drainage improvement successfully mitigated these risks by decreasing the column load by nearly 59%.

Abubaker M. Ba Rahim2026-07-29✓ Author reviewed ⓘ
🔢 mathematics

Kernel-Checked Exclusions for the Erdős-Selfridge Odd Covering Problem: Any Odd Covering of ℤ Has lcm Exceeding 10000

This paper presents a fully kernel-verified Lean 4 formalization proving that any finite covering of the integers by distinct odd moduli greater than 1 must have a least common multiple exceeding 10,000, thereby establishing a mechanically certified exclusion for the Erdős-Selfridge odd covering problem without relying on unverified computational solvers.

Ibrahim Mian, Shayaan Siddique2026-07-29✓ Author reviewed ⓘ
💻 computer science

Agentic AI Autonomy Assessment: A Decision-Support Framework Towards Governed Supply Chain Systems

This paper introduces the Agentic AI Autonomy Assessment (AAAA) framework, a decision-support tool that measures task-level autonomy across three dimensions to enable continuous governance and risk assessment, revealing that the impact of autonomy on supply chain performance varies by position within the network.

Lennart Trumpler, Rodrigo Furlan de Assis, Elias Ribeiro da Silva, Luis Antonio de Santa-Eulalia, Christian Hendriksen2026-07-29✓ Author reviewed ⓘ
💬 NLP

Beyond Direct Answering: Aligning Educational LLMs as Socratic Guides via Heuristic Reinforcement Learning

This paper introduces HeuristicEdu, a two-phase reinforcement learning framework that aligns the Qwen2.5-7B model to function as a Socratic guide rather than a direct answerer, achieving significant improvements in scaffolding effectiveness and reduced concept leakage through heuristic rewards and Group Relative Policy Optimization.

Xiaokun Wang, Siyu Song, Wentao Liu, Xiaodong Zou2026-07-28✓ Author reviewed ⓘ
💻 computer science

Removing Noise or Introducing Bias? The Hidden Cost of MSR Filtering

This study analyzes 1.57 million GitHub repositories to demonstrate that common filtering criteria in Mining Software Repositories (MSR) research introduce significant maintenance, ecosystem, and relational biases that distort project abandonment rates and variable relationships, advocating for a shift toward stratified sampling and refined noise detection.

Mohit Kaushik, Jyoti Bawa2026-07-28✓ Author reviewed ⓘ