SkyMath: Technical Report
Large language models (LLMs) have shown great potential to solve varieties of natural language processing (NLP) tasks, including mathematical reasoning. In this work, we present SkyMath, a large language model for mathematics with 13 billion parameters. By applying self-compare fine-tuning, we have enhanced mathematical reasoning abilities of Skywork-13B-Base remarkably. On GSM8K, SkyMath outperforms all known open-source models of similar size and has established a new SOTA performance.
Code (1)
Tasks
GSM8KLanguage ModelingLanguage ModellingLarge Language ModelMathematical ReasoningSimilar Papers 제목 키워드 기반
Spectral Toolkit of Algorithms for Graphs: Technical Report (2)
Spectral Toolkit of Algorithms for Graphs (STAG) is an open-source library for efficient graph algorithms. This technical report presents the newly implemented component on locality sensitive hashing, kernel density esti…
ClusteringDensity EstimationDuplicate Bug Report Detection With a Combination of Information Retrieval and Topic Modeling
Detecting duplicate bug reports helps reduce triaging efforts and save time for developers in fixing the same issues. Among several automated detection approaches, text-based information retrieval (IR) approaches have be…
DescriptiveInformation RetrievalRetrievalTechnical Report: The effect of Input Parameters on Falsification of Cyber-Physical Systems
The aim of this technical report is to investigate the effect of input parameters on the falsification of cyber-physical systems (CPSs).
Spectral Toolkit of Algorithms for Graphs: Technical Report (1)
Spectral Toolkit of Algorithms for Graphs (STAG) is an open-source library for efficient spectral graph algorithms, and its development starts in September 2022. We have so far finished the component on local graph clust…
ClusteringGraph ClusteringTechnical Report with Proofs for A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments
This technical report provides proofs for the claims in the paper "A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments".
All