Alternatives and similar repositories for golitex

Users that are interested in golitex are comparing it to the libraries listed below

• j991222 / ai4math-papers
  AI for Mathematics (AI4Math) paper list
  ☆170Updated 9 months ago
• BEAM-Labs / denovo
  Collection of peptide de novo sequencing algorithms by BEAM labs
  ☆22Updated 2 weeks ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆312Updated last week
• BEAM-Labs / DLTutorial
  新学生深度学习入门
  ☆14Updated 11 months ago
• kuleshov-group / mdlm
  [NeurIPS 2024] Simple and Effective Masked Diffusion Language Model
  ☆450Updated last month
• zjunlp / Mol-Instructions
  [ICLR 2024] Mol-Instructions: A Large-Scale Biomolecular Instruction Dataset for Large Language Models
  ☆281Updated 8 months ago
• wiio12 / LEGO-Prover
  Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
  ☆65Updated last year
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆195Updated last month
• Goedel-LM / Goedel-Prover
  ☆185Updated 3 months ago
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆98Updated 3 months ago
• ML-GSAI / SMDM
  Official PyTorch implementation for ICLR2025 paper "Scaling up Masked Diffusion Models on Text"
  ☆257Updated 6 months ago
• bansky-cl / diffusion-nlp-paper-arxiv
  Auto get diffusion nlp papers in Axriv. More papers Information can be found in another repository "Diffusion-LM-Papers".
  ☆150Updated this week
• xinhjBrant / APE-Bench_I
  ☆16Updated last month
• Shenggan / xfold
  Democratizing AlphaFold3: an PyTorch reimplementation to accelerate protein structure prediction
  ☆39Updated 7 months ago
• tongyx361 / Awesome-LLM-Research
  Curation of resources for LLM research, screened by @tongyx361 to ensure high quality and accompanied with elaborately-written concise de…
  ☆56Updated last year
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆284Updated 5 months ago
• Sphere-AI-Lab / FormalMATH-Bench
  ☆58Updated this week
• ZonglinY / MOOSE-Chem
  [ICLR 2025] <MOOSE-Chem: Large Language Models for Rediscovering Unseen Chemistry Scientific Hypotheses>
  ☆46Updated 2 weeks ago
• lupantech / InterGPS
  Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"
  ☆155Updated 3 months ago
• tongjingqi / MathTrap
  ☆58Updated 4 months ago
• XueruiSu / Reproduce-DeepSeek-R1-Survey
  This repository collects various works that reproduce DeepSeek R1, as well as works related to DeepSeek R1 and the DeepSeek series.
  ☆18Updated 2 months ago
• Yijia-Xiao / Protein-LLM-Survey
  Large Language Models in Protein: A Comprehensive Survey
  ☆106Updated 3 months ago
• Goodman-liyu / Awesome-Long-CoT-Data
  Awesome Long-CoT Data
  ☆15Updated 3 months ago
• albertqjiang / draft_sketch_prove
  ☆67Updated last year
• kuleshov-group / awesome-discrete-diffusion-models
  A curated list for awesome discrete diffusion models resources.
  ☆403Updated last month
• AngxiaoYue / ReQFlow
  [ICML 2025] 🧬 ReQFlow: Rectified Quaternion Flow for Efficient and High-Quality Protein Backbone Generation
  ☆79Updated 2 months ago
• yangky11 / miniF2F-lean4
  ☆61Updated 2 weeks ago
• HKUNLP / DiffuLLaMA
  [ICLR2025] DiffuGPT and DiffuLLaMA: Scaling Diffusion Language Models via Adaptation from Autoregressive Models
  ☆242Updated last month
• project-numina / kimina-lean-server
  Kimina Lean server
  ☆95Updated last week
• OpenBMB / OlympiadBench
  [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…
  ☆159Updated last month