Follow
Jin Xing Lim
Jin Xing Lim
Formal Verification Engineer, Runtime Verification Inc
Verified email at runtimeverification.com - Homepage
Title
Cited by
Cited by
Year
Blockchain-based Mechanism Design for Collaborative Mathematical Research
JX Lim, B Monnot, G Piliouras
2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2022
2022
A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs
JX Lim, B Monnot, S Lin, G Piliouras
2021 IEEE International Conference on Blockchain (Blockchain), 321-326, 2021
2021
(Auto)Complete this Proof: Decentralized Proof Generation via Smart Contracts
JX Lim, B Monnot, S Lin, G Piliouras
6th Conference on Artificial Intelligence and Theorem Proving (AITP 2021), 74-76, 2021
2021
Gene Ontology and KEGG Orthology Mappings for 10 Strains of Pseudomonas stutzeri
JX Lim, BT Li, MHT Ling
EC Proteomics AND Bioinformatics, 2019
2019
Sequence Composition
JX Lim, BT Li, MHT Ling
Encyclopedia of Bioinformatics and Computational Biology 3, 323-326, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–5