Evolve Quick Reviews
Public Paper Reviews
Structured preliminary reviews of recent open-access papers, generated and continuously updated by the Evolve analysis engine. Each review condenses what the paper claims, how solid the evidence is, and the questions a rigorous peer reviewer would ask — English analysis with abstracts in your language. These are independent AI analyses, not peer review; the canonical record always lives at the publisher.
Gödel's and Scott's Variants of the Ontological Argument in Lean 4
Christoph Benzmüller
Machine-checked Lean 4 port of Benzmüller–Scott's Isabelle/HOL dataset (30 theories); sound, honest; novelty: per-theorem modal-logic dependency bounds.
UDAV: Uncertainty-Driven Adaptive VLM Waypoint Planner
Ghazal Farhani, Shabnam Shabani
Medoid of stochastic VLM paths plus uncertainty-triggered replanning for UAV-UGV navigation; sound and honest, but adaptive gain n.s. and τ tuned on test.
Metacognitive Steering: Learning the Structure of Scientific Judgment
Vincent Karpf, Joseph Reth, Eike Gerhardt, Audrey Wang et al.
Steers a frozen Kimi 2.6 via scientist-trace activation directions; localization credible, but behavioral evidence is anecdotal and data proprietary.
OPD-Aha: From Linguistic Momentum to Visual Reflection in Multimodal On-Policy Distillation
Chenhao Qiu, Dawei Li, Yechao Zhang, Lei Gong et al.
Rebuilds distillation targets from a teacher real-null visual contrast once student prefixes mislead; gains consistent yet single-seed, no significance tests.
BI-Agent and BI-Bench: Towards Automating End-to-End Business Intelligence
Chuxuan Hu, Yeye He, Penny Zhou, Wee Hyong Tok et al.
Claims first end-to-end BI benchmark and agent with large, statistically careful gains; credible, but 100-query scale and one 8B backbone limit generality.
Style-Debiased DPO: Updating LLM Knowledge with Factuality-Aware Synthetic Preference Data
Takayuki Yamamoto, Daisuke Kawahara
SD-DPO inverts factually-correct rejected DPO pairs to cancel style gradients; gains on QuALITY and AToKE are well-controlled yet rest on LLM-judged labels.
Visual Cue Guided Video Planning for Generalizable Robot Navigation
Hojin Lee, Sizhe Lester Li, Maximilian Hilger, Susie Lu et al.
CueNav pairs visual-cue video planning with a per-robot flow IDM; promising real-robot results (93% SR) but thin statistics and a privileged BEV input.
A Chosen Future Can Still Be Rewritten: Causal Writability in Video Models
Xingyun Wang, Haomin Zheng, Man Yuan, Leqian Yang et al.
Shows the correct motion remains writable in video models until a sharp depth commitment boundary; rigorous evidence, synthetic dynamics only.
Distributed JEPA: A Self-Supervised Framework for Energy Forecasting
Liana Toderean, Tudor Cioara, Vasilis Michalakopoulos, Efstathios Sarantinopoulos et al.
Proposes distributed JEPA for energy time-series; matches Transformer on buildings, wins 9/10 PV sites, but lacks significance tests and SSL baselines.
Verifiable by Construction: Claim-Level Evaluation of Verbatim Citation in Clinical Question Answering
Jiashuo Zhang, Yuling Chen, Yvonne Commodore-Mensah, Michael Oberst
Solid harness decomposing 12 LLMs' verbatim-citation clinical QA into coverage/verbatim/support stages; credible findings, but no ablations or CIs.
Safe Meta-Reinforcement Learning via Information Space Reachability
Zeyang Li, Sunbochen Tang, Navid Azizan
Safe meta-RL via belief-space reachability: clean contraction theory and sound framing; evidence limited to two HalfCheetah tasks, 3 seeds, thin baselines.
Pilot Early, Commit Late: A Real-Options Model of Enterprise AI Adoption under Rapid Technological Progress
Gaurav Tewari
清晰的两期实期权论文论证了试点、等待和部署是截然不同的；其数学推导正确但较为初级，且明确以说明性案例为主。
GPEvac: GNN-Based PPO for Adaptive Evacuation Routing During Shooting Events
Daniel Perkins, Subhadeep Chakraborty
GNN-PPO evacuation router generalizes across 2 simulated schools, beating tuned baselines on exposure; shooter is a random walk and evac-time stats omitted.
Optimal Pruning for Neural Architectures using Fisher Information Distances
David S. Berman, Yen-Yu Fu, Edward Hirst, Thelma Chiwete Obirai
Fisher-distance pruning unifies magnitude and Fisher criteria; sound and transparent, but toy-scale evidence and LLM extrapolation need tempering.
Safe Error Correction for Language Models: Frozen-Base Adjustment with Capability Preservation
Gautam Kishore
Frozen-base logit correction scores 53.3% on an in-distribution 60-Q exam with no measured capability loss; honest but circular evaluation limits impact.
LLMs as Master Forgers: Generating Synthetic Time Series Data for Manufacturing
Mantek Singh, Jeshwanth Challagundla, Prateek Karnal, Gagan Ganapathy et al.
Claims LLM+RAG generates better manufacturing time-series than ARIMA/LSTM; results plausible but thin—no significance tests, weak baselines, private data.
Skeletal Prototypes on Iterative Nerve Expansions
Jordan Eckert, Henry Schenck
SPINE models each class as a Mapper-built graph; it tops 7 baselines on 17 datasets, but its edge segments barely beat vertex-only 1-NN (p=0.091).
AI-Driven Feedback Systems, Digital Labour, and Silent Quitting: Transforming African Workplaces
Abayomi O. Agbeyangi, Jose M. Lukose
Narrative review argues AI feedback tools can both detect silent quitting and enable surveillance in Africa; balanced but vendor-sourced, non-empirical.
Anatomy of Associative Recall in Fixed-State Recurrences: A Matched-State Decomposition, an Interference Wall, and a Curriculum That Breaks It
Julian Boesch, Andrew Wee
Decomposes recurrent recall into convolution/transition/training effects; curriculum breaks interference wall. Rigorous, toy-scale, mostly well-supported.
Artificial intelligence and biosecurity: capabilities, threat pathways, and defense-in-depth governance
Candace S. Y. Chan, Aris Karatzikos, Ilias Georgakopoulos-Soares
A literature review arguing AI bio-risk is a function of capability, actor, and safeguards; its defense-in-depth framework is sensible but rests heavily on unreviewed preprints.
Toward Governance-Aware Autonomous GIS: A Narrative Review of Ethical and Privacy Risks in LLM-Enabled GeoAI
Maya Subramanian, Devika Jain
Narrative review maps eight LLM-GeoAI governance risks to an auditable controls architecture; candid that proposals are unvalidated and evidence stays thin.
The Pain Axis: LLMs Represent Self-Directed Harm and Act to Relieve It
Valen Tagliabue, Leonard Dung, Cameron Berg
Claims a cross-model linear 'pain axis' with causal, relief-seeking behavior; evidence is careful but family-limited and dose-selected.
Efficient Reasoning Distillation: Small Video-Language Models via Synthetic CoT and Difficulty-Aware Fine-Tuning
Mantek Singh, Jeshwanth Challagundla, Siddharth Raina, Jasmin Jarsania
Claims 2B VideoLM near 4B teacher via 900 CoT-distilled samples; promising but single-run, no variance, key CoT-order ablation unquantified.
Authority-Preserving Evaluation of Medical Vision-Language Assistants
Flint Xiaofeng Fan, Cheston Tan, Yew-Soon Ong, Roger Wattenhofer
AuthEval formalizes proposal-vs-selection gaps in medical VLM triage; sound and honest, but all evidence is simulated and proposer accuracy is weak.