The Math23k dataset for downloading
☆21Apr 16, 2022Updated 3 years ago
Alternatives and similar repositories for Math23k
Users that are interested in Math23k are comparing it to the libraries listed below
Sorting:
- ☆19Jul 15, 2022Updated 3 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Free ChatGPT API Key,免费ChatGPT API,支持GPT4 API,ChatGPT国内可用免费转发API,直连无需代理。☆13Aug 28, 2024Updated last year
- This is the repository of the Ape210K dataset and baseline models.☆199Dec 10, 2019Updated 6 years ago
- 基于adaboost的SVM预测股票价格☆11Mar 4, 2018Updated 8 years ago
- the datasets of our paper☆11Feb 26, 2024Updated 2 years ago
- ☆41Nov 18, 2021Updated 4 years ago
- CommonsenseQA☆10Mar 28, 2020Updated 5 years ago
- ☆11Mar 22, 2020Updated 5 years ago
- 从Docker官方Ubuntu镜像,定制中国地区使用的对应镜像。☆13Jan 13, 2021Updated 5 years ago
- 基于分形理论中的参数L-系统,使用OpenGL与VC++实现了真实度较高的三维树木,并且可以通过调整参数进行树木的变换。☆12Jun 5, 2018Updated 7 years ago
- A flexible utility for converting tensor precision in PyTorch models and safetensors files, enabling efficient deployment across various …☆11Aug 24, 2023Updated 2 years ago
- ☆17Nov 29, 2025Updated 3 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- A programming language similar to human natural language expression☆10Jul 1, 2020Updated 5 years ago
- NLP☆14Oct 17, 2022Updated 3 years ago
- (翻译)JavaScript轻量级函数式编程☆14Sep 30, 2019Updated 6 years ago
- Asynchronous traffic simulation application using async-api☆16Jul 28, 2025Updated 7 months ago
- ☆15Jul 22, 2024Updated last year
- This repository provides the code for applying Contrastive Learning Penalty Loss (CLPL) and Mixture of Experts (MoE) to the BGE-M3 text e…☆11Dec 27, 2024Updated last year
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- Joint Multi-label Attention Network (JMAN)☆12Sep 17, 2020Updated 5 years ago
- chatgpt库的调用, 支持流式和非流式,可以实现类似官方chatgpt的显示效果☆12Jan 30, 2024Updated 2 years ago
- Stock Market Visualization in Haskell and Qt Quick☆21Dec 15, 2014Updated 11 years ago
- follow paper TRANSFER LEARNING FOR SEQUENCE TAGGING WITH HIERARCHICAL RECURRENT NETWORKS☆12Nov 9, 2018Updated 7 years ago
- A list of Numerical Multimodal reasoning papers and their implementation☆11May 13, 2024Updated last year
- Column Networks for Collective Classification: A novel deep learning model for collective classification in multi-relational domains☆12Nov 22, 2016Updated 9 years ago
- half-precision floating-point☆17Updated this week
- 我自己的 Gentoo 配置文件☆12Jan 3, 2023Updated 3 years ago
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Jun 20, 2022Updated 3 years ago
- ☆11Jun 19, 2021Updated 4 years ago
- Guides and reference material for the Workflow Description Language.☆16Feb 12, 2026Updated 2 weeks ago
- 🤔 When in Doubt: Improving Classification Performance with Alternating Normalization [Findings of EMNLP2021]☆14Oct 29, 2021Updated 4 years ago
- Automated Programming Framework☆15May 11, 2020Updated 5 years ago
- Lean 形式化数学☆17Dec 20, 2025Updated 2 months ago
- Create Excel files with Haskell☆12Mar 15, 2020Updated 5 years ago
- A pipeline for the automatic construction of geometry problems along with step-by-step solutions.☆17Aug 27, 2025Updated 6 months ago
- ☆10Jan 7, 2022Updated 4 years ago
- ☆12May 18, 2021Updated 4 years ago