XiaoHLim

student of Sun Yat-sen University

Sun Yat-sen UniversityShenzhen

Pinned Repositories

codabench
Codabench is a flexible, easy-to-use and reproducible benchmarking platform. Check our paper at Patterns Cell Press https://hubs.li/Q01fwRWB0
Language:Python85 8 96631
mmverify.py
Metamath verifier in Python
Language:Python38 6 811
FVEL
An interactive formal verification environment with LLMs via theorem proving.
Language:Python0 1 00
l4v-FVEL
Language:Isabelle0 1 00
Sketch_and_Style_Transfer
merge Image Generation from Sketch with Single Style Transfer
Language:Jupyter Notebook4 2 01
miniF2F
Formal to Formal Mathematics Benchmark
Language:Objective-C++337 114 4245
text-dedup
All-in-one text de-duplication
Language:Python0 0 00