humanfia-lab/QAlg download history
humanfia-lab/QAlg is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 423 times (40 in the last 7 days), and 844 times in total. It ranks #37,747 among datasets by monthly downloads.
QAlg Humanize-Physic Formalizations and Proofs QAlg (Quantum Algorithms) is a blind benchmark for formalizing theorems in quantum algorithms. It evaluates whether an AI agent can faithfully translate natural-language and TeX problem statements into Lean 4 theorems and then construct f