litexlang / golitex
Litex: The Minimalist Proof Assistant
☆102Updated this week
Alternatives and similar repositories for golitex:
Users that are interested in golitex are comparing it to the libraries listed below
- 新学生深度学习入门☆11Updated 8 months ago
- 👌[ICLR 2025] TFG-Flow: Training-free Guidance in Multimodal Generative Flow☆10Updated 2 months ago
- [ICLR2025] DiffuGPT and DiffuLLaMA: Scaling Diffusion Language Models via Adaptation from Autoregressive Models☆160Updated last month
- Simple and Effective Masked Diffusion Language Model☆376Updated 3 weeks ago
- [ICLR 2024] Mol-Instructions: A Large-Scale Biomolecular Instruction Dataset for Large Language Models☆273Updated 6 months ago
- [NeurIPS 2024] BEACON: Benchmark for Comprehensive RNA Tasks and Language Models☆38Updated 9 months ago
- Must-read papers on AI for Biology☆15Updated last year
- Democratizing AlphaFold3: an PyTorch reimplementation to accelerate protein structure prediction☆29Updated 4 months ago
- Auto get diffusion nlp papers in Axriv. More papers Information can be found in another repository "Diffusion-LM-Papers".☆122Updated this week
- [NeurIPS 2024] Code for the paper "Diffusion of Thoughts: Chain-of-Thought Reasoning in Diffusion Language Models"☆147Updated 2 months ago
- Retrieved Sequence Augmentation for Protein Representation Learning☆51Updated last year
- ☆78Updated 8 months ago
- Official Implemetation of DPLM (ICML'24) - Diffusion Language Models Are Versatile Protein Learners☆159Updated last week
- A curated list for awesome discrete diffusion models resources.☆312Updated 3 months ago
- [ICML-23 ORAL] ProtST: Multi-Modality Learning of Protein Sequences and Biomedical Texts☆97Updated last year
- Graduate Course at Westlake University☆35Updated 6 months ago
- Large Language Models in Protein: A Comprehensive Survey☆78Updated last month
- Paper List of Inference/Test Time Scaling/Computing☆216Updated last week
- This is the repository that contains the source code for the Self-Evaluation Guided MCTS for online DPO.☆306Updated 9 months ago
- InstructMol: Multi-Modal Integration for Building a Versatile and Reliable Molecular Assistant in Drug Discovery (COLING 2025)☆47Updated 5 months ago
- The official implementation of the NeurIPS'23 paper ProteinInvBench: Benchmarking Protein Design on Diverse Tasks, Models, and Metrics☆179Updated 7 months ago
- Awesome-Biomolecule-Language-Cross-Modeling: a curated list of resources for paper "Leveraging Biomolecule and Natural Language through M…☆208Updated 3 weeks ago
- Awesome Long-CoT Data☆14Updated last month
- ☆92Updated this week
- Official PyTorch implementation for ICLR2025 paper "Scaling up Masked Diffusion Models on Text"☆165Updated 4 months ago
- ☆33Updated last month
- Official code for the paper, "Stop Summation: Min-Form Credit Assignment Is All Process Reward Model Needs for Reasoning"☆113Updated this week
- ☆157Updated last year
- [COLM'24] We propose Protein Chain of Thought (ProCoT), which replicates the biological mechanism of signaling pathways as language promp…☆61Updated last month
- Official Implementation for the paper "d1: Scaling Reasoning in Diffusion Large Language Models via Reinforcement Learning"☆127Updated this week