nguyen ngoc khanh's picture

15

nguyen ngoc khanh

khanh2023

·

https://fbundle.github.io

AI & ML interests

None yet

Recent Activity

liked a model about 16 hours ago

mistralai/Leanstral-2603

updated a collection 11 days ago

updated a model 11 days ago

khanh2023/BFS-Prover-V2-7B-mlx-mxfp8

View all activity

Organizations

None yet

khanh2023 's datasets 2

khanh2023/prop_logic_puzzle

Viewer • Updated 16 days ago • 140k • 2.39k

khanh2023/mathlib4_dependency_graph

Preview • Updated 29 days ago • 2.45k