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.
Correct Diagnosis, Better Feedback: A Symbolic-Verifier for Faithful LLM Tutoring Feedback in Logic Proofs
Tahreem Yasir, Arnav Mody, Xioayi Tian, Tiffany Barnes
Proposes a symbolic verifier grounding LLM logic-tutor feedback; well-executed small study showing faithful feedback can fix the wrong error, but conclusions rest on designed-in faithfulness and thin human validation.
The Ups and Downs of Backprop Weights
Giuseppe Chindemi, Benjamin F. Grewe
关于权重纠缠的立场论文：提出权重算子/向量网络；概念上清晰且坦诚，但证据来自一篇配套的预印本。
ufakzeka-1: Building and Evaluating a 151M-Parameter Turkish Language Model from Scratch
Sait Furkan Teke
Honest $286 build of a 151M Turkish LLM; contribution is measurement practice—contaminated safety gates, seed variance—openly released, credible, modest.
Do Student LLMs Inherit OOD Robustness? Invariance-Weighted Distillation for Reliable Knowledge Transfer
Dileesha Kannangara, Sanghamitra Dutta
IWD weights KD samples by teacher invariance; 4-task results support OOD gains, but headline gains over KD mostly reflect augmentation, not the weighting.
Scalable Incremental Robustness Analysis of Neural Network Feedback Systems
Zichen Wang, Peter Seiler, Geir Dullerud, Bin Hu
Scalable depth-independent LMIs certify incremental ℓ2 gain of NN feedback; sound theory, tighter than small-gain, but plants are small and no code released.
Federating Quantum and Classical Computing: A Privacy-Preserving Hybrid Approach
Carlos Cano, Daniel M. Jimenez-Gutierrez, Diego Sal, Georgios Kellaris et al.
Claims blind VFL lifts a 12-param quantum hybrid from 0.7227 to 0.8757, near centralized 0.9216; sound sim study but benchmark is purpose-built to favor it.
Beyond the Leaderboard: Counterfactual Diagnosis of End-to-End and VLA Driving Policies Under Domain Shift
Ruolin Yang, Zilin Huang, Buoyue Wang, Zhengyang Wan et al.
Counterfactual edits diagnose six driving policies' pedestrian response; pre-registered transfer test is rigorous, though open-loop replay limits conclusions.
Zero-Trust Authorization and Discovery for Enterprise MCP
Huan Li, Yuwei Wang, Srinivasan Manoharan
FastMCP extensions for dual-persona auth, pre-auth discovery and per-tool RBAC, in production; candid paper, but the headline 21.1%→0% result is architecturally forced.
Benchmarking Hybrid Deep Learning Architectures for Predictive Maintenance in Industry 4.0
Zhengyang, Gu, Joseph E. Hernandez, Thomas Cook et al.
Claims LSTM-Transformer wins on noise robustness via 700+ runs; evidence weakened by synthetic linear targets, no significance tests, missing linear baselines.
SEABED: SouthEast Asian Benchmark for Evaluating Audio Reasoning
Harshit Rajgarhia, Asif Shaik, Rachuri Lokesh, Sushanta Kumar Pani et al.
SEABED: solid reasoning-first SEA audio benchmark (best model 50.3%); rigorous ablations, but LLM-authored golds and no human validation temper conclusions.
Augmenting PID Control with Deep Reinforcement Learning: A Hybrid Approach to the Industrial Benchmark
Zhengyang, Gu, Joseph E. Hernandez, John Burtenshaw et al.
Claims a hybrid PID controller with TD3-discovered Gain/Shift matches the best DRL agent (-203.46 vs -204.92); promising but single-episode evaluation, no significance tests, and an unproven MIMO premise.
TWIG: A Time-Causal Wavelet Operator for Autoregressive Forecasting on Irregular Graphs
Subashree Venkatasubramanian, David A. Barajas-Solano, Chuyang Liu, Daniel M. Tartakovsky et al.
TWIG adds causal multiscale temporal encoding to graph-wavelet rollouts, winning 2 of 3 benchmarks; sound work, though the SwiGLU confound muddies attribution.
Seeing is not Enough: Vision-Language Models Perceive Evidence but Fail to Act
Yuyang Dai, Bofei Huang, Hongbo Zhang, Haoran Xie
Claims VLMs perceive evidence but ignore it; benchmark+SRT prompting show gains require oracle boundary labels — rigorous but small-n, not yet deployable.
User-Level Handover Decision Making Based on Machine Learning Approaches
João Lima, Alvaro Medeiros, Eduardo Aguiar, Vicente Angelo de Sousa Junior et al.
Claims SVM/MLP best classify HO targets, LightGBM best predicts download time in ns-3; small-scale comparison, narrow scenario, no 3GPP baseline KPIs shown.
AutoGym: Blueprint-First Generation of Verifiable Agent Gyms
Aarati Andrea Noronha, Kavya Ravikumar, Carly Xiaoyu Lin
AutoGym's blueprint-first pipeline makes solvability a construction constraint and steers 39% of tasks into the hard band for Claude Opus 4.6 vs 21.5% expert-authored — but no CIs, thin human-validation detail, and no training baseline.
MAWILE: Multi-Axis Workbench for Inspecting LLM Evaluators
Jackson Hassell, Farima Fatahi Bayat, Pouya Pezeshkpour, Estevam Hruschka
MAWILE unifies judge-audit perturbations across prompt, rubric, input, and output; a well-engineered system paper with broad but statistically thin evidence.
Fairly Compensated Distributed Information Retrieval and Augmentation for AI Agents
Yixiang Yao, Pasha Barahimi, Srivatsan Ravi
THE+zk-SNARK+HTLC protocol for trustless agent data purchase is coherent and benchmarked, but tests stop at 32 bytes — document-scale practicality unproven.
Preserving What Matters: Semantic Scaffolds Beyond Saturation in Summarization Evaluation
Nikhil Reddy Pottanigari, Ramin Fahimi, Noah Bolger, Sepideh Kharaghani et al.
Shows LLM-judge saturation and proposes scaffold metrics (FPS/QPS/EPS) that keep spread; plausible diagnostics, but validity vs human preference untested.
HIGenNTO: Scalable Humanoid Interaction Generation via Noise-Space Trajectory Optimization
Lalit Jayanti, Kashu Yamazaki, Yuto Shibata, Kotaro Amaya et al.
基于冻结运动先验的噪声空间优化显著降低了人形机器人场景穿透度和手部目标误差，但其优势建立在狭窄的内部基线之上。
From Documented Strengths to Force Limits: Material-Informed Robotic Insertion for Construction Assembly
Lin He, Yanyi Chen, Haofei Sun, Lingyao Li et al.
SAGE couples LLM extraction with an FE response model to set force limits, cutting mean capacity error 80.65%→10.74%; hardware and gate validation stay thin.
Concurrency-Aware Process Model Forecasting with Causal Nets
Yongbo Yu, Jari Peeperkorn, Johannes De Smedt, Jochen De Weerdt
Extends PMF to concurrency-bearing causal nets; careful evaluation, but concurrency correctness and value over DFG forecasting remain unverified.
GaitVista: Reliability-Aware AI Measurement toward Accessible Longitudinal Gait Assessment
Nethmi Jayasinghe, Mihir Parashar, Amit Ranjan Trivedi
Reliability gate for vision-IMU gait fusion cuts TotalCapture error 27.7%; strong controlled evidence, but healthy-only subjects limit accessibility claims.
Splitting Documents at Lower Cost: Multi-Split Boundary Decisions for LLM-Based Page Stream Segmentation
Nikhil Reddy Pottanigari, Sepideh Kharaghani, Saverio Vadacchino, Alejandro Posada et al.
MSBD batches page-boundary decisions into one LLM call, holding accuracy to a model-specific knee; plausible, but single-run evidence lacks significance checks.
Beetle: A Bilingual Model Suite for Modelling Second-Language Processing
Suchir Salhan, Catherine Arnett, James Michaelov, Paula Buttery
Releases 285 bilingual + 45 mono LMs with checkpoints; staged curricula best predict L2 reading times, but single seeds and L2-share confounds temper claims.