Ammar Rashed
5 SlideShares 1 Abonnés
Mots-clés
machine learning ai julia bayesian models proof assistants reinforcement learning measurement social media computer technology
Tout plus

Présentations

(5)
Tout voir

Deep Q-learning from Demonstrations DQfD

il y a 4 ans • 262 Vues

Embeddings-Based Clustering for Target Specific Stances

il y a 3 ans • 117 Vues

A Novel Method to Estimate Measurement Error in AI-Assisted Measurements

il y a 1 an • 40 Vues

Learning to Prove Theorems via Interacting with Proof Assistants

il y a 1 an • 47 Vues

Bayesian Hierarchical Models

il y a 1 an • 186 Vues
Mots-clés
machine learning ai julia bayesian models proof assistants reinforcement learning measurement social media computer technology
Tout plus