yunyoung choi
ainch96
AI & ML interests
None yet
Recent Activity
updated a model 27 days ago
ainch96/reprover-lean4-v1 published a model 29 days ago
ainch96/reprover-lean4-v1 updated a model 30 days ago
ainch96/reprover-lean4-v1Organizations
None yet