litexlang / golitex
Litex: A Minimalist Proof Assistant
☆81Updated this week
Alternatives and similar repositories for golitex:
Users that are interested in golitex are comparing it to the libraries listed below
- Must-read papers on AI for Biology☆15Updated last year
- 新学生深度学习入门☆10Updated 7 months ago
- Official Implemetation of DPLM (ICML'24) - Diffusion Language Models Are Versatile Protein Learners☆130Updated 2 weeks ago
- Awesome-Biomolecule-Language-Cross-Modeling: a curated list of resources for paper "Leveraging Biomolecule and Natural Language through M…☆200Updated 4 months ago
- The official implementation of the NeurIPS'23 paper ProteinInvBench: Benchmarking Protein Design on Diverse Tasks, Models, and Metrics☆175Updated 6 months ago
- [ICML-23 ORAL] ProtST: Multi-Modality Learning of Protein Sequences and Biomedical Texts☆94Updated last year
- [ICLR 2024] Mol-Instructions: A Large-Scale Biomolecular Instruction Dataset for Large Language Models☆267Updated 4 months ago
- Retrieved Sequence Augmentation for Protein Representation Learning☆50Updated last year
- [NeurIPS 2024] BEACON: Benchmark for Comprehensive RNA Tasks and Language Models☆34Updated 7 months ago
- ☆144Updated last year
- [COLM'24] We propose Protein Chain of Thought (ProCoT), which replicates the biological mechanism of signaling pathways as language promp…☆58Updated last week
- The official implementation of the ICLR'23 paper PiFold: Toward effective and efficient protein inverse folding.☆176Updated last year
- ☆16Updated 9 months ago
- BioT5 (EMNLP 2023) and BioT5+ (ACL 2024 Findings)☆108Updated 6 months ago
- ☆114Updated 2 weeks ago
- ☆177Updated 5 months ago
- The official implementation of the ICLR'24 paper RDesign: Hierarchical Data-efficient Representation Learning for Tertiary Structure-base…☆41Updated 7 months ago
- This repo contains the codes for our paper Conditional Antibody Design as 3D Equivariant Graph Translation.☆91Updated last year
- Protein Design with Guided Discrete Diffusion☆125Updated last year
- Saprot: Protein Language Model with Structural Alphabet (AA+3Di)☆421Updated last week
- [ICLR 2024] Domain-Agnostic Molecular Generation with Chemical Feedback☆153Updated 3 months ago
- Repository for AAAI 2024 paper "From Artificially Real to Real: Leveraging Pseudo Data from Large Language Models for Low-Resource Molecu…☆22Updated last year
- This is the official implementation for Equivariant Enengy-guided SDE for Inverse Molecule Design (ICLR 2023)☆47Updated last year
- Code for the paper https://arxiv.org/abs/2402.04997☆72Updated last year
- ☆28Updated 6 months ago
- Code for EMNLP2023 paper "MolCA: Molecular Graph-Language Modeling with Cross-Modal Projector and Uni-Modal Adapter".☆12Updated last year
- PEER Benchmark, appear at NeurIPS 2022 Dataset and Benchmark Track (https://arxiv.org/abs/2206.02096)☆88Updated 2 years ago
- Curation of resources for LLM research, screened by @tongyx361 to ensure high quality and accompanied with elaborately-written concise de…☆49Updated 8 months ago