formal-conjectures/AUTHORS at main · google-deepmind/formal-conjectures · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
# This is the list of Formal Conjectures' significant contributors.
#
# This does not necessarily list everyone who has contributed code,
# especially since many employees of one corporation may be contributing.
# To see the full list of contributors, see the revision history in
# source control.
Google LLC

# Please keep the list sorted alphabetically
Abel Doñate
Alex Korbonits
Aditya Ramabadran
Amogh Parab
Anirudh Rao
Anthony Wang
Arav Bhattacharyya
Archibald Browne
Ayush Debnath
Bhavik Mehta
Calle Sönne
Chris Maki
Cong Lu
Daniel Chin
Daniel Liao
Eric Wieser
Francesco Nishanil Chotuck
Franz Huschenbeth
Hansle Cho
Himanshu Gupta
James Jordan
Jean-Guillaume Durand
Jofre Costa
Joshua Steier
Junseok Lee
Junyan Xu
Leandre Jack
Madhu Shree Aravindan
Moritz Firsching
Michael Rothgang
Mirek Olšák
Paul Lezeau
Pratik Jayarao
Reza Ramji
Salvatore Mercuri
Seewoo Lee
Sunsu Jeong
The bbchallenge Collaboration (bbchallenge.org)
Thomas Hubert
Walid Elkersh
Will Cook
Wojciech Nawrocki
Yaël Dillies
Yan Yablonovskiy
Yoh Tanimoto
Yongxi Lin
Zeyu Zheng
Zhen Ning David Liu