SOTAVerified

BIG-bench Machine Learning

This branch include most common machine learning fundamental algorithms.

Papers

Showing 99519975 of 10033 papers

TitleStatusHype
Revisiting the Nystrom Method for Improved Large-Scale Machine Learning0
ML4PG in Computer Algebra verification0
Recycling Proof Patterns in Coq: Case Studies0
SpeedRead: A Fast Named Entity Recognition Pipeline0
Feature vector regularization in machine learning0
A metric for software vulnerabilities classification0
Machine Learning in Proof General: Interfacing Interfaces0
Online Portfolio Selection: A SurveyCode1
On the Convergence Properties of Optimal AdaBoost0
A Machine Learning Approach to Convert CCGbank to Penn Treebank0
A Machine Learning Approach for Phenotype Name Recognition0
Iterative Chinese Bi-gram Term Extraction Using Machine-learning Classification Approach0
A Stochastic Gradient Method with an Exponential Convergence _Rate for Finite Training Sets0
Forging The Graphs: A Low Rank and Positive Semidefinite Graph Learning Approach0
Learning Invariant Representations of Molecules for Atomization Energy Prediction0
Deep Spatio-Temporal Architectures and Learning for Protein Structure Prediction0
Semi-supervised Eigenvectors for Locally-biased Learning0
Duality between subgradient and conditional gradient methods0
Theano: new features and speed improvements0
Active Learning for Crowd-Sourced Databases0
Auto-WEKA: Combined Selection and Hyperparameter Optimization of Classification AlgorithmsCode0
Determinantal point processes for machine learningCode0
MARFCAT: Transitioning to Binary and Larger Data Sets of SATE IV0
Machine Learning of Syntactic Attachment from Morphosyntactic and Semantic Co-occurrence Statistics0
The Role of Linguistic Models and Language Annotation in Feature Selection for Machine Learning0
Show:102550
← PrevPage 399 of 402Next →

Benchmark Results

#ModelMetricClaimedVerifiedStatus
1Fb232account and password 100Unverified