Publications
-
Blockchain-based Mechanism Design for Collaborative Mathematical Research (May 2022)
Jin Xing Lim, Barnabé Monnot and Georgios Piliouras
2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) -
A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs (Dec 2021)
Jin Xing Lim, Barnabé Monnot, Shaowei Lin and Georgios Piliouras
4th IEEE International Conference on Blockchain (IEEE Blockchain-2021) -
(Auto)Complete this Proof: Decentralized Proof Generation via Smart Contracts (Sept 2021)
Jin Xing Lim, Barnabé Monnot, Georgios Piliouras and Shaowei Lin
6th Conference on Artificial Intelligence and Theorem Proving (AITP 2021)
Past Works
-
Gene Ontology and KEGG Orthology Mappings for 10 Strains of Pseudomonas stutzeri (Oct 2019)
Jin Xing Lim and Maurice H.T. Ling
EC Proteomics and Bioinformatics -
Sequence Composition (2019)
Jin Xing Lim, Bryan Tao Li and Maurice H.T. Ling
Encyclopedia of Bioinformatics and Computational Biology -
Mathematics for Applied Science (2016)
Hong Ming Tan, Bryan Tao Li, Zhangsheng Lai, Jin Xing Lim and Swee Cheng Chew
McGraw Hill Education -
Statistics for Applied Science (2015)
Hong Ming Tan, Bryan Tao Li, Zhangsheng Lai, Jin Xing Lim and Swee Cheng Chew
McGraw Hill Education
Projects
-
ERCx (2023)
ERCx team @ RV -
Formalization of Divide-and-Conquer in Coq (2021)
Jin Xing Lim and Shaowei Lin -
Game Theoretical Approaches in Multi-Agent Reinforcement Learning Policy Space Response Oracles (2019)
Jin Xing Lim and Sai Ganesh Nagarajan -
Exploring Efficacy of Embeddings on Relation Network for Natural Language Question Answering Task (2018)
Jin Xing Lim, Zhangsheng Lai and Aik Beng Ng