humanfia-lab/QIT download history
humanfia-lab/QIT is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 693 times (23 in the last 7 days), and 1,268 times in total. It ranks #25,579 among datasets by monthly downloads.
QIT Humanize-Physic Formalizations and Proofs QIT (Quantum Information Theory) is a blind benchmark for formalizing theorems in quantum information. It evaluates whether an AI agent can faithfully translate natural-language and TeX problem statements into Lean 4 theorems and then cons