Alternatives and similar repositories for golitex

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

• BEAM-Labs / denovo
  Collection of peptide de novo sequencing algorithms by BEAM labs
  ☆21Updated this week
• BEAM-Labs / DLTutorial
  新学生深度学习入门
  ☆14Updated 10 months ago
• PKU-YuanGroup / ProLLaMA
  A Protein Large Language Model for Multi-Task Protein Language Processing
  ☆183Updated last month
• QizhiPei / Awesome-Biomolecule-Language-Cross-Modeling
  Awesome-Biomolecule-Language-Cross-Modeling: a curated list of resources for paper "Leveraging Biomolecule and Natural Language through M…
  ☆214Updated 2 months ago
• Yijia-Xiao / Protein-LLM-Survey
  Large Language Models in Protein: A Comprehensive Survey
  ☆92Updated 2 months ago
• linhaowei1 / TFG-Flow
  👌[ICLR 2025] TFG-Flow: Training-free Guidance in Multimodal Generative Flow
  ☆10Updated 3 months ago
• PKU-YuanGroup / TaxDiff
  The official code for "TaxDiff: Taxonomic-Guided Diffusion Model for Protein Sequence Generation"
  ☆67Updated 10 months ago
• kuleshov-group / mdlm
  [NeurIPS 2024] Simple and Effective Masked Diffusion Language Model
  ☆433Updated 3 weeks ago
• j991222 / ai4math-papers
  AI for Mathematics (AI4Math) paper list
  ☆166Updated 9 months ago
• HKUNLP / RSA
  Retrieved Sequence Augmentation for Protein Representation Learning
  ☆52Updated last year
• Sphere-AI-Lab / FormalMATH-Bench
  ☆57Updated 2 weeks ago
• terry-r123 / RNABenchmark
  [NeurIPS 2024] BEACON: Benchmark for Comprehensive RNA Tasks and Language Models
  ☆43Updated 10 months ago
• OS-Copilot / ScienceBoard
  Code, benchmark and environment for "ScienceBoard: Evaluating Multimodal Autonomous Agents in Realistic Scientific Workflows"
  ☆85Updated this week
• 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".
  ☆143Updated this week
• kuleshov-group / awesome-discrete-diffusion-models
  A curated list for awesome discrete diffusion models resources.
  ☆380Updated 3 weeks ago
• Purewhite2019 / formal_problem_solving_main
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆20Updated last month
• yangky11 / miniF2F-lean4
  ☆58Updated 3 weeks ago
• Goodman-liyu / Awesome-Long-CoT-Data
  Awesome Long-CoT Data
  ☆15Updated 3 months ago
• BEAM-Labs / FoldBench
  ☆28Updated 2 weeks ago
• bytedance / dplm
  The Family of Diffusion Protein Language Models (DPLM)
  ☆194Updated last month
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆192Updated last month
• jasonkyuyim / multiflow
  ☆175Updated last year
• haoyuzhao123 / LeanIneqComp
  An inequality benchmark for theorem proving
  ☆15Updated last month
• FanmengWang / PolyConf
  [ICML2025] The official implementation of "PolyConf: Unlocking Polymer Conformation Generation through Hierarchical Generative Models"
  ☆18Updated 3 weeks ago
• google-deepmind / md4
  Official Jax Implementation of MD4 Masked Diffusion Models
  ☆106Updated 4 months ago
• rookie-joe / FormalAlign
  ☆15Updated 7 months ago
• DeepGraphLearning / ProtST
  [ICML-23 ORAL] ProtST: Multi-Modality Learning of Protein Sequences and Biomedical Texts
  ☆97Updated last year
• TencentAI4S / CD-GPT
  A Biological Foundation Model Bridging the Gap between Molecular Sequences Through Central Dogma
  ☆27Updated 3 months ago
• OpenBMB / OlympiadBench
  [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…
  ☆155Updated 3 weeks ago
• project-numina / kimina-lean-server
  Kimina Lean server
  ☆86Updated last week