SOTAVerified

The Open Verification Layer for ML Research

Community benchmark tracking and reproducibility verification. Built for researchers and autonomous research agents.

658,356 papers258,391 code links4,818 tasks

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 251–300 of 658356 papers

TitleStatusHype
Agentic Harness for Real-World CompilersCode0
The Y-Combinator for LLMs: Solving Long-Context Rot with λ-CalculusCode0
ReLi3D: Relightable Multi-view 3D Reconstruction with Disentangled Illumination—1
Continual Learning for Food Category Classification Dataset: Enhancing Model Adaptability and Performance—0
AIGQ: An End-to-End Hybrid Generative Architecture for E-commerce Query Recommendation—0
RAM: Recover Any 3D Human Motion in-the-Wild—0
NEC-Diff: Noise-Robust Event-RAW Complementary Diffusion for Seeing Motion in Extreme DarknessCode0
ODySSeI: An Open-Source End-to-End Framework for Automated Detection, Segmentation, and Severity Estimation of Lesions in Invasive Coronary Angiography Images—0
Measuring Faithfulness Depends on How You Measure: Classifier Sensitivity in LLM Chain-of-Thought Evaluation—0
DAPA: Distribution Aware Piecewise Activation Functions for On-Device Transformer Inference and Training—0
TuLaBM: Tumor-Biased Latent Bridge Matching for Contrast-Enhanced MRI Synthesis—0
Pseudo-Labeling for Unsupervised Domain Adaptation with Kernel GLMs—0
VeloxNet: Efficient Spatial Gating for Lightweight Embedded Image Classification—0
Depictions of Depression in Generative AI Video Models: A Preliminary Study of OpenAI's Sora 2—0
dinov3.seg: Open-Vocabulary Semantic Segmentation with DINOv3—0
Predicting Hidden Links and Missing Nodes in Scale-Free Networks with Artificial Neural Networks—0
POET: Power-Oriented Evolutionary Tuning for LLM-Based RTL PPA Optimization—0
Do Post-Training Algorithms Actually Differ? A Controlled Study Across Model Scales Uncovers Scale-Dependent Ranking Inversions—0
Diffusion-Guided Semantic Consistency for Multimodal Heterogeneity—0
Spectral Tempering for Embedding Compression in Dense Passage Retrieval—0
Beyond Weighted Summation: Learnable Nonlinear Aggregation Functions for Robust Artificial Neurons—0
Exploring the Agentic Frontier of Verilog Code Generation—0
Anatomical Heterogeneity in Transformer Language Models—0
A Mathematical Theory of Understanding—0
A Novel Solution for Zero-Day Attack Detection in IDS using Self-Attention and Jensen-Shannon Divergence in WGAN-GP—0
Warm-Start Flow Matching for Guaranteed Fast Text/Image Generation—0
Factored Levenberg-Marquardt for Diffeomorphic Image Registration: An efficient optimizer for FireANTs—0
Automated Membership Inference Attacks: Discovering MIA Signal Computations using LLM Agents—0
Bridging Conformal Prediction and Scenario Optimization: Discarded Constraints and Modular Risk Allocation—0
Optimizing Resource-Constrained Non-Pharmaceutical Interventions for Multi-Cluster Outbreak Control Using Hierarchical Reinforcement Learning—0
Scalable Prompt Routing via Fine-Grained Latent Task Discovery—0
Investigating In-Context Privacy Learning by Integrating User-Facing Privacy Tools into Conversational Agents—0
The Autonomy Tax: Defense Training Breaks LLM Agents—0
Is Evaluation Awareness Just Format Sensitivity? Limitations of Probe-Based Evidence under Controlled Prompt Structure—0
Vocabulary shapes cross-lingual variation of word-order learnability in language models—0
When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)—0
Subspace Projection Methods for Fast Spectral Embeddings of Evolving Graphs—0
Near-Equivalent Q-learning Policies for Dynamic Treatment Regimes—0
LoFi: Location-Aware Fine-Grained Representation Learning for Chest X-ray—0
TrustFlow: Topic-Aware Vector Reputation Propagation for Multi-Agent Ecosystems—0
Adaptive Layerwise Perturbation: Unifying Off-Policy Corrections for LLM RL—0
In-the-Wild Camouflage Attack on Vehicle Detectors through Controllable Image Editing—0
GeoLAN: Geometric Learning of Latent Explanatory Directions in Large Language Models—0
Deep Hilbert--Galerkin Methods for Infinite-Dimensional PDEs and Optimal Control—0
Hyperagents—4
Global Convergence of Multiplicative Updates for the Matrix Mechanism: A Collaborative Proof with Gemini 3—0
ProactiveBench: Benchmarking Proactiveness in Multimodal Large Language Models—1
A Framework for Formalizing LLM Agent Security—0
Reinforcement-guided generative protein language models enable de novo design of highly diverse AAV capsids—0
Narrative Aligned Long Form Video Question Answering—0
Show:102550
← PrevPage 6 of 13168Next →