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