simpleLLM / math_expert /processed_data /proofnet_processed.jsonl
hollywoodfrancis's picture
Upload 11 files
b8ab4a2 verified
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}
{"problem": "", "solution": "", "proof_steps": []}