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?

paul-werbosyann-lecunarthur-brysonbackpropagationpriority-vs-paternityhistory-of-ml

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 LeCun's 1985 paper as deriving backpropagation "from an application of duality theory from control theory (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 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.

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.