Enter a ProGen2 context string.
An uppercase ProGen2 token string. Use 1 or 2 for an unconditioned generation control token, or provide a protein prefix or sequence.
Configure inputs to begin
Set options on the left, then click “Run ProGen2” — or start from an example.
Generate one sequence from the default context
Generate multiple sequences from a short protein prompt
Score a short sequence in both directions

Generate protein structures and scaffolds with Genie 3, an all-atom SE(3)-equivariant diffusion model. Genie 3 supports unconditional protein generation, motif scaffolding, and hotspot-targeted binder design.

All-atom generative AI for designing protein binders. Specify target binding sites and generate diverse binding proteins with fine-grained control over interaction parameters.

ProFam-1 is a protein family language model for family-conditioned sequence generation. Provide a protein family FASTA/MSA and generate new sequences with model likelihood scores for downstream ranking and screening.

EvoDiff is a diffusion-based protein sequence generation framework from Microsoft Research. ProteinIQ currently runs the EvoDiff-Seq OA_DM_38M model for unconditional protein generation, motif scaffolding, and user-sequence inpainting.

PocketFlow is a structure-based molecular generative model that designs novel drug-like molecules within protein binding pockets. It uses autoregressive flow modeling with chemical knowledge to generate 100% chemically valid, highly drug-like compounds.

PocketXMol is a pocket-interacting generative foundation model for docking, small-molecule design, and peptide design in protein binding pockets.

Reasoning-guided antibody CDR co-design for antibody-antigen complexes. Proteo-R1 identifies residue-level functional decisions and uses conditional diffusion to generate ranked designed structures with confidence metrics.

RFdiffusion is a state-of-the-art protein structure generation tool that uses diffusion models to design proteins de novo, create binders, scaffold motifs, and generate symmetric oligomers with atomic precision.

RFdiffusion2 is an atom-level enzyme active site scaffolding tool that generates protein scaffolds around your input motif. REQUIRES an input PDB structure containing the active site residues to scaffold. For ligand-aware design, ligands must be embedded in the input PDB as HETATM records.

AI-powered antibody CDR design using equivariant diffusion models. Generates optimized complementarity-determining region (CDR) sequences and structures for antibodies targeting specific antigens. Supports single CDR, multi-CDR co-design, and fixed-backbone sequence design modes.
ProGen2 is a family of autoregressive protein language models from Salesforce Research. It learns the token patterns of natural and metagenomic protein sequences, then either samples new sequences from a context string or scores an existing sequence under the model.
ProGen2 works entirely in sequence space. It does not require a structure, multiple sequence alignment, or target receptor. That makes it useful for broad sequence exploration, but generated candidates still need structural, functional, and experimental validation.
ProteinIQ runs the Salesforce source at commit c27a419 and uses the published model checkpoint archives.
Choose Generate to sample sequence continuations, or Score likelihood to evaluate one token string. Enter an uppercase context or sequence, select a checkpoint, and run the job on a cloud GPU.
| Input | Format | Notes |
|---|---|---|
| Context / sequence | One continuous string containing A-Z and optional control tokens 1 or 2 | Lowercase letters, FASTA headers, spaces, and line breaks are rejected because the published tokenizer does not define an unknown token. |
The default generation context is 1. A partial sequence such as 1MKTLL asks ProGen2 to continue from that prefix. Score likelihood expects at least two tokens.
In a workflow, an incoming sequence artifact supplies the context input for that job. Multi-FASTA artifacts are materialized as individual ProGen2 jobs, and each sequence is validated against the selected model and maximum total length.
| Mode | Behavior | Main result |
|---|---|---|
| Generate | Samples one or more complete context-plus-continuation strings with nucleus sampling. | Clean protein sequences and a FASTA file. |
| Score likelihood | Runs the published likelihood.py behavior and averages left-to-right and right-to-left scores. | ll_sum and ll_mean. |
| Setting | Default | Description |
|---|---|---|
| Model | progen2-large | Published ProGen2 checkpoint used for generation or scoring. |
| Random seed | 42 | Seeds Python and PyTorch with deterministic CUDA behavior. |
| Setting | Range | Default | Description |
|---|---|---|---|
| Number of sequences | 1 to 20, with lower limits for larger models | 1 | Number of return sequences sampled in one call. |
| Top-p | 0.01 to 1.0 | 0.95 | Nucleus sampling threshold. Lower values restrict each step to a smaller high-probability token set. |
| Temperature | 0.01 to 2.0 | 0.2 | Scales the sampling distribution. Lower values are more conservative; higher values increase diversity. |
| Maximum total length | 2 to 2048, with lower limits for larger models | 256 | Total token length of the submitted context plus generated continuation. It must be greater than the context length. |
Temperature 0.2 and top-p 0.95 are defaults from the published command-line program. They are not universal paper defaults: the ProGen2 experiments evaluate several sampling temperatures and top-p values.
| Model | Parameters | Training focus | Service envelope |
|---|---|---|---|
progen2-small | 151M | UniRef90 and BFD30 | Up to 20 sequences, 2048 total tokens |
progen2-medium | 764M | UniRef90 and BFD30 | Up to 12 sequences, 2048 total tokens |
progen2-base | 764M | UniRef90 and BFD30 | Up to 12 sequences, 2048 total tokens |
progen2-oas | 764M | Observed Antibody Space | Up to 12 sequences, 2048 total tokens |
progen2-large | 2.7B | UniRef90 and BFD30 | Up to 4 sequences, 1024 total tokens |
progen2-BFD90 | 2.7B | BFD90 | Up to 4 sequences, 1024 total tokens |
progen2-xlarge | 6.4B | UniRef90 and BFD30 | 1 sequence, 512 total tokens |
The compute envelopes keep the largest requests within the available GPU memory and job duration. For general generation, progen2-large is a practical starting point. For antibody-like sequences, progen2-oas is trained on immune repertoire data. The xlarge checkpoint is substantially slower and is best reserved for focused runs.
The training format uses 1 and 2 as control or terminal tokens. A leading 1 is commonly associated with UniRef and BFD-style data, while 2 can represent the alternative data stream used by the model. Both tokens can also terminate a sampled sequence.
ProteinIQ preserves the source program's terminal truncation behavior, then removes a leading 1 or 2 and a trailing 1 or 2 from the user-facing sequence. The JSON detail file keeps both the source truncation and the raw decoded completion for provenance.
| Output | Format | Meaning |
|---|---|---|
| Results table | Spreadsheet | Generated sequences and lengths, or likelihood metrics, together with model and source commit. |
| Generated sequences | FASTA | One clean sequence per generated sample. Available only in Generate mode and reusable in workflows. |
| Generation details | JSON | Raw decoded completions, source-truncated completions, clean sequences, token counts, and provenance. |
| Likelihood scores | CSV and JSON | Averaged bidirectional ll_sum and ll_mean values. |
| Likelihood log | TXT | Console output produced by the pinned Salesforce likelihood.py entrypoint. |
ll_sum scales with sequence length, while ll_mean is normalized across scored positions. These values are model scores, not probabilities of biological function, stability, expression, or experimental success. Scores are most useful for comparisons made with the same checkpoint and token conventions.
progen2-oas is useful when antibody-like sequence generation without a structure is sufficient.Generated candidates should be checked for sequence quality, structural plausibility, liabilities, and target-specific behavior before experimental prioritization.