CoolFace
7 results

logic-verification

Gro97 /adaption-math-logic-verification-pairs-augmented-augmented This dataset is a remastered version prepared using Adaption's Adaptive Data platform. adaption-math_logic_verification_pairs (augmented) (augmented) This dataset contains prompt-completion pairs focused on verifying mathematical and logical claims across algebra, calculus, logic, and topology. Each prompt presents a problem statement with a claimed solution, while the completion provides a step-by-step verification determining validity and correcting errors where necessary.… See the full description on the dataset page: https://huggingface.co/datasets/Gro97/adaption-math-logic-verification-pairs-augmented-augmented.text10K<n<100K0 likes49 downloads9d agoHugging FaceGro97 /adaption-math-logic-verification-pairs-augmented This dataset is a remastered version prepared using Adaption's Adaptive Data platform. adaption-math_logic_verification_pairs (augmented) This dataset contains prompt-completion pairs focused on verifying mathematical and logical claims across algebra, calculus, logic, and topology. Each prompt presents a problem statement with a claimed solution, while the completion provides a step-by-step verification determining validity and correcting errors where necessary. The content… See the full description on the dataset page: https://huggingface.co/datasets/Gro97/adaption-math-logic-verification-pairs-augmented.text10K<n<100K0 likes48 downloads6d agoHugging FaceGro97 /adaption-math-logic-verification-pairs This dataset is a remastered version prepared using Adaption's Adaptive Data platform. adaption-math_logic_verification_pairs This dataset contains prompt-completion pairs focused on verifying mathematical and logical claims across algebra, calculus, logic, and topology. Each prompt presents a problem statement with a claimed solution, while the completion provides a step-by-step verification determining validity and correcting errors where necessary. The content covers… See the full description on the dataset page: https://huggingface.co/datasets/Gro97/adaption-math-logic-verification-pairs.text1K<n<10K0 likes45 downloads13d agoHugging Facerodriguescarson /adaption-logic-step-verification-12k logic_step_verification_12k Prompt/completion training data (12,000 rows) built for fine-tuning experiments on the Adaption AutoScientist platform. Format: data.parquet, columns as exported from Adaption. Licence: cc-by-4.0. Programmatically generated by the author; labels exact by construction. Published by Carson Rodrigues. tabulartext-generation10K<n<100K0 likes19m agoHugging Facerodriguescarson /adaption-logic-step-verification-12k-c2 logic_step_verification_12k_c2 Prompt/completion training data (12,000 rows) built for fine-tuning experiments on the Adaption AutoScientist platform. Format: data.parquet, columns as exported from Adaption. Licence: cc-by-4.0. Programmatically generated by the author; labels exact by construction. Published by Carson Rodrigues. tabulartext-generation10K<n<100K0 likes19m agoHugging Facerodriguescarson /adaption-logic-step-verification-12k-c3 logic_step_verification_12k_c3 Prompt/completion training data (12,000 rows) built for fine-tuning experiments on the Adaption AutoScientist platform. Format: data.parquet, columns as exported from Adaption. Licence: cc-by-4.0. Programmatically generated by the author; labels exact by construction. Published by Carson Rodrigues. tabulartext-generation10K<n<100K0 likes18m agoHugging Face