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
mmverify.py
Metamath verifier in Python
FVEL
An interactive formal verification environment with LLMs via theorem proving.
l4v-FVEL
Sketch_and_Style_Transfer
merge Image Generation from Sketch with Single Style Transfer
miniF2F
Formal to Formal Mathematics Benchmark
text-dedup
All-in-one text de-duplication
XiaoHLim's Repositories
XiaoHLim/text-dedup
All-in-one text de-duplication