The DOI matches its Crossref record; 77 of the 77 references it cites were found in a registry or an index; none of the 23 sources its claims cite is checked for support yet.
Large language models generate functional protein sequences across diverse families
Open accessAbstract
Deep-learning language models have shown promise in various biotechnological applications, including protein design and engineering. Here we describe ProGen, a language model that can generate protein sequences with a predictable function across large protein families, akin to generating grammatically and semantically correct natural language sentences on diverse topics. The model was trained on 280 million protein sequences from >19,000 families and is augmented with control tags specifying protein properties. ProGen can be further fine-tuned to curated sequences and tags to improve controllable generation performance of proteins from families with sufficient homologous samples. Artificial proteins fine-tuned to five distinct lysozyme families showed similar catalytic efficiencies as natural lysozymes, with sequence identity to natural proteins as low as 31.4%. ProGen is readily adapted to diverse protein families, as we demonstrate with chorismate mutase and malate dehydrogenase.
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
32 Own result · 14 Own interpretation · 12 Not checked yet · 8 Own method · 4 No basis given
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Our protein language model is trained by simply learning to predict the next amino acid for over 280 million protein sequences from thousands of protein families, without explicit biophysical modeling.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“After training, ProGen can be prompted to generate full-length protein sequences for any protein family from scratch, with a varying degree of similarity to natural proteins.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
None of the sources cited for this claim have been checked yet.
In the paper
“Our artificial lysozymes span the sequence landscape of natural lysozymes, Fig. 2a, across five families which contain diverse protein folds, active site architectures, and enzymatic mechanisms49,50.”
§ Large language models generate functional protein sequences across diverse families > Abstract
What the sources say
- Not checked yetcites [49] Baase, W. A., Liu, L., Tronrud, D. E. & Matthews, B. W. Lessons from the lysozyme of phage T4. Protein Sci. 19, 631–641 (2010). source
- Not checked yetcites [50] Kuroki, R., Weaver, L. H. & Matthews, B. W. A covalent enzyme–substrate intermediate with saccharide distortion in a mutant T4 lysozyme. Science 262, 2030–2033 (1993). source
plainn = 5- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Rests on an assumption: The five lysozyme families chosen because they lack disulfide bonds can be expressed in high-throughput cell-free systems.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“they demonstrate similar residue position entropies when forming separate multiple sequence alignments of natural and artificial proteins within each family, Fig. 2c.”
§ Large language models generate functional protein sequences across diverse families > Abstract
boostedn = 5- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In the positive control set of 100 natural proteins, 72% were well-expressed based on chromatography peaks and band visualization.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Our artificial proteins match activity levels of natural proteins even at lower levels of sequence identity to any known natural protein, (Fig 3b, Fig. S5).”
§ Large language models generate functional protein sequences across diverse families > Abstract
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The representative natural proteins exhibited similar levels of functionality with 59% (53/90) of total proteins considered functional.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
In the paper
“None of the bmDCA artificial proteins exhibited a detectable level of functionality, Fig. S10”
§ Large language models generate functional protein sequences across diverse families > Abstract
What the sources say
- Not checked yetcites [7] Russ, W. P. et al. An evolution-based model for designing chorismate mutase enzymes. Science 369, 440–445 (2020). source
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
In the paper
“As in the crystal structure of L056, the predicted artificial structures roughly match known structures found in nature, Fig S11, including for low identity (<40%) artificial sequences.”
§ Large language models generate functional protein sequences across diverse families > Abstract
What the sources say
- Not checked yetcites [14] Jumper, J. et al. Highly accurate protein structure prediction with AlphaFold. Nature 596, 583–589 (2021). source
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Generated proteins exhibit similar conservation patterns to natural sequence libraries (Fig. 4ad).”
§ Large language models generate functional protein sequences across diverse families > Abstract
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- It may state two separate claims as one. 29
- Probably not a substantial claim. 16
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“ProGen is a 1.2 billion-parameter neural network trained using a publicly available dataset of 280 million protein sequences.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“we could readily measure the KM values for the purified apparent lower molecular weight species, where both L056 and L070 were highly active and had comparable Michaelis-Menten parameters to HEWL (Fig. 3e).”
§ Large language models generate functional protein sequences across diverse families > Abstract
hedged- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Among our artificial proteins, 73% (66/90) were functional and exhibited high levels of functionality across families, Fig. 3c.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Notably a small number of proteins, both within the natural and artificial proteins, were within an order of magnitude of HEWL, which was substantially more active than all negative controls.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Two proteins, L056 (max ID 69.6%) and L070 (max ID 89.2%) expressed well and incurred bactericidal activities towards the E. coli BL21(DE3) strain used during overnight induction at 16C.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The ProGen-generated proteins express equally well (72/100 total) across all bins of sequence identity to any known natural protein (maxID 40–90%), Fig 2e.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Despite having comparable enzymatic activities, L070 and L056 only share 17.9% sequence ID.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“We also found that there is no bias to location or structural element to the mutations that diverge L056 and L070 from their respective nearest sequence homolog in nature. Differing residues are instead uniformly distributed.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The KM values of both monomers were too weak to be measured using a heterogeneous, fluorescein-labeled Micrococcus lysodeikticus cell wall substrate (Molecular Probes EnzChek Lysozyme kit); however, both monomers were active using a pseudo-first order kinetic assay (Fig. S7).”
§ Large language models generate functional protein sequences across diverse families > Abstract
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Some mutations are even found within the active site cleft and within regions that influence conformational state (for L056).”
§ Large language models generate functional protein sequences across diverse families > Abstract
plainSingle case- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
None of the sources cited for this claim have been checked yet.
In the paper
“We determined a 2.5 Å resolution crystal of L056 (see Methods, Figure 3e). The global fold was similar to predictions, with a Cα RMSD of 2.9 Å from the backbone structure predicted by trRosetta and 2.3 Å RMSD from a WT T4 Lysozyme structure59,60.”
§ Large language models generate functional protein sequences across diverse families > Abstract
What the sources say
plainSingle case- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
In the paper
“bmDCA was unable to fit three out of the five lysozyme families, and exhibited 60% detectable expression (30/50 proteins) for the remaining two protein families.”
§ Large language models generate functional protein sequences across diverse families > Abstract
What the sources say
- Not checked yetcites [7] Russ, W. P. et al. An evolution-based model for designing chorismate mutase enzymes. Science 369, 440–445 (2020). source
plainn = 5- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Alignment with a structure featuring a covalently trapped substrate (PDB 148L) reveals that the active site cleft is well formed with the key catalytic residue Glu15 (Glu 11 in T4L) and key substrate binding residue Thr30 (Thr26 in T4L) correctly positioned.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plainSingle case- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“These likelihoods showed a significant drop in AUC of 0.18 for CM (p<0.0001, two-tailed test, n=1617) and 0.08 for MDH (p<0.1, two-tailed test, n=56), as compared to fine-tuned ProGen when predicting if an artificial sequence should function.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plaindirectn = 1,617 ·- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
In the paper
“On MDH function data, ProGen log-likelihoods had an AUC of 0.94 (Fig. 4f), which was better than ProteinGAN discriminator scores, with an AUC of 0.87 (p<0.1, two-tailed test, n=56).”
§ Large language models generate functional protein sequences across diverse families > Abstract
What the sources say
- Not checked yetcites [66] Vig, J. et al. BERTology meets biology: Interpreting attention in protein language models. In International Conference on Learning Representations (ICLR, 2020). source
plainn = 56 ·- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
In the paper
“On CM function data, ProGen log-likelihoods had an area under the curve (AUC) of 0.85, significantly better (p<0.0001, two-tailed test, n=1617) than bmDCA, which had an AUC of 0.78 (Fig. 4c).”
§ Large language models generate functional protein sequences across diverse families > Abstract
What the sources say
- Not checked yetcites [7] Russ, W. P. et al. An evolution-based model for designing chorismate mutase enzymes. Science 369, 440–445 (2020). source
plainn = 1,617- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“We purified 6 highly expressed proteins and found that they were all active, but with significantly lower Michaelis-Menten activities than HEWL or the previously generated artificial proteins L056 and L070 (Fig 3f).”
§ Large language models generate functional protein sequences across diverse families > Abstract
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Of the selected sequences, 78 out of the 89 (88%) expressed well and 24 out of the 78 (31%) were soluble (Supplemental Figure 8).”
§ Large language models generate functional protein sequences across diverse families > Abstract
plainn = 2- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“L013 and L038 expressed highly to inclusion bodies.”
§ Large language models generate functional protein sequences across diverse families > Methods > E. coli Expression of Lysozyme Variants
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“For lowID lysozyme A5 the above protocol was altered slightly to accommodate lower catalytic activity of these variants: reaction volumes were increased to 20 μL, plate was covered with an optically transparent seal (Microseal ® ‘B’ seal; BioRad) to mitigate sample evaporation, fluorescent reads were taken every 5 mins for 16 hours with 5 s of linear plate shaking prior to each measurement to min”
§ Large language models generate functional protein sequences across diverse families > Methods > Michaelis-Menten kinetics of lysozyme variants using fluorescein-labeled M. lysodeikticus cell wall
plaindirectSingle case- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“The MDH functional labels are binary, so no thresholding was needed to compute AUCs.”
§ Large language models generate functional protein sequences across diverse families > Methods > Evaluating ProGen on Other Protein Systems
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The resultant data were not described by a single exponential model but were described by a double exponential model (Eq. 6), likely due to the heterogeneity of the substrate, and all data were fit in IgorPro7.”
§ Large language models generate functional protein sequences across diverse families > Methods > Lysozyme kcat/KM extrapolation from pseudo first-order kinetic data
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“For induced cultures of L056 and L070, significant turbidity was observed in the spent media after cells were pelleted at 3,500 r.c.f. for 30 mins at 4°C.”
§ Large language models generate functional protein sequences across diverse families > Methods > E. coli Expression of Lysozyme Variants
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Two peaks were resolved for each variant and that harbored lysozyme activity against the fluorescein-labeled M. Lysodeikticus cell wall substrate (EnzChek kit; ThermoFisher).”
- Also stated in: § Purification of L056 and L070 from spent media · plain
“Two peaks were resolved for each variant and that harbored lysozyme activity against the fluorescein-labeled M. Lysodeikticus cell wall substrate (EnzChek kit; ThermoFisher) that corresponded to peaks observed in the first pool purification.”
§ Large language models generate functional protein sequences across diverse families > Methods > Purification of L056 and L070 from spent media
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
- Also stated in: § Purification of L056 and L070 from spent media · plain
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Significant translational non-crystallographic symmetry and differences with the search model resulted in maps that were initially hard to interpret.”
§ Large language models generate functional protein sequences across diverse families > Methods > Crystallization and structure determination of L056
plaindirectSingle case- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“These results indicate that ProGen generates protein sequences that not only can express well but also maintain enzymatic function for diverse sequence landscapes across protein families.”
§ Large language models generate functional protein sequences across diverse families > Abstract
hedgeddirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
- Rests on an assumption: Well-expression and solubility in the cell-free system indicate that the artificial proteins are structurally well-folded.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Taken together, L056 and L070 harbor potent catalytic activity and bactericidal capabilities that are comparable to HEWL, while diverging from their nearest known natural sequence by 53 and 18 amino acids respectively.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
- Rests on an assumption: HEWL is a suitable reference for native lysozyme catalytic activity.
What the paper did — it cites no source for this, so there is none to check. The quote shows it is in the paper.
In the paper
“The perplexity on a held-out test set was monitored and did not exceed training set perplexity throughout model training.”
§ Large language models generate functional protein sequences across diverse families > Methods > ProGen Training
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“While we do not expect our language model to generate proteins that belong to a completely different distribution or domain (for example creating a new fold that catalyzes an unnatural reaction), it can significantly expand the space of protein sequences from those sampled by evolution.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
- Rests on an assumption: The 280 million-sequence training set is diverse enough to learn a universal protein representation transferable across families.
What the paper did — it cites no source for this, so there is none to check. The quote shows it is in the paper.
In the paper
“The aggregated dataset was split into a training set of size 280 million and two test sets, an out-of-distribution test set (OOD-test) of size 100k from 20 protein families and a randomly sampled in-domain test set (ID-test) of size 1 million, that were held-out for training and used for evaluation.”
§ Large language models generate functional protein sequences across diverse families > Methods > Training Data Curation
plainn = 20- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may state two separate claims as one.
None of the sources cited for this claim have been checked yet.
In the paper
“In sum, ProGen’s model likelihoods are better aligned with experimentally-measured assay data on two diverse protein datasets—chorismate mutase and malate dehydrogenase—than the sequence generation methods from original studies specifically tailored for these families.”
§ Large language models generate functional protein sequences across diverse families > Abstract
What the sources say
- Not checked yetcites [7] Russ, W. P. et al. An evolution-based model for designing chorismate mutase enzymes. Science 369, 440–445 (2020). source
- Not checked yetcites [66] Vig, J. et al. BERTology meets biology: Interpreting attention in protein language models. In International Conference on Learning Representations (ICLR, 2020). source
plaincorrelationaln = 1,617- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“These results indicate that both components of our training strategy—initial training on the universal sequence dataset and fine-tuning on the protein family of interest—contribute significantly to final model performance.”
§ Large language models generate functional protein sequences across diverse families > Abstract
hedgeddirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
What the paper did — it cites no source for this, so there is none to check. The quote shows it is in the paper.
In the paper
“For robustness, we trained three discriminators using different random seeds.”
§ Large language models generate functional protein sequences across diverse families > Methods > Lysozyme Sequence Selection
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
What the paper did — it cites no source for this, so there is none to check. The quote shows it is in the paper.
In the paper
“Proteins that generated fluorescence one standard deviation above the maximum fluorescence of any negative control were considered functional.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The resultant data were not described by a single exponential model but were described by a double exponential model (Eq. 6), likely due to the heterogeneity of the substrate, and all data were fit in IgorPro7.”
§ Large language models generate functional protein sequences across diverse families > Methods > Lysozyme kcat/KM extrapolation from pseudo first-order kinetic data
hedgedconditional- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Rests on an assumption: The average molecular weight of the fluorescein-labeled M. lysodeikticus cell wall substrate is unknown and the substrate is heterogeneous.
What the paper did — it cites no source for this, so there is none to check. The quote shows it is in the paper.
In the paper
“We also ensured that no two generated samples share over 80% identity with each other.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim.
What the paper did — it cites no source for this, so there is none to check. The quote shows it is in the paper.
In the paper
“After measuring the AUC of each model for each dataset, we used bootstrapping to compute the statistical significance of the difference in AUC of fine-tuned ProGen vs. the reference method (bmDCA and ProGen ablations for CM, ProteinGAN and ProGen ablations for MDH).”
§ Large language models generate functional protein sequences across diverse families > Methods > Evaluating ProGen on Other Protein Systems
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim.
What the paper did — it cites no source for this, so there is none to check. The quote shows it is in the paper.
In the paper
“The fine-tuning dataset was clustered at 80% sequence identity and 10% of the clusters were held-out as a validation set for hyper-parameter optimization and stopping criteria.”
§ Large language models generate functional protein sequences across diverse families > Methods > Lysozyme Generation
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
In the paper
“We also applied thresholding at 0.42 norm relative enrichment (r.e.) to obtain binary labels for CM function, which roughly corresponds to the cut-off point between two modes that exist in CM function data, to be used for ROC curves, following the original study7.”
§ Large language models generate functional protein sequences across diverse families > Methods > Evaluating ProGen on Other Protein Systems
What the sources say
- Not checked yetcites [7] Russ, W. P. et al. An evolution-based model for designing chorismate mutase enzymes. Science 369, 440–445 (2020). source
hedgedcorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
What the paper did — it cites no source for this, so there is none to check. The quote shows it is in the paper.
In the paper
“We performed structure prediction without an MSA as input so as to not heavily bias the structure prediction toward a known natural mode.”
§ Large language models generate functional protein sequences across diverse families > Abstract
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim.
The paper relies on this without support.
The five lysozyme families chosen because they lack disulfide bonds can be expressed in high-throughput cell-free systems.
“Within the lysozyme clan, we chose to work with five families that lack disulfide bonds as to be amenable to high-throughput cell-free expression: Phage lysozyme, Pesticin, Glucosaminidase, Glycoside hydrolase, and Transglycosylase.”
The paper relies on this without support.
Well-expression and solubility in the cell-free system indicate that the artificial proteins are structurally well-folded.
“These results indicate that ProGen can generate artificial proteins that are structurally well-folded for proper expression as compared to a batch of natural proteins”
The paper relies on this without support.
The 280 million-sequence training set is diverse enough to learn a universal protein representation transferable across families.
“Trained in this unsupervised manner from a large, varied protein sequence database, ProGen learns a universal, domain-independent representation of proteins that subsumes local and global structure motifs”
The paper relies on this without support.
HEWL is a suitable reference for native lysozyme catalytic activity.
“Hen egg white lysozyme (HEWL), a naturally-evolved exemplar protein, was measured as positive control”
The paper relies on this without support.
Model likelihoods for GANs are intractable.
“Since model likelihoods for GANs are intractable, we used discriminator scores corresponding to the probability at which the ProteinGAN discriminator predicted each sample was real as a ProteinGAN model score for each MDH sequence.”
The paper relies on this without support.
The average molecular weight of the fluorescein-labeled M. lysodeikticus cell wall substrate is unknown and the substrate is heterogeneous.
“(the average molecular weight of the fluorescein-labeled M. Lysodeikticus cell wall substrate was unknown and likely heterogeneous).”
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The source backs part of the claim, not all of it — or backs it for a different population, condition or comparison.
In the citing paper
“synthetic proteins optimized for specific families of lysozymes using ProGen have exhibited catalytic efficiencies comparable to their naturally occurring counterparts with low sequence identity.”
From Large language models (LLMs): survey, technical frameworks, and future challenges (2024) · cites this paper as Madani et al. 2023
Experimental — accuracy not yet measuredThe cited source says what the claim attributes to it.
In the citing paper
“AI models have already been used to design new CRISPR enzymes,53 functional proteins,128 and even entire prokaryotic genomes.51”
From How to build the virtual cell with artificial intelligence: Priorities and opportunities (2024) · cites this paper as [128]
The cited source says what the claim attributes to it.
In the citing paper
“The success of LLMs has revolutionized AI learning in natural language and image processing [75] and has been extended into the learning of biological sequence datasets [80].”
From Challenges in AI-driven Biomedical Multimodal Data Fusion and Analysis (2025) · cites this paper as [80]
The cited source says what the claim attributes to it.
In the citing paper
“the ProGen (Madani et al. 2023) language model employs deep learning techniques to produce protein sequences with predefined functionalities.”
From Large language models (LLMs): survey, technical frameworks, and future challenges (2024) · cites this paper as Madani et al. 2023
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
Each contradiction between two passages listed here was confirmed by an independent check.
Rated minor: it would not touch a result — a value no result rests on, a p-value that stays on the same side of the significance level, or a conflict that is clerical, resolved elsewhere in the paper, or outside its own findings.
In the paper
§ Large language models generate functional protein sequences across diverse families > Abstract
“a state-of-the-art transformer-based conditional language model trained only with evolutionary sequence data”
§ Large language models generate functional protein sequences across diverse families > Methods > ProGen Training
“The model was initialized with pretrained weights of CTRL28, which was trained on an English language corpus.”
Citations
Cites
Adam: A Method for Stochastic Optimization
Kingma, D. P., & Ba, J. (2014) · arXiv · doi:10.48550/arxiv.1412.6980 · Cited by 98,946
LeCun, Y., Bengio, Y., & Hinton, G. (2015) · Nature · doi:10.1038/nature14539 · Cited by 84,126
Highly accurate protein structure prediction with AlphaFold
Jumper, J., Evans, R., Pritzel, A., Green, T., Figurnov, M., Ronneberger, O., Tunyasuvunakool, K., Bates, R., Žídek, A., Potapenko, A., et al. (2021) · Nature · doi:10.1038/s41586-021-03819-2 · Cited by 43,764
Gene Ontology: tool for the unification of biology
Ashburner, M., Ball, C. A., Blake, J. A., Botstein, D., Butler, H., Cherry, J. M., Davis, A. P., Dolinski, K., Dwight, S. S., Eppig, J. T., et al. (2000) · Nature Genetics · doi:10.1038/75556 · Cited by 43,206
Features and development of Coot
Emsley, P., Lohkamp, B., Scott, W. G., & Cowtan, K. (2010) · Acta Crystallographica Section D Biological Crystallography · doi:10.1107/s0907444910007493 · Cited by 29,915
Language Models are Few-Shot Learners
Brown, T. B., Mann, B., Ryder, N., Subbiah, M., Kaplan, J., Dhariwal, P., Neelakantan, A., Shyam, P., Sastry, G., Askell, A., et al. (2020) · arXiv · doi:10.48550/arxiv.2005.14165 · Cited by 23,372
Phaser crystallographic software
McCoy, A. J., Grosse-Kunstleve, R. W., Adams, P. D., Winn, M. D., Storoni, L. C., & Read, R. J. (2007) · Journal of Applied Crystallography · doi:10.1107/s0021889807021206 · Cited by 20,612
Kabsch, W. (2010) · Acta Crystallographica Section D Biological Crystallography · doi:10.1107/s0907444909047337 · Cited by 16,463
Deep Contextualized Word Representations
Peters, M., Neumann, M., Iyyer, M., Gardner, M., Clark, C., Lee, K., & Zettlemoyer, L. (2018) · Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers) · doi:10.18653/v1/n18-1202 · Cited by 11,983
Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer
Raffel, C., Shazeer, N., Roberts, A., Lee, K., Narang, S., Matena, M., Zhou, Y., Li, W., & Liu, P. J. (2019) · arXiv · doi:10.48550/arxiv.1910.10683 · Cited by 10,929
Research works printed but not linked: 13
- Vaswani, A. et al. Attention is all you need. In 31st Conference on Neural Information Processing Systems (NIPS, 2017).
- Devlin, J., Chang, M.-W., Lee, K. & Toutanova, K. BERT: Pre-training of deep bidirectional transformers for language understanding. In Proceedings of North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT, 2019).
- Zellers, R. et al. Defending against neural fake news. In 33rd Conference on Neural Information Processing Systems (NeurIPS, 2019).
- Radford, A., Narasimhan, K., Salimans, T. & Sutskever, I. Improving language understanding by generative pre-training. Preprint at https://s3-us-west-2.amazonaws.com/openai-assets/research-covers/language-unsupervised/language_understanding_paper.pdf (2018).
- Dathathri, S. et al. Plug and play language models: a simple approach to controlled text generation. In 8th International Conference on Learning Representations (ICLR, 2020).
- Pettit, L. D. The IUPAC stability constants database. Chem. Int. 28, 14–15 (2006).
- Bengio, Y., Ducharme, R., Vincent, P. & Janvin, C. A neural probabilistic language model. J. Mach. Learn. Res. 3, 1137–1155 (2003).
- Goyal, K., Dyer, C. & Berg-Kirkpatrick, T. Exposing the implicit energy networks behind masked language models via metropolis–hastings. In 10th International Conference on Learning Representations (ICLR, 2022).
- Alley, E., Khimulya, G., Biswas, S., AlQuraishi, M. & Church, G. M. Unified rational protein engineering with sequence-based deep representation learning. Nat. Methods 16, 1315–1322 (2019). · DOI · Paper page
- Pascanu, R., Mikolov, T. & Bengio, Y. On the difficulty of training recurrent neural networks. In Proc. 30th International Conference on Machine Learning (eds. Dasgupta, S. & McAllester, D.) 1310–1318 (PMLR, 2013).
- Srivastava, N., Hinton, G., Krizhevsky, A., Sutskever, I. & Salakhutdinov, R. Dropout: a simple way to prevent neural networks from overfitting. J. Mach. Learn. Res. 15, 1929–1958 (2014).
- Holtzman, A., Buys, J., Du, L., Forbes, M. & Choi, Y. The curious case of neural text degeneration. In 8th International Conference on Learning Representations (ICLR, 2020).
- Goodfellow, I. J. et al. Generative adversarial networks. In 28th Conference on Neural Information Processing Systems (NIPS, 2014).
Cited by
Sorted by citations
Items 1,001–1,012 of 1,012
A Generalist Cross-Domain Molecular Learning Framework for Structure-Based Drug DiscoveryPreprint
Zhu, Y., Li, M., Liu, J., Fu, K., Wu, J., Li, Q., Yin, M., Ye, J., Wu, J., & Wang, Z. (2025) · arXiv (Cornell University) · doi:10.48550/arxiv.2503.04362 · Cited by 4
“Protein language models have achieved remarkable success in understanding and generating proteins [72–75] by capturing biological co-evolutionary information from millions of diverse protein sequences [14, 76], or families of evolutionarily related sequences [77].”
Zhao, G., Ge, C., Han, W., Yu, R., & Liu, H. (2025) · Toxins · doi:10.3390/toxins17020093
“ProGEN [20], for example, employs a 1.2B parameter language model to controllably generate proteins with specified molecular functions or cellular components.”
Discrete Modeling via Boundary Conditional Diffusion Processes
Gu, Y., Feng, X.-C., Huang, L., Wu, Y., Zhou, Z.-K., Zhong, W., Zhu, K., & Qin, B. (2024) · Neural Information Processing Systems · doi:10.48550/arxiv.2410.22380
CELL-Diff: Unified Diffusion Modeling for Protein Sequences and Microscopy ImagesPreprint
Dihan, Z., & Huang, B. (2024) · bioRxiv (Cold Spring Harbor Laboratory) · doi:10.1101/2024.10.15.618585
“Concurrently, the rapid development of generative models has enabled researchers to design functional proteins (Madani et al., 2023; Dauparas et al., 2022) and drug-like molecules (Isigkeit et al., 2024).”
Simulation algorithm of greenhouse soil water movement based on cellular automata
Zhou, J.-J., Huang, T., Wang, H., Sun, R.-R., Liu, J.-H., & Zhou, M. (2024) · Applied Water Science · doi:10.1007/s13201-024-02280-6
“As an emerging technology, machine learning has obtained good simulation results in various disciplines such as environment, biology and agriculture (Li et al. 2023; Madani et al. 2023; Peng and Tan 2022).”
A DNN Biophysics Model with Topological and Electrostatic Features
Sliheet, E., Talha, M. A., & Geng, W. (2026) · Journal of Chemical Information and Modeling · doi:10.1021/acs.jcim.5c03104
“PLM has a wide range of applications such as protein p K a prediction, 9 protein structure prediction, 10 protein design, 11 protein evolution, 12 etc. Recently, the appearance of AlphaFold developed by Google DeepMind revolutionarily reshaped the structures’ determination techniques.”
Pseudo-perplexity in One Fell Swoop for Protein Fitness EstimationPreprint
Kantroo, P., Wagner, G. P., & Machta, B. (2024) · bioRxiv · doi:10.1101/2024.07.09.602754
“Normalizing the log-likelihood by the sequence length enables fitness comparisons across sequences with different lengths, elucidating why the heuristic also works for indel mutations [24].”
BackgroundKalantar, M., Kalanther, I., Kumar, S., Buxton, E. K., & Raeeszadeh-Sarmazdeh, M. (2024) · bioRxiv · doi:10.1101/2024.06.04.597476
Abrasion Disaster Profile, Impact And Abrasion Mitigation Efforts In East Java Province
Ishak, M. (2023) · Jurnal Indonesia Sosial Teknologi · doi:10.59141/jist.v4i12.835
“Beach erosion is when local sea levels rise and drive strong waves that erode or wash away rocks, soil, and other materials (Madani et al., 2023).”
BackgroundUnsupervised Learnings of Protein Large Language Models for Make Benefit Glorious Sector of Biotech
Hartwig, A. (2023) · XRDS Crossroads The ACM Magazine for Students · doi:10.1145/3637461
“Once trained, these protein LLMs can be sampled to generate sequences designed to fold or function like specific types of natu-ral proteins but are made of sequences with low similarity to natural ones [6, 7].”
BackgroundWird KI neue Medikamente gegen Herzkrankheiten hervorbringen?
Glaser, M., Ritterhoff, J., Most, P., & Wade, R. C. (2023) · Aktuelle Kardiologie · doi:10.1055/a-2131-2843
A Protein Structure Enhanced Pre-training Model for Allosteric Site Detection
Lv, Q., Zhang, X., Jiang, X., Chen, M., Cao, Y., & He, W.-X. (2023) · ICAICE · doi:10.1145/3652628.3652822
Metadata
- Authors
- Madani, A., Krause, B., Greene, E. R., Subramanian, S., Mohr, B. P., Holton, J. M., Olmos, J. L., Xiong, C., Sun, Z. Z., Socher, R., Fraser, J. S., & Naik, N.
- Affiliations
- Salesforce (United States) (US)
- University of California, San Francisco (US)
- Howard Hughes Medical Institute (US)
- Lawrence Berkeley National Laboratory (US)
- Corresponding author
- Madani, Ali
- Naik, Nikhil
- ORCID
- Venue
- Nature Biotechnology
- Published
- 2023-01-26
- Volume
- 41
- Issue
- 8
- Pages
- 1099-1106
- ISSN
- 0733-222X (ISSN-L)
- 1087-0156
- 1546-1696
- PMC
- PMC10400306
- OpenAlex
- W4318071656
- Cited by
- 1,078
- References
- 80
- Citations by year
- 2026: 314 · 2025: 320 · 2024: 302 · 2023: 141
- FWCI
- 95.97
- Type
- journal article
- Language
- en
- Open access
- green
- www.ncbi.nlm.nih.gov
- Licence
- Locations
- Nature Biotechnology (publishedVersion)
- PubMed (publishedVersion)
- PubMed Central (acceptedVersion)
- eScholarship (California Digital Library) (submittedVersion)
- OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) (submittedVersion)
- Funders
- U.S. Department of Health & Human Services | National Institutes of Health (GM123159)
- Topics
- Life Sciences › Biochemistry, Genetics and Molecular Biology › Molecular Biology › Protein Structure and Dynamics
- Life Sciences › Biochemistry, Genetics and Molecular Biology › Molecular Biology › Machine Learning in Bioinformatics
- Life Sciences › Biochemistry, Genetics and Molecular Biology › Molecular Biology › Enzyme Catalysis and Immobilization
- Keywords
- large language models, protein sequence generation, protein design, protein families, lysozyme, chorismate mutase, malate dehydrogenase, catalytic efficiency, controllable generation, protein engineering
- MeSH terms
- Amino Acid Sequence, Chorismate Mutase, Estrogens, Conjugated (USP), Language, Proteins
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
A language model drew the claims from the paper on 2026-10-05, under version 3 of the claim definition (model deepseek-v4.1-flash, prompt extract-v3).
A second model labelled each claim on 2026-10-05 (model jev-1.13-20260917, definition revision gold-guideline-v0.2).
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
