wenjiema02/ProofBench
Viewer
• Updated
• 899 • 144 • 7
Wenjie Ma
wenjiema02
AI & ML interests
None yet
Recent Activity
upvoted a paper 3 days ago
Flash-KMeans: Fast and Memory-Efficient Exact K-Means upvoted a paper about 1 month ago
Quant VideoGen: Auto-Regressive Long Video Generation via 2-Bit KV-Cache Quantization authored
a paper
5 months ago
Reliable Fine-Grained Evaluation of Natural Language Math Proofs Organizations
