litexlang / golitexLinks
Litex: an intuitive and scalable formal language
☆209Updated last week
Alternatives and similar repositories for golitex
Users that are interested in golitex are comparing it to the libraries listed below
Sorting:
- 新学生深度学习入门☆14Updated 11 months ago
- Collection of peptide de novo sequencing algorithms by BEAM labs☆22Updated last month
- Technical report of Kimina-Prover Preview.☆322Updated last month
- [ICLR 2024] Mol-Instructions: A Large-Scale Biomolecular Instruction Dataset for Large Language Models☆283Updated 9 months ago
- Official implementation of X-Master, a general-purpose tool-augmented reasoning agent.☆216Updated last month
- ☆259Updated 2 weeks ago
- AI for Mathematics (AI4Math) paper list☆173Updated 10 months ago
- [NeurIPS 2024] Simple and Effective Masked Diffusion Language Model☆472Updated 2 months ago
- Democratizing AlphaFold3: an PyTorch reimplementation to accelerate protein structure prediction☆44Updated 7 months ago
- Official PyTorch implementation for ICLR2025 paper "Scaling up Masked Diffusion Models on Text"☆271Updated 7 months ago
- Code, benchmark and environment for "ScienceBoard: Evaluating Multimodal Autonomous Agents in Realistic Scientific Workflows"☆100Updated last month
- Large Language Models in Protein: A Comprehensive Survey☆113Updated 4 months ago
- ☆16Updated 2 months ago
- ☆58Updated 5 months ago
- ☆61Updated last month
- SciAssess is a comprehensive benchmark for evaluating Large Language Models' proficiency in scientific literature analysis across various…☆80Updated 2 months ago
- Auto get diffusion nlp papers in Axriv. More papers Information can be found in another repository "Diffusion-LM-Papers".☆162Updated this week
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆100Updated 4 months ago
- Curation of resources for LLM research, screened by @tongyx361 to ensure high quality and accompanied with elaborately-written concise de…☆59Updated last year
- Awesome RL Reasoning Recipes ("Triple R")☆775Updated last month
- ☆182Updated last month
- Awesome-Biomolecule-Language-Cross-Modeling: a curated list of resources for paper "Leveraging Biomolecule and Natural Language through M…☆221Updated 3 months ago
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆67Updated last year
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆241Updated last year
- [🏆AAAI2025] Official Repo for ChemVLM: Exploring the Power of Multimodal Large Language Models in Chemistry Area.☆48Updated last week
- A Framework for LLM-based Multi-Agent Reinforced Training and Inference☆196Updated this week
- ☆67Updated last week
- Awesome Long-CoT Data☆16Updated 4 months ago
- [ICLR2025] DiffuGPT and DiffuLLaMA: Scaling Diffusion Language Models via Adaptation from Autoregressive Models☆270Updated 2 months ago
- A Telegram bot to recommend arXiv papers☆281Updated 4 months ago