Haiming Wang's picture

3 1

Haiming Wang

HaimingW

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 15 days ago

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

upvoted a paper 25 days ago

Kimi-VL Technical Report

View all activity

Organizations

models 1

HaimingW/Leandojo-CodeLLama-7b

Text Generation • Updated May 29, 2024 • 9

datasets 5

HaimingW/miniF2F-test-lean4

Viewer • Updated Feb 16 • 244 • 415 • 1

HaimingW/test-statements-miniF2F-test

Viewer • Updated Jan 14 • 244 • 14

HaimingW/PutnamBench-lean4

Viewer • Updated Jan 3 • 644 • 22 • 1

HaimingW/proofnet-lean4

Viewer • Updated Nov 25, 2024 • 438 • 56

HaimingW/miniF2F-lean4

Viewer • Updated Nov 25, 2024 • 555 • 109