56 citations · 122 across the 22 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
Koundinya Vajjha, Avraham Shinnar, Vasily Pestun +2
Reinforcement learning algorithms solve sequential decision-making problems in probabilistic environments by optimizing for long-term reward. The desire to use reinforcement learni…
cs.LG2020★ 6 cited
Lale: Consistent Automated Machine Learning
Guillaume Baudart, Martin Hirzel, Kiran Kate +2
Automated machine learning makes it easier for data scientists to develop pipelines by searching over possible choices for hyperparameters, algorithms, and even pipeline topologies…