Pavel's Lab

university

https://izmailovpavel.github.io/

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

salmannyu submitted a paper 9 days ago

LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification

rodneyslafuente published a dataset 13 days ago

pavelslab-nyu/LeanPRM

rodneyslafuente updated a dataset 20 days ago

pavelslab-nyu/LeanPRM

View all activity

pavelslab-nyu 's datasets 4

pavelslab-nyu/LeanPRM

Viewer • Updated 20 days ago • 10.6k • 735 • 2

pavelslab-nyu/chess_puzzle_training_datasets

Preview • Updated Aug 17 • 71

pavelslab-nyu/chess_puzzle_benchmark

Viewer • Updated Jul 20 • 2.36k • 851

pavelslab-nyu/pretrain_v1_54B

Updated Jul 20 • 2.51k • 1