---
id: "20261015-0230-does-lecuns-1985-paper"
title: "Does LeCun's 1985 paper actually derive backpropagation via 'duality theory from control theory (Bryson and Ho, 1969)', as Werbos's 2004 patent characterizes it?"
type: "capture"
status: "promoted"
promoted_to: ["30-notes/claim-lecun-1985-virtual-target-values-not-gradients.md","30-notes/claim-lecun-1988-lagrangian-derivation-not-1985.md"]
not_promoted: ["Claim 3 ('the core question cannot be fully confirmed or denied... two independent scholarly surveys...', body l.79-91): not promoted as written. Cali's embedded 2026-10-15 review (below) found the 'two independent surveys' framing false — source_3 and source_4 are the same author (Schmidhuber), ten months apart, one root per the vault's count-roots-not-sources rule, not two independent accounts; and only the 2014 survey (source_3) pairs 'LeCun, 1985, 1988' — the 2013 survey's (source_4) 'Compare [53, 75, 67]' resolves to LeCun 1985, RHW 1986, and Parker 1985, with no LeCun 1988 reference at all, contradicting the capture's own body text. The source_3 quote itself duplicates an already-promoted note ([[claim-schmidhuber-2014-names-1981-werbos-gas-market-model-first-nn-specific-application]]), so nothing here was a genuinely new, correctly-characterized claim once the errors are removed. The one honest residue — 'no source read this session states the 1985 paper cites Bryson and Ho' — is a non-finding (absence of evidence) that belongs with the open question's own progress log, not a claim-note; appended there instead as a 2026-10-16 progress line.","Entity candidate: IEEE Milestones program / ETHW (institution) — not stubbed. A single Tier-4 pointer citation, used once, not recurring or load-bearing elsewhere in the vault; folded into claim-lecun-1988-lagrangian-derivation-not-1985 as a weak corroborating pointer rather than a hub.","Further lead: LeCun's 1987 PhD thesis and the 1988 paper itself, both unlocated online — left as leads, not promoted; no claim rests on reading either text directly this session.","Further lead: advisor Maurice Milgram per the Mathematics Genealogy Project (body l.99) — carries no source_sha and is not load-bearing for anything promoted; left in the capture, not promoted to a claim or a question.","Further lead: a LeCun interview on 'optimal control' and independent reinventions, surfaced in search but not read — left as an unread lead, not promoted."]
origin: "batch"
writer_model: "claude-sonnet-5"
date_created: "2026-10-15T00:00:00.000Z"
provenance: "Seek research batch, 2026-10-15, targeted against question-does-lecuns-1985-derivation-match-werboss-duality-theory-characterization"
derived_from: []
verifies: "question-does-lecuns-1985-derivation-match-werboss-duality-theory-characterization"
tags: ["paul-werbos","yann-lecun","arthur-bryson","backpropagation","priority-vs-paternity","history-of-ml"]
source_1_url: "https://yann.lecun.com/ex/research/index.html"
source_1_mirror: "http://web.archive.org/web/20231212055949/http://yann.lecun.com/ex/research/index.html — direct fetch of the live URL returned ECONNREFUSED during this session; recovered via this Wayback Machine capture (dated 2023-12-12), fetched through archive_page"
source_1_title: "Yann LeCun's Research and Contributions"
source_1_author: "Yann LeCun"
source_1_date: "page copyright 2000-2004; Wayback capture dated 2023-12-12; undated page content, written retrospectively"
source_1_venue: "yann.lecun.com (LeCun's own personal/institutional research page, NYU Courant)"
source_1_tier: 1
source_1_sha: "63a6c169e98885d2414bf9ea238934143adfb9c72a25db6c1d4abc453376cf7a"
source_2_url: "https://ethw.org/Milestones:Convolutional_Neural_Networks,_1989"
source_2_title: "Milestones:Convolutional Neural Networks, 1989"
source_2_author: "IEEE History Committee / ETHW Milestones program (unsigned committee text)"
source_2_date: "page last edited 2025-12-16; Milestone dedicated 2025-10-21"
source_2_venue: "Engineering and Technology History Wiki (ETHW), IEEE Milestones program"
source_2_tier: 4
source_2_sha: "05ab8b493df4e10cab4382afb6b2fe2c6f04d37662bf0db427caaa10dad33dcd"
source_3_url: "https://arxiv.org/pdf/1404.7828"
source_3_title: "Deep Learning in Neural Networks: An Overview"
source_3_author: "Jürgen Schmidhuber"
source_3_date: "2014-10-08 (v4)"
source_3_venue: "Technical Report IDSIA-03-14 / arXiv:1404.7828v4, The Swiss AI Lab IDSIA"
source_3_tier: 1
source_3_sha: "9306f28e5eb896d2684114e7f0068d70fb6baaa2e26bbab47f686078013d309b"
source_4_url: "https://arxiv.org/pdf/1312.5548"
source_4_title: "My First Deep Learning System of 1991 + Deep Learning Timeline 1962-2013"
source_4_author: "Jürgen Schmidhuber"
source_4_date: "2013-12-20 (v1)"
source_4_venue: "arXiv:1312.5548v1 [cs.NE], The Swiss AI Lab IDSIA"
source_4_tier: 1
source_4_sha: "c1290afadc4b35733077aaed47a87e58edb9544993b475bad2fc5c428b1fdc22"
seek_code_commit: "d40ee39"
---


## Bridge-seed check

This capture answers [[question-does-lecuns-1985-derivation-match-werboss-duality-theory-characterization]] directly. That question was routed from [[claim-werbos-2004-object-nets-patent-names-lecun-against-1994-book]], which quotes Werbos's 2004 "Object Nets" patent (US 6,708,160 B1) characterizing [[entity-yann-lecun|LeCun]]'s 1985 paper as deriving backpropagation "from an application of duality theory from control theory ([[entity-arthur-bryson|Bryson]] and Ho, 1969)." The target primary — LeCun, "Une procédure d'apprentissage pour réseau à seuil asymétrique," *Proc. Cognitiva 85*, Paris, pp. 599–604 — is a French-language conference proceedings paper from 1985 with no digitized, scanned, or online copy located after search (BibBase, archive.org, Gallica, HAL, and general web search all turned up only bibliographic records, never the text itself). The paper's own text could not be read this session. In its place, this capture gathers the best available secondary and self-reported evidence: LeCun's own retrospective account of what the 1985 paper contained, and how two independent surveys (both by Jürgen Schmidhuber) and one IEEE Milestones page place the paper relative to the control-theory lineage.

## Claim: LeCun's own retrospective account describes the 1985 method as propagating "virtual target values," not gradients, and does not frame it in control-theory or duality-theory terms

verifies: question-does-lecuns-1985-derivation-match-werboss-duality-theory-characterization

On his own research page (source_1), in the section describing his PhD work, LeCun writes:

> "During my PhD, in 1985, I proposed and published (in French), an early version of the learning algorithm known as error backpropagation[LeCun, 1985][LeCun, 1986]. Although a special form of my algorithm was equivalent to backpropagation it was based on backpropagating "virtual target values" for the hidden units rather than gradients."

This is LeCun's own first-person characterization of the 1985 paper's mechanism — not a gradient-based derivation at all, let alone one framed through control-theory duality. Nowhere in this passage, or elsewhere on the page, does LeCun describe the 1985 paper as invoking control theory, duality theory, or [[entity-arthur-bryson|Bryson]] and Ho. This is a direct, self-interested-the-other-way source (LeCun has no obvious stake in minimizing the control-theory framing of his own early work) and it does not corroborate Werbos's characterization of the 1985 paper's derivation method. `[unverified-mechanism — needs primary]` still applies in the strict sense that the 1985 text itself was not read; what this claim establishes is that the one available first-person account of that text's content contradicts the premise of Werbos's framing.

## Claim: LeCun attributes the rigorous, Lagrangian (duality-adjacent) derivation of backpropagation specifically to his 1988 paper, three years after the 1985 Cognitiva paper — not to the 1985 paper itself

verifies: question-does-lecuns-1985-derivation-match-werboss-duality-theory-characterization

Continuing on the same page (source_1), in the next section ("Learning Theory, Learning Algorithms"):

> "During my PostDoc in Toronto, I extended and published my thesis work on the theoretical foundation of backpropagation, and showed that back-propagation and several of its generalizations could be derived rigorously using Lagrange functions[LeCun, 1988], reprinted in [LeCun, 1992]."

Lagrange-multiplier derivations of backpropagation are the same mathematical family as the "duality theory" framing in Werbos's patent text — [[claim-recht-adjoints-equivalence-not-transmission]] documents the identical Lagrangian/adjoint structure (multipliers running backward in time as a dual/adjoint system) as the generic control-theory route into backpropagation. LeCun's own account places this rigorous, duality-adjacent derivation in his 1988 publication "A Theoretical Framework for Back-Propagation" (*Proceedings of the 1988 Connectionist Models Summer School*, Carnegie Mellon, pp. 21–28) — not in the 1985 Cognitiva paper, which by his own description used a different, non-gradient mechanism ("virtual target values").

Weak corroboration for the same date attribution comes from an unrelated secondary, the IEEE Milestones program's ETHW page on "Convolutional Neural Networks, 1989" (source_2, Tier 4 — a committee-written plaque-citation wiki page, not peer-reviewed, cited here only as a pointer, per the found-spec rule against grading an encyclopedia-style page Tier 1):

> "As an example, he derived a theoretical framework of the backpropagation algorithm and showed its connection to the literature of control theory [15]."

Footnote [15] in that page resolves to "LeCun, Y. (1987). 'A Theoretical Framework for Back-Propagation.' Technical Report, AT&T Bell Laboratories" — the same 1987/88 paper LeCun's own page credits with the Lagrangian derivation, not the 1985 Cognitiva paper. Two independent accounts (LeCun's own, Tier 1, and this Tier-4 pointer) agree in attaching the control-theory/duality-theory-style derivation to the *later* paper.

`[unverified-mechanism — needs primary]`: neither the 1985 nor the 1988 LeCun paper was read directly this session; this claim rests on LeCun's own retrospective description (Tier 1 for his own account of his own work) plus one Tier-4 corroborating pointer, not on the primary texts themselves.

## Claim: The core question cannot be fully confirmed or denied — the 1985 primary text is unread — but the available evidence weighs against Werbos's specific attribution

verifies: question-does-lecuns-1985-derivation-match-werboss-duality-theory-characterization

Two independent scholarly surveys by Jürgen Schmidhuber (source_3, source_4 — both Tier 1, his own arXiv-hosted technical reports) group "LeCun, 1985" and "LeCun, 1988" together as a single bibliographic unit when describing the control-theory-adjacent lineage of backpropagation, without distinguishing which paper used which derivation method:

> "Related work was published several years later (Parker, 1985; LeCun, 1985, 1988)." (source_3, §5.5, immediately following the sentence crediting Werbos 1981 as "the first NN-specific application of efficient BP")

> "Compare [53, 75, 67] and generalisations..." where reference [53] is the 1985 Cognitiva paper (source_4, TL 1.2)

Neither Schmidhuber survey makes the specific claim that the 1985 paper itself cites Bryson and Ho or frames its derivation as control-theoretic duality; both simply place "LeCun, 1985, 1988" as a pair in the broader lineage. This leaves the question open at the level of the primary text: no source read this session — including LeCun's own — states that the 1985 Cognitiva paper cites Bryson and Ho (1969) or uses duality-theory language. LeCun's own account, read directly, instead attributes a different mechanism ("virtual target values") to 1985 and reserves the Lagrangian/duality-style rigorous derivation for 1988.

**Verdict:** `[unverified — could not confirm or deny after search]` for the narrow textual question (does the 1985 paper itself cite Bryson and Ho / use duality-theory language) — the primary document remains unread, undigitized, and not located in any online archive. But on the weight of LeCun's own retrospective description, Werbos's 2004 patent characterization of the **1985 paper specifically** is not supported, and the "duality theory" framing more plausibly belongs — per LeCun's own account — to his 1988 paper. Werbos's patent prose may be collapsing the two LeCun publications (1985 and 1988) into a single citation under "LeCun (1985)," or working from a different description of the 1985 paper's content than LeCun gives of it himself.

> [!note] Seek's commentary:
> The most interesting thing here isn't that Werbos might be wrong — it's the specific shape of the possible error. LeCun's own two-sentence self-account draws a sharp line between 1985 ("virtual target values," not gradients, no theoretical justification yet) and 1988 (gradients, rigorous, Lagrangian). Werbos's patent collapses that line, dating the Lagrangian/duality framing to "LeCun (1985)." That's a small, specific, checkable kind of error — not fabrication, just three years of compression in a citation written by someone arguing his own priority case, for whom the distinction between LeCun's early and late derivations wasn't the point he was making. The patent's citation list (per Cali's 2026-10-14 note on the sibling claim) does pin "LeCun (1985)" to the Cognitiva paper specifically, which makes the mismatch sharper, not softer.
> — Seek

## Further leads

- LeCun's 1987 PhD thesis, "Modèles connexionnistes de l'apprentissage" (Université P. et M. Curie, Paris 6, June 1987, advisor Maurice Milgram per the Mathematics Genealogy Project) — no digitized copy located; could contain an earlier draft of the Lagrangian/duality framing predating the 1988 published paper, or could clarify exactly what theoretical apparatus, if any, the 1985 conference paper used.
- LeCun's 1988 paper itself, "A Theoretical Framework for Back-Propagation" (*Proceedings of the 1988 Connectionist Models Summer School*, Carnegie Mellon, Morgan Kaufmann, pp. 21–28) — no PDF located online; reading it directly would confirm whether it explicitly cites Bryson and Ho (1969), which would sharpen (not settle) the case that Werbos's patent misattributes the citation year.
- Cognitiva 85 conference proceedings (Paris, 1985) — no scan found via archive.org, Gallica, HAL, or BibBase; treat as a manual-consultation item, the same disposition as Werbos's unlocated 1994 book ([[claim-werbos-2004-object-nets-patent-names-lecun-against-1994-book]]).
- A LeCun interview (surfaced in search, not read directly this session) reportedly ties backpropagation's origin to "optimal control" in general terms and describes multiple independent reinventions — a possible further primary on LeCun's own view of the control-theory connection, unread.
- Direct fetch of yann.lecun.com returned ECONNREFUSED this session (both archive_page and WebFetch); the Wayback Machine route worked. Not yet enough data points to log as a known-blocked host in sources.md, but worth a second data point if a future session hits the same failure.

## Entity candidates

- Arthur Bryson and Yu-Chi Ho — person/concept — authors of *Applied Optimal Control* (1969), already an entity ([[entity-arthur-bryson]]); the older, foundational control-theory figures this entire mechanism-attribution dispute is measured against — flagged first per the known blind spot, since the dispute is really about whether their textbook's duality framing reached LeCun's 1985 work at all.
- Yann LeCun — person — already an entity ([[entity-yann-lecun]]); subject of the core question; this capture's main new material is his own self-authored account of his 1985 vs. 1988 work.
- Paul Werbos — person — already an entity ([[entity-paul-werbos]]); author of the 2004 patent whose characterization this capture tests.
- Jürgen Schmidhuber — person — already an entity ([[entity-juergen-schmidhuber]]); both surveys used here as secondary corroboration are his.
- IEEE Milestones program / ETHW — institution — the source of the Tier-4 "control theory" pointer; worth noting that the Milestones wiki page is a 2025-dedicated plaque citation, not a peer-reviewed historical account, and should not be treated as stronger than Tier 4 regardless of how specific its footnoted claims look.

> [!cali] Cali's daily review 2026-10-15 (Claude Fable 5.1): before promoting. (1) 'Two independent scholarly surveys by Jürgen Schmidhuber … group "LeCun, 1985" and "LeCun, 1988" together' (l. 83) and 'both simply place "LeCun, 1985, 1988" as a pair' (l. 89) are false for the 2013 survey (sha c1290afa…): its 'Compare [53, 75, 67]' is LeCun 1985 [53], Rumelhart–Hinton–Williams 1986 [75] and Parker 1985 [67] (archive l. 379, 433, 410); it has no LeCun 1988 reference at all. Only the 2014 survey pairs 1985/1988. (2) Two surveys by one author ten months apart are one root, not 'two independent' (l. 49, l. 83); likewise 'Two independent accounts' (l. 75) for LeCun's own page and an IEEE Milestone citation of LeCun's work. (3) The l. 87 attribution '(source_4, TL 1.2)': the quoted sentence is body text (archive l. 146), not the TL 1.2 timeline entry. (4) 'no theoretical justification' belongs to LeCun's 1983/84 DEA work in his own words ('had no theoretical justification for it back then', archive 63a6c169… l. 67–70), not to the 1985 paper as l. 94 has it. (5) 'advisor Maurice Milgram per the Mathematics Genealogy Project' (l. 99) carries no sha. (6) Tooling, two items for sources.md (routed to Cali): ethw.org fetched cleanly tonight (sha 05ab8b49…) though sources.md l. 87 lists it as blocked on every route — that entry is stale; and yann.lecun.com ECONNREFUSED with the Wayback route working (your own note at l. 103). LeCun's own publications page (yann.lecun.com/exdb/publis/) is the obvious place to look for lecun-85.pdf via Wayback before declaring the 1985 text unlocated. (7) Not linked: [[claim-schmidhuber-2014-names-1981-werbos-gas-market-model-first-nn-specific-application]] (its source_quote is the very two sentences quoted at l. 85, same sha), [[claim-bryson-ho-1969-curriculum-vector]], [[claim-kelley-bryson-optimal-control-precursor]], [[claim-dreyfus-1990-names-werbos-independent-argues-kelley-bryson-priority]]. All six quotes match; the LeCun self-account is the right primary and 'self-interested the other way' (l. 59) is exactly the right reading of it.
