Read between the languages.
Keep the original and translation side by side. Follow figures, formulas and references without switching windows.
YOUR NEXT IDEA STARTS HERE
Original paper. Side-by-side translation. Answers you can trace. Meet the research companion that keeps you in the flow.

STAY WITH THE PAPER
Follow the argument, check an equation, capture an idea. Keep the context while you do it.
Keep the original and translation side by side. Follow figures, formulas and references without switching windows.
The Transformer uses attention to connect relevant parts of a sequence, without recurrence.
Abstract · p. 1 ↗Illustrative answerAsk about a passage or a screenshot. Follow paragraph citations back to the paper and check the reasoning yourself.
Compare attention patterns across longer sequences.
Highlight a passage and add a note. Notes are plain Markdown files you can open in your own editor.
SAME PAPER. A DIFFERENT WAY IN.
Some days you want the details. Some days you just want someone to explain it like you’re eight. Pick your way in.
Attention is a way of letting a machine look at everything at once and decide what matters most. Think of a crowded room: you ask a question, and each person offers an answer. The machine weighs those answers, giving more weight to the ones that fit your question, then blends them together§3.2.
In this paper the authors used a version they call scaled dot-product attention. They compare each question with every key by multiplying them, shrink the results a bit, and turn them into weights that add up to one; then they take a weighted average of the values§3.2.1. That shrinking keeps things steady when the numbers grow large.
They also do this several times over, side by side, so the model can notice different kinds of relationships at once§3.2.2.
Attention takes a question, called a query, and some clue pairs, called keys and values. It is like checking clues to see which ones match your question§3.2. Each clue gets a weight. Then attention adds the values together using those weights.
The paper's special kind is Scaled Dot-Product Attention§3.2.1. It multiplies the query with all keys. Then it divides each answer by the square root of dk. A softmax turns those into weights. Then it makes a weighted sum of the values. They do many queries at once, packed as matrices Q, K, and V.
Why divide? For small dk, plain dot-product attention is fine§3.2.1. For large dk, the dot products get big. That pushes softmax into a tiny-gradient spot, which is bad. Scaling helps fix that. Multi-head attention does this many times in parallel. It is like many helpers looking at different views, then joining their answers§3.2.2.
Attention begins with a query and a set of key-value pairs§3.2. For every value, it computes a weight from how compatible the query is with that value's paired key; the output is the weighted sum of the values.
In scaled dot-product attention, queries and keys have dimension dk, while values have dimension dv§3.2.1. You take the dot product of the query with each key, divide each result by the square root of dk, then apply softmax to turn the numbers into weights. Multiply each value by its weight and add them. With many queries, keys, and values packed into matrices Q, K, and V, this is Attention(Q,K,V)=softmax(QK^T/√dk)V. The scaling by 1/√dk prevents large dot products, which occur when dk is large, from pushing softmax into regions with extremely small gradients.
Multi-head attention repeats this function in parallel on learned linear projections of queries, keys, and values, then concatenates and projects the results§3.2.2.
Attention maps a query and key-value pairs to an output; the output is a weighted sum of the values, and each weight comes from a compatibility function of the query with the corresponding key§3.2. In scaled dot-product attention, queries and keys have dimension dk and values dv. You compute the dot products of the query with all keys, divide each by sqrt(dk), and apply softmax to get weights on the values; in matrix form, Attention(Q,K,V)=softmax(QK^T/sqrt(dk))V§3.2.1. Scaling matters because for large dk the dot products grow large, pushing softmax into regions with extremely small gradients.
Multi-head attention projects queries, keys, and values h times with learned linear projections to dk, dk, and dv dimensions, runs attention in parallel on each projected version, concatenates the dv-dimensional outputs, and projects again; this lets the model jointly attend to information from different representation subspaces at different positions§3.2.2. The excerpts do not explain masked or encoder-decoder attention.
An attention function maps a query and a set of key-value pairs to an output, where all of these are vectors; the output is a weighted sum of the values, and the weight on each value comes from a compatibility function of the query with the corresponding key§3.2. In practice, queries are packed together into a matrix Q, and keys and values into K and V§3.2.1.
The paper's scaled dot-product attention takes the dot products of the query with all keys, divides each by the square root of dk, applies a softmax to obtain the weights on the values, and computes softmax(QK^T/√dk)V§3.2.1. The scaling exists because for large dk the dot products grow large in magnitude, pushing the softmax into regions with extremely small gradients.
Multi-head attention instead projects queries, keys and values h times with different learned linear projections, performs attention in parallel on each projected version, then concatenates and projects the results, letting the model attend to information from different representation subspaces at different positions§3.2.2.
YOUR RESEARCH. YOUR SETUP.
Connect your own API key or a model running on your own computer. Choose models by task and keep an eye on estimated usage.
PDFs and notes are stored locally. Cloud AI sends the content needed for your request to the service you configure.

LESS FILE HUNTING
Find papers on arXiv and Semantic Scholar, add them to your library, and pick up where you left off.
OPEN BY DESIGN
The Mac App Store purchase supports ongoing development. Build from source for the same features, without a feature paywall.
The ready-to-use macOS app, with installation and updates through the App Store.
Build, inspect and contribute. The app source is licensed under Apache-2.0.
The Mac App Store release is being prepared. You can already explore and build the source on GitHub.
FAQ
ReadArc uses API access from the provider you choose, or a local model. Cloud API usage is billed separately by that provider; a chat-app subscription may not include API access.
Yes. Imported PDFs, saved translations, the bundled dictionary and notes work offline. Cloud AI and online paper search need a connection.
No. Your library is stored on your computer. When you use a cloud AI feature, the content needed for that task is sent to your configured endpoint. A local gateway may also forward requests to the cloud.
The purchase gives you the packaged app and supports maintenance. The source build uses the same code and features. Model API charges are separate.
macOS is available now. A Windows version is in development. You can also build from source on GitHub.
READ. QUESTION. CONNECT.
Give it a little attention.
Coming soon on the Mac App Store