Name: Min-Hsien Weng
Type: User
Bio: A computer science PhD interested in applying machine learning (NLP, LLM, ..), software verification, compilers, and programming languages
Twitter: samminweng
Location: Hamilton, New Zealand
Blog: https://orcid.org/0000-0003-2334-1863
Min-Hsien Weng's Projects
A Transformer Language Model-based Topic Analysis tool
Code for America's new book - Beyond Transparency :closed_book:
Training materials associated with NVIDIA's CUDA Training Series (www.olcf.ornl.gov/cuda-training-series/)
This is the course project for the CUDA at Scale for the Enterprise
Image Processing using CUDA (C++ & Python)
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Tool for data extraction and interacting with Lean programmatically.
Some Java programs that I wrote before
https://albertqjiang.github.io/Portal-to-ISAbelle/
Urban Narrative - AI Augmented Approach to Identify Shared Ideas from Large Format Public Consultation
This is a simple project to check whether APRON library can be used to check Whiley programs.
The Whiley Compiler (WyC)
Aims to produce efficient implemtation for verification friendly Whiley programs.
A machine learning compiler for GPUs, CPUs, and ML accelerators