BitSecret

BitSecret's Stars

• pallets/flask

  The Python micro framework for building web applications.

  Language:Python68k2.1k2.6k16.2k

• exacity/deeplearningbook-chinese

  Deep Learning Book Chinese Translation

  Language:TeX35.8k2.2k2029.1k

• ssloy/tinyrenderer

  A brief computer graphics / rendering course

  Language:C++20.6k4201282k

• RUCAIBox/LLMSurvey

  The official GitHub page for the survey paper "A Survey of Large Language Models".

  Language:Python10.3k15864811

• ccfddl/ccf-deadlines

  ⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

  Language:Vue6.3k2283438

• hijkzzz/Awesome-LLM-Strawberry

  A collection of LLM papers, blogs, and projects, with a focus on OpenAI o1 and reasoning techniques.

  5k839278

• google-deepmind/alphageometry

  Language:Python4.1k53122464

• thunlp/PromptPapers

  Must-read papers on prompt-based tuning for pre-trained language models.

  4.1k1185379

• SurviveSJTU/SurviveSJTUManual

  更新2008年版本的《上海交通大学生存手册》gitbook发布于https://survivesjtu.gitbook.io/survivesjtumanual/

  4k7131470

• Timothyxxx/Chain-of-ThoughtsPapers

  A trend starts from "Chain of Thought Prompting Elicits Reasoning in Large Language Models".

  1.9k503131

• google-deepmind/mathematics_dataset

  This dataset code generates mathematical question and answer pairs, from a range of question types at roughly school-level difficulty.

  Language:Python1.8k6513248

• tensorflow/deepmath

  Experiments towards neural network theorem proving

  Language:C++7856517137

• acl-org/acl-style-files

  Official style files for papers submitted to venues of the Association for Computational Linguistics

  Language:TeX729826179

• yezheng1981/Java-Geometry-Expert

  Java Geometry Expert

  Language:Java44523370

• lupantech/dl4math

  Resources of deep learning for mathematical reasoning (DL4MATH).

  34019126

• openai/miniF2F

  Formal to Formal Mathematics Benchmark

  Language:Objective-C++3091174143

• j991222/ai4math-papers

  AI for Mathematics (AI4Math) paper list

  132728

• loganrjmurphy/LeanEuclid

  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.

  Language:Lean75515

• BlueFisher/shuthesis

  上海大学硕博学位论文 LaTeX 模板 Thesis Template for Shanghai University

  Language:TeX5623921

• mingliangzhang2018/PGDP

  The first end-to-end deep learning model for explicit plane geometry diagram parsing.

  Language:Python37276

• Eleanor-H/MUSTARD

  Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

  Language:C++36331

• chen-judge/UniGeo

  [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression

  Language:Python26132

• SCNU203/GeoQA-Plus

  Language:Python13120

• DoubleBite/Sequence-to-General-tree

  Language:Python7333

• acl2023anonymous/GeoDRL

  Code of Anonymous Submissions GeoDRL

  Language:Python611

• PersonNoName/FGeoDRL

  Language:Python6

• zezeze97/DFE-GPS

  Language:Python60

• RuRuo0/Datasets

  formalgeo7k Annotation.

  Language:Python32

• tongxiao2002/DualGeoSolver

  Language:Python3121

• AIEdu-xzy/geometry-solver

  Language:Python2