nguyen ngoc khanh

khanh2023's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a collection 11 days ago

BFS-Prover-V2

Collection

4 items • Updated 11 days ago

updated a model 11 days ago

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

Text Generation • 8B • Updated 11 days ago • 13

published a model 11 days ago

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

Text Generation • 8B • Updated 11 days ago • 13

updated a model 11 days ago

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

Text Generation • 1B • Updated 11 days ago • 29

updated a collection 11 days ago

BFS-Prover-V2

Collection

4 items • Updated 11 days ago

published a model 11 days ago

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

Text Generation • 1B • Updated 11 days ago • 29

liked 3 models 11 days ago

Goedel-LM/Goedel-Prover-V2-8B

Text Generation • 8B • Updated Aug 9, 2025 • 5.24k • • 28

Goedel-LM/Goedel-Prover-SFT

7B • Updated Apr 18, 2025 • 345 • 30

Goedel-LM/Goedel-Prover-V2-32B

Text Generation • Updated Aug 27, 2025 • 7.8k • • 69

updated a model 11 days ago

khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6

Text Generation • 1B • Updated 11 days ago • 60

updated a collection 11 days ago

BFS-Prover-V2

Collection

4 items • Updated 11 days ago

published a model 11 days ago

khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6

Text Generation • 1B • Updated 11 days ago • 60

updated a model 11 days ago

khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8

Text Generation • 8B • Updated 11 days ago • 13

liked 2 datasets 11 days ago

PAug/ProofNetSharp

Viewer • Updated Mar 24, 2025 • 371 • 177 • 9

hoskinson-center/proofnet

Viewer • Updated Mar 17, 2023 • 371 • 431 • 21

updated 2 collections 11 days ago

qwen3.5-4b-calculator

Collection

3 items • Updated 11 days ago

discrete-logarithm-Qwen3-4B

Collection

3 items • Updated 11 days ago