| 2025 |
B |
conf |
ITP
Jonas Bayer, Marco David
|
| 2025 |
J |
jnl |
CoRR
Jonas Bayer, Marco David
|
| 2025 |
J |
jnl |
CoRR
Junqi Liu, Xiaohan Lin, Jonas Bayer, Yael Dillies, Weijie Jiang, Xiaodan Liang, Roman Soletskyi, Haiming Wang, Yunzhou Xie, Beibei Xiong, Zhengfeng Yang, Jujian Zhang, Lihong Zhi, Jia Li, Zhengying Liu
|
| 2025 |
J |
jnl |
CoRR
Jonas Bayer, Marco David, Malte Hassler, Yuri V. Matiyasevich, Dierk Schleicher
|
| 2025 |
J |
jnl |
CoRR
Haiming Wang, Mert Unsal, Xiaohan Lin, Mantas Baksys, Junqi Liu, Marco Dos Santos, Flood Sung, Marina Vinyes, Zhenzhe Ying, Zekai Zhu, Jianqiao Lu, Hugues de Saxcé, Bolton Bailey, Chendong Song, Chenjun Xiao, Dehao Zhang, Ebony Zhang, Frederick Pu, Han Zhu, Jiawei Liu, Jonas Bayer, Julien Michel, Longhui Yu, Léo Dreyfus-Schmidt, Lewis Tunstall, Luigi Pagani, Moreira Machado, Pauline Bourigault, Ran Wang, Stanislas Polu, Thibaut Barroyer, Wen-Ding Li, Yazhe Niu, Yann Fleureau, Yangyang Hu, Zhouliang Yu, Zihan Wang, Zhilin Yang, Zhengying Liu, Jia Li
|
| 2025 |
B |
conf |
CogSci
Jonas Bayer, Jacob Loader, Katherine M. Collins, Simon Frieder, Adrian Weller, Joshua B. Tenenbaum, Timothy Gowers
|
| 2025 |
J |
jnl |
Arch. Formal Proofs
Marco David, Théo André, Mathis Bouverot-Dupuis, Eva Brenner, Loïc Chevalier, Anna Danilkin, Charlotte Dorneich, Kevin Lee, Xavier Pigé, Timothé Ringeard, Quentin Vermande, Paul Wang, Annie Yao, Zhengkun Ye, Jonas Bayer
|
| 2024 |
J |
jnl |
CoRR
Simon Frieder, Jonas Bayer, Katherine M. Collins, Julius Berner, Jacob Loader, András Juhász, Fabian Ruehle, Sean Welleck, Gabriel Poesia, Ryan-Rhys Griffiths, Adrian Weller, Anirudh Goyal, Thomas Lukasiewicz, Timothy Gowers
|
| 2023 |
C |
conf |
CICM
Jonas Bayer, Alexey Gonus, Christoph Benzmüller, Dana S. Scott
|
| 2023 |
J |
jnl |
CoRR
Jonas Bayer, Aleksey Gonus, Christoph Benzmüller, Dana S. Scott
|
| 2022 |
J |
jnl |
Arch. Formal Proofs
Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock
|
| 2022 |
J |
jnl |
Arch. Formal Proofs
Jonas Bayer, Marco David, Benedikt Stock, Abhik Pal, Yuri V. Matiyasevich, Dierk Schleicher
|
| 2022 |
J |
jnl |
CoRR
Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David, Leslie Lamport, Yuri V. Matiyasevich, Lawrence C. Paulson, Dierk Schleicher, Benedikt Stock, Efim I. Zelmanov
|
| 2021 |
J |
jnl |
CoRR
Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock
|
| 2019 |
C |
conf |
CICM
Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock
|
| 2019 |
B |
conf |
ITP
Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock, Dierk Schleicher
|