SOTAVerified

The Open Verification Layer for ML Research

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

661,570 papers248,326 code links4,818 tasks

Papers

Showing 1205112100 of 661570 papers

TitleStatusHype
A Boundary Integral-based Neural Operator for Mesh Deformation0
What Is the Alignment Tax?0
Revealing Positive and Negative Role Models to Help People Make Good Decisions0
ATD: Improved Transformer with Adaptive Token Dictionary for Image Restoration0
GPUTOK: GPU Accelerated Byte Level BPE Tokenization0
Synthetic-Child: An AIGC-Based Synthetic Data Pipeline for Privacy-Preserving Child Posture Estimation0
VLMFusionOcc3D: VLM Assisted Multi-Modal 3D Semantic Occupancy Prediction0
BRIGHT: A Collaborative Generalist-Specialist Foundation Model for Breast Pathology0
Reinforcement Learning with Symbolic Reward Machines0
Succeeding at Scale: Automated Dataset Construction and Query-Side Adaptation for Multi-Tenant Search0
Stringology-Based Motif Discovery from EEG Signals: an ADHD Case Study0
Minimax Optimal Strategy for Delayed Observations in Online Reinforcement Learning0
3D Wavelet-Based Structural Priors for Controlled Diffusion in Whole-Body Low-Dose PET Denoising0
LEDOM: Reverse Language Model0
Prior-based Noisy Text Data Filtering: Fast and Strong Alternative For Perplexity0
Beyond State-Wise Mirror Descent: Offline Policy Optimization with Parameteric Policies0
How Controllable Are Large Language Models? A Unified Evaluation across Behavioral Granularities0
On the Topology of Neural Network Superlevel Sets0
Grokking as a Phase Transition between Competing Basins: a Singular Learning Theory Approach0
Scale-invariant Gaussian derivative residual networks0
Next Embedding Prediction Makes World Models Stronger1
Contextual Latent World Models for Offline Meta Reinforcement Learning0
QiMeng-CRUX: Narrowing the Gap Between Natural Language and Verilog via Core Refined Understanding eXpression for Circuit Design0
Graph Recognition via Subgraph Prediction0
Why Does RLAIF Work At All?0
Intelligent Pathological Diagnosis of Gestational Trophoblastic Diseases via Visual-Language Deep Learning Model0
Differentiable Time-Varying IIR Filtering for Real-Time Speech Denoising0
Spatial Autoregressive Modeling of DINOv3 Embeddings for Unsupervised Anomaly Detection0
Variance reduction in lattice QCD observables via normalizing flows0
Beyond Factual Correctness: Mitigating Preference-Inconsistent Explanations in Explainable Recommendation0
Compact Prompting in Instruction-tuned LLMs for Joint Argumentative Component Detection0
On Geometry Regularization in Autoencoder Reduced-Order Models with Latent Neural ODE Dynamics0
Inherited Goal Drift: Contextual Pressure Can Undermine Agentic Goals0
QDFlow: A Python package for physics simulations of quantum dot devices0
Learning-guided Kansa collocation for forward and inverse PDEs beyond linearity0
UniSkill: A Dataset for Matching University Curricula to Professional Competencies0
A Covering Framework for Offline POMDPs Learning using Belief Space Metric0
Frame Guidance: Training-Free Guidance for Frame-Level Control in Video Diffusion Models1
Key and Value Weights Are Probably All You Need: On the Necessity of the Query, Key, Value weight Triplet in Self-Attention Transformers0
Auditing Information Disclosure During LLM-Scale Gradient Descent Using Gradient Uniqueness0
Lattice-based Deep Neural Networks: Regularity and Tailored Regularization0
Generalized Bayes for Causal Inference0
A medical coding language model trained on clinical narratives from a population-wide cohort of 1.8 million patients0
SEM-CTRL: Semantically Controlled Decoding0
CAWM-Mamba: A unified model for infrared-visible image fusion and compound adverse weather restorationCode0
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus0
SigmaQuant: Hardware-Aware Heterogeneous Quantization Method for Edge DNN Inference0
Exact Functional ANOVA Decomposition for Categorical Inputs Models0
3D-DRES: Detailed 3D Referring Expression Segmentation0
OrchMAS: Orchestrated Reasoning with Multi Collaborative Heterogeneous Scientific Expert Structured Agents0
Show:102550
← PrevPage 242 of 13232Next →