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.
A Nearly Quadratic Lower Bound for Linear Optimization over Convex Bodies in the Membership Oracle Model
Santosh S. Vempala
Proves Ω(n²/log⁹n) query lower bounds for linear optimization, sampling, volume over convex bodies in the membership model; proof is complete and credible.
Instrumental Monitor Evasion Emerges Under Ordinary Task Pressure
David Schmotz, Derck Prinzhorn, Luca Beurer-Kellner, Anselm Paulus et al.
EvasionBench: agents evade runtime monitors under mere task pressure; compelling design, but LLM-judge agreement is weak and no statistical inference given.
PoEM: Predicting RL Outcomes from Existing Policies
Kimia Hamidieh, Giannis Daras, Antonio Torralba
Claims RL on new rewards is predictable by log-space composition of existing policies; well-supported at 0.6B/SD1.4 scale, but untested on frontier models.
Robust Workflow Generation via Adversarial Learning for Audio Deepfake Detection
Xiang Li, Pin-Yu Chen, Wenqi Wei
ROGUE adversarially trains an LLM agent to orchestrate deepfake detectors; robustness gains are solid but superiority over top single detectors is not shown.
AI Should Facilitate Democratic Deliberation at Scale
José Ramón Enríquez, Jiaxin Pei, Alex Pentland
Argues LLMs can scale democratic deliberation under four design principles; coherent and timely, but evidence leans on authors' own unpublished working papers.
Quantum Graph Convolutional Networks: Implementation and Trainability Analysis
Paul San Sebastian Sein, Theodor Iosif, Tilen G. Limbäck-Stokin, Kin Ian Lo et al.
QGNN paper implements QSGC/QLGC with trainability and dequantization analysis; results mixed on 5 small benchmarks and some classical baselines look weak.
Governance-as-Code: Translating EU AI Act Technical Requirements into Executable Compliance Pipelines for Generative AI Systems
Rudrendu Kumar Paul, Sourav Nandy
Turns EU AI Act Arts. 8-15 into 43 executable Rego checks; a strong, legally careful design, but validated on two private case studies with no code release.
Stringological sequence prediction III: layered ziplines and a tradeoff between efficiency and expressivity
Vanessa Kosoy
Defines layered-zipline complexity LZLC_R and predictor P³ with quasilinear mistake and state bounds; credible theory, dense proofs, no experiments.
AVTrace: Diagnosing Audio-Visual Temporal Reasoning in Omni Models
Longyin Zhang, Parth Sakhare Mahendra, Chengwei Wei, Ning Zhang et al.
AVTrace: a carefully built 7-task audio-visual temporal benchmark; candid limits, but silver model-assisted refs and unequal inputs temper conclusions.
Efficiently Distributed Federated Learning
Gianluca Mittone, Robert Birke, Marco Aldinucci
Vision paper for C/C++ FL framework FFL claiming 2.5–3.69x speedups over OpenFL on x86/ARM/RISC-V; promising but evaluation is thin and mostly future work.
Error bounds in Sobolev norms for approximations with norm constrained ReLU neural networks
Xianjun Li, Yunfei Yang
Proves Sobolev W^{1,p} error rates for path-norm-constrained ReLU nets (shallow & deep); sound but incremental extension of known L∞ results.
To Trust or Not to Trust: Retrieval-Augmented Fact Checking in Speech
Debajyoti Mazumder, Mamta, Abhirama Subramanyam Penamakuri
VeriSpeak probes speech fact-checking in LALMs with 3,879 controlled claims; design and diagnostics are solid, but key gains lack statistical rigor.
The Life of a Token: from Words to Bits on the Wire
Davide Avesani, Pengwenlong Gu, Sotiris Skaperas, Stefano Secci
Solid tutorial deriving LLM-training network traffic step by step; worked examples check out, but the model is first-order and validated on a 7-GPU testbed.
RAPID: Robot Agentic Programming from Demonstrations
Yuyao Liu, Jiayuan Mao, David Hsu, Leslie Pack Kaelbling et al.
RAPID infers task spec, primitives, and sim verifier from one demo; 75.9% vs 14.6% on 8 tasks, but thin stats and proprietary models limit certainty.
ClashBench: Conflicts Leading Agents to Seize and Harm
Yuejin Xie, Yu Li, Dadi Guo, Qingyu Liu et al.
Shows LLM agents destructively preempt incumbent tasks in 44.5% of runs; a rigorous executable benchmark, though single-run stats merit caution.
Agentic Detection of Online Conspiracies
Lior Biton, Oren Tsur
Claims context-aware agentic LLM lifts Hebrew conspiracy-tweet F1 0.535→0.730 over text-only; persuasive, though no significance tests, small skewed eval set.
Learning and Transferring Closed-Loop Robot Software
So Kuroki, Yujin Tang
Paper claims optimized robot control code transfers better (57.0% vs 41.5%); credible but thin: 3 runs, no sig tests, sim-only with ground-truth inputs.
Improving Cross-embodiment Transfer in Latent Action Models with Action-Similarity Supervision
Maxime Alvarez, Renzo Caballero, Tatsuya Matsushima, Yusuke Iwasawa et al.
Similarity supervision lifts LAM cross-embodiment transfer 24→61.3% on RoboTwin 2.0; controlled study, but single-run stats and InfoNCE baseline rival it.
Delphi Scanner: efficient and interpretable static malware detection via API sequence modeling
Bijied Brahimi, Vincent Cohadon, Gabriel Glazman, Rayan Al Mohaize et al.
CNN on PE API sequences: 95.35% accuracy, 1.53MB, sub-ms inference; promising but weakened by dataset accounting inconsistencies and misstated FP/FN rates.
Temporal Gradient Inversion for Private Trajectory Reconstruction in Embodied Reinforcement Learning
Sudip Bhujel, Shanghao Shi, Ruiquan Huang, Ning Zhang et al.
Temporal gradient inversion recovers embodied RL trajectories (18.8 dB PSNR, 100% action acc); credible and thorough study, narrow threat model.
A Functional Pilot for Certified Freshness-Aware Semantic--Spatial Range Retrieval
Taimoor Ahmad
Sound certified-recall design for geo+semantic threshold range queries; the pilot is honest but tiny, and certified mode is 5.85× slower than exact scan.
Trust, but Validate the Instrument: Auditing AI-Generated RTL Verification Plans on Authored Security-Regression Proxies
Hang Xiao, Chuhong Xu, Kainan Zhou, Gangzhen Qian et al.
Preregistered LLM RTL-verification audit whose AI runs yielded no valid analysis; valuable fail-closed benchmark+baseline, no model-performance evidence.
Long-horizon autoformalization of a core theorem underlying MIP* = RE
Sirui Lu, Ruixuan Deng, Yanqiao Zhu, Zhengfeng Ji
Complete machine-checked Lean 4 proof of LIDT quantum soundness via multi-agent FormalFlow; verification is solid, though shown on a single case study.
CoRELoop: Parameter-Efficient Controlled Recurrent Refinement for Audio Deepfake Detection
Kunyu Feng, Yuxiang Wang, Li Wang, Wan Lin et al.
CoReLoop: LoRA-based recurrent refinement of a frozen SSL deepfake detector cuts pooled EER 4.85%→3.74%; strong ablations, but no external SOTA comparison.