Jin Xing Lim

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 3

Top Topics

Provably Correct

Top Venues

Publications

Jin Xing Lim, Barnabé Monnot, Georgios Piliouras
Blockchain-based Mechanism Design for Collaborative Mathematical Research. ICBC (2022)
Jin Xing Lim, Barnabé Monnot, Shaowei Lin, Georgios Piliouras
A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs. Blockchain (2021)
Jin Xing Lim, Barnabé Monnot, Shaowei Lin, Georgios Piliouras
A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs. CoRR (2021)