SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1401–1450 of 1596 papers

TitleStatusHype
Coarse-grained Stochastic Model of Myosin-Driven Vesicles into Dendritic SpinesCode0
AutoBERT-Zero: Evolving BERT Backbone from Scratch—0
Is GPT-3 Text Indistinguishable from Human Text? Scarecrow: A Framework for Scrutinizing Machine Text—0
Analyzing Non-Textual Content Elements to Detect Academic Plagiarism—0
Assessing the impact of social activity permissiveness on the COVID-19 infection curve of several countries—0
Measuring and Improving BERT's Mathematical Abilities by Predicting the Order of Reasoning—0
Sequence to General Tree: Knowledge-Guided Geometry Word Problem SolvingCode0
Solving Arithmetic Word Problems with Transformers and Preprocessing of Problem Text—0
WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of Code—0
FINNger -- Applying artificial intelligence to ease math learning for childrenCode0
Classifying Math KCs via Task-Adaptive Pre-Trained BERTCode0
GSSF: A Generative Sequence Similarity Function based on a Seq2Seq model for clustering online handwritten mathematical answers—0
Investigating Math Word Problems using Pretrained Multilingual Language ModelsCode0
Compositional Processing Emerges in Neural Networks Solving Math ProblemsCode0
MathBERT: A Pre-Trained Model for Mathematical Formula Understanding—0
Math Operation Embeddings for Open-ended Solution Analysis and Feedback—0
Automatic Description Construction for Math Expression via Topic Relation Graph—0
Backup Control Barrier Functions: Formulation and Comparative Study—0
WARM: A Weakly (+Semi) Supervised Model for Solving Math word Problems—0
A matrix math facility for Power ISA(TM) processors—0
GPU Domain Specialization via Composable On-Package Architecture—0
Extracting the Unknown from Long Math Problems—0
Revisiting Priority k-Center: Fairness and Outliers—0
Rip van Winkle's Razor: A Simple Estimate of Overfit to Test Data—0
VS-Quant: Per-vector Scaled Quantization for Accurate Low-Precision Neural Network Inference—0
Characterizing Student Engagement Moods for Dropout Prediction in Question Pool Websites—0
Performance Analysis and Improvement of Parallel Differential Evolution—0
ChemistryQA: A Complex Question Answering Dataset from Chemistry—0
Breaking Ties: Regression Discontinuity Design Meets Market Design—0
SMART: A Situation Model for Algebra Story Problems via Attributed Grammar—0
Generating Math Word Problems from Equations with Topic Controlling and Commonsense Enforcement—0
Biased Programmers? Or Biased Data? A Field Experiment in Operationalizing AI Ethics—0
Technical Domain Identification using word2vec and BiLSTM—0
Generating Equation by Utilizing Operators : GEO model—0
Solving Arithmetic Word Problems Using Transformer and Pre-processing of Problem Texts—0
Solving Math Word Problems with Multi-Encoders and Multi-DecodersCode0
Reinforced optimal control—0
A note on the option price and 'Mass at zero in the uncorrelated SABR model and implied volatility asymptotics'—0
A Knowledge-Aware Sequence-to-Tree Network for Math Word Problem Solving—0
Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes—0
A range characterization of the single-quadrant ADRT—0
Machine Translation of Mathematical Text—0
Reverse Operation based Data Augmentation for Solving Math Word ProblemsCode0
An algorithm to represent inbreeding treesCode0
Short dated smile under Rough Volatility: asymptotics and numerics—0
A Chinese Math Word Problem Solving System Based on Linguistic Theory and Non-statistical Approach—0
Sustainable Border Control Policy in the COVID-19 Pandemic: A Math Modeling Study—0
Analytic solution of the SEIR epidemic model via asymptotic approximant—0
Interpretable Factorization for Neural Network ECG Models—0
On sparse connectivity, adversarial robustness, and a novel model of the artificial neuron—0
Show:102550
← PrevPage 29 of 32Next →

No leaderboard results yet.