Sven Gowal

Identifiers

• name variant Sven Gowal 0.60 · backfill

Papers (5)

1. Competition-Level Code Generation with AlphaCode cs.PL · 2022 · author #18
2. Verification of Non-Linear Specifications for Neural Networks cs.LG · 2019 · author #6
3. Training verified learners with learned verifiers cs.LG · 2018 · author #2
4. A Dual Approach to Scalable Verification of Deep Networks cs.LG · 2018 · author #3
5. Beyond Greedy Ranking: Slate Optimization via List-CVAE stat.ML · 2018 · author #2

Mentions

• 2203.07814 #18 · arxiv_oai · confidence 0.70 Sven Gowal

Frequent Coauthors

• Pushmeet Kohli 4 shared papers
• Robert Stanforth 3 shared papers
• Brendan O'Donoghue 2 shared papers
• Jonathan Uesato 2 shared papers
• Krishnamurthy (Dj) Dvijotham 2 shared papers
• Agustin Dal Lago 1 shared papers
• Alexey Cherepanov 1 shared papers
• Chongli Qin 1 shared papers
• Cyprien de Masson d'Autume 1 shared papers
• Daniel J. Mankowitz 1 shared papers
• Danilo J. Rezende 1 shared papers
• David Choi 1 shared papers
• Esme Sutherland Robson 1 shared papers
• Felix Gimeno 1 shared papers
• Grzegorz Swirszcz 1 shared papers
• Igor Babuschkin 1 shared papers
• James Keeling 1 shared papers
• James Molloy 1 shared papers
• Johannes Welbl 1 shared papers
• Julian Schrittwieser 1 shared papers