CoolFace
20 results

equations

inallmodelsdatasetsappsagentspeopleprojects

Models

All models matching “equations”
Menouar /falcon7b-linear-equations-mergedtext-generationtransformers1 likes17 downloads3y agoHugging FaceMenouar /falcon7b-linear-equationspeften1 likes12 downloads3y agoHugging FacepabloOmega /equations-detectionobject-detectiontransformers0 likes9 downloads2y agoHugging Facemarsianin500 /Qwen2.5-math-1.5B-instruct-equations_multilingual_mix0 likes9 downloads7mo agoHugging Facemarsianin500 /Qwen2.5-0.5B-instruct-equations_multilingual_mix0 likes8 downloads7mo agoHugging Facemarsianin500 /Qwen2.5-0.5B-instruct-equations_multilingual_mix_full0 likes8 downloads7mo agoHugging Facemarsianin500 /Qwen2.5-math-1.5B-instruct-equations_multilingual_mix_full0 likes7 downloads7mo agoHugging Facemarsianin500 /Qwen2.5-1.5B-instruct-equations_multilingual_mix0 likes5 downloads7mo agoHugging Face

Datasets

All datasets matching “equations”
Hailstone-Technologies /euler-structural-equationstabular10M<n<100M0 likes435 downloads3mo agoHugging Face0xZee /dataset-CoT-Differential-Equations-636textn<1K1 likes72 downloads2y agoHugging Facecielecki /arithmetic-equations Arithmetic Equations Synthetic integer arithmetic, one true equation per line, as plain UTF-8 text. 259 + 79 = 338 899 - 694 = 205 733 * 352 = 258016 129243256 / 914 = 141404 Contents lines 393 830 duplicates 0 shards 5 size ~10 MB How it is built Operands run 1 to 9 digits. Every pairing of operand lengths is its own stratum, filled round-robin, so the dataset covers short and long operands evenly instead of leaving the… See the full description on the dataset page: https://huggingface.co/datasets/cielecki/arithmetic-equations.texttext-generation100K<n<1M0 likes67 downloads14d agoHugging FaceChaoticEconomist /Classical-Mechanics-Equations-Dataset_SFT-or-LoRA Classical Mechanics Equations Dataset (SFT / LoRA Ready) A structured dataset of 64 classical mechanics equations from Newtonian, Lagrangian, and Hamiltonian mechanics, expanded into 448 instruction-tuning rows across three task types: equation explanation, Q&A, and derivation. Designed for fine-tuning LLMs on physics reasoning, STEM Q&A, and equation understanding tasks. Overview Property Value Domain Classical Mechanics (Physics) Total rows 448 Train… See the full description on the dataset page: https://huggingface.co/datasets/ChaoticEconomist/Classical-Mechanics-Equations-Dataset_SFT-or-LoRA.texttext-generationn<1K0 likes41 downloads5mo agoHugging FaceIsotonic /equation_solving Dataset Card for "equation_solving" More Information needed text1M<n<10M2 likes39 downloads2y agoHugging Facephanerozoic /Coq-Equations Coq-Equations Structured dataset from Coq-Equations, a library for dependent pattern matching and well-founded recursion. Source Repository: https://github.com/mattam82/Coq-Equations Commit: a3d1e5a422ccde88c2b99228c7cf487f13934576 Files: 228 License: lgpl-2.1 Schema Column Type Description statement string Declaration signature/claim with the leading keyword removed (verbatim slice); the full declaration minus its proof proof string… See the full description on the dataset page: https://huggingface.co/datasets/phanerozoic/Coq-Equations.texttext-generation1K<n<10K0 likes34 downloads4mo agoHugging Face

Apps

All apps matching “equations”
krafiq /deep-neural-networks-for-navier-stokes-equationsgradio1 likes3y agoHugging FaceJDWebProgrammer /deep-neural-networks-for-navier-stokes-equationsgradio0 likes3y agoHugging FaceKvikontent /system-line-equations-V1streamlit1 likes3y agoHugging Faceshahibaloch6645 /equation-solverstreamlit0 likes2y agoHugging FaceHumanhaha /equationsolveergradio0 likes2y agoHugging FaceNavyDevilDoc /Systems_of_Equationsdocker0 likes1y agoHugging Face