SOTAVerified

valid

Papers

Showing 451475 of 3589 papers

TitleStatusHype
A new and flexible class of sharp asymptotic time-uniform confidence sequences0
Robustness to Modification with Shared Words in Paraphrase Identification0
A New Algorithmic Decision for Categorical Syllogisms via Caroll's Diagrams0
A Neuro-Symbolic Method for Solving Differential and Functional Equations0
A Concept for Semi-Automatic Configuration of Sufficiently Valid Simulation Setups for Automated Driving Systems0
eSPARQL: Representing and Reconciling Agnostic and Atheistic Beliefs in RDF-star Knowledge Graphs0
Can You Trust Your Metric? Automatic Concatenation-Based Tests for Metric Validity0
A Neural-Symbolic Approach Towards Identifying Grammatically Correct Sentences0
Can convolutional ResNets approximately preserve input distances? A frequency analysis perspective0
Can LLMs Generate Reliable Test Case Generators? A Study on Competition-Level Programming Problems0
An essay on the history of DSGE models0
A Comprehensive Survey of Few-shot Learning: Evolution, Applications, Challenges, and Opportunities0
Can ChatGPT support software verification?0
Can Pre-trained Models Really Generate Single-Step Textual Entailment?0
An ensemble-based system for automatic screening of diabetic retinopathy0
An Empirical Comparison of Sampling Quality Metrics: A Case Study for Bayesian Nonnegative Matrix Factorization0
Advancing Prompt Learning through an External Layer0
A Comprehensive Benchmarking Platform for Deep Generative Models in Molecular Design0
Can Social Ontological Knowledge Representations be Measured Using Machine Learning?0
Capacity Studies for a Differential Growing Neural Gas0
An Efficient Doubly-Robust Test for the Kernel Treatment Effect0
An Efficient Batch Constrained Bayesian Optimization Approach for Analog Circuit Synthesis via Multi-objective Acquisition Ensemble0
Advancing Post Hoc Case Based Explanation with Feature Highlighting0
Automating Reasoning with Standpoint Logic via Nested Sequents0
Automating LC-MS/MS mass chromatogram quantification. Wavelet transform based peak detection and automated estimation of peak boundaries and signal-to-noise ratio using signal processing methods0
Show:102550
← PrevPage 19 of 144Next →

No leaderboard results yet.