litexlang / tslitex
LiTeX is a formal proof management system inspired by Lisp semantics and LaTeX syntax. It helps ANYONE express and verify proofs at ANY LEVEL as INTUITIVELY as if they were writing natural language.
☆26Updated this week
Related projects ⓘ
Alternatives and complementary repositories for tslitex
- ☆20Updated 8 months ago
- ☆159Updated 2 months ago
- Saprot: Protein Language Model with Structural Alphabet (AA+3Di)☆359Updated this week
- [NeurIPS 2024] BEACON: Benchmark for Comprehensive RNA Tasks and Language Models☆17Updated 3 months ago
- 新学生深度学习入门☆8Updated 3 months ago
- Nature Methods: RNA foundation model (together with RhoFold)☆210Updated 7 months ago
- ☆96Updated last month
- The official implementation of the NeurIPS'23 paper ProteinInvBench: Benchmarking Protein Design on Diverse Tasks, Models, and Metrics☆168Updated 2 months ago
- ☆148Updated 3 years ago
- List of computational protein design research labs☆134Updated last week
- Official Implemetation of DPLM (ICML'24) - Diffusion Language Models Are Versatile Protein Learners☆76Updated last week
- Joint sequence and structure generation with RoseTTAFold sequence space diffusion☆267Updated 3 weeks ago
- Official repository for the ProteinGym benchmarks☆241Updated 3 weeks ago
- Awesome-Biomolecule-Language-Cross-Modeling: a curated list of resources for paper "Leveraging Biomolecule and Natural Language through M…☆169Updated 2 weeks ago
- A Protein Large Language Model for Multi-Task Protein Language Processing☆142Updated last month
- The first large protein language model trained follows structure instructions.☆72Updated 5 months ago
- ✌🏻 Antigen-Specific Antibody Design and Optimization with Diffusion-Based Generative Models for Protein Structures (NeurIPS 2022)☆281Updated last year
- TEIM: TCR-Epitope Interaction Modeling☆44Updated last year
- NeuralPLexer: State-specific protein-ligand complex structure prediction with a multi-scale deep generative model☆267Updated 7 months ago
- Official Implemetation of ConfDiff (ICML'24) - Protein Conformation Generation via Force-Guided SE(3) Diffusion Models☆31Updated 2 months ago
- ChatMol☆163Updated 3 months ago
- ☆23Updated 2 months ago
- Scripts to benchmark and train foldseek☆33Updated 6 months ago
- ☆74Updated 2 years ago
- [ICML-23 ORAL] ProtST: Multi-Modality Learning of Protein Sequences and Biomedical Texts☆88Updated last year
- This repo contains the codes for our paper "End-to-End Full-Atom Antibody Design"☆94Updated 7 months ago
- ☆78Updated last week
- ☆176Updated this week
- ESM-GearNet for Protein Structure Representation Learning (https://arxiv.org/abs/2303.06275)☆79Updated last year
- SaprotHub: Making Protein Modeling Accessible to All Biologists☆69Updated this week