Spaces:
Running
Running
| % ===================================================================== | |
| % refs.bib -- The Unified Substrate (v23), SZL Holdings | |
| % All citations are real published works with DOIs / arXiv IDs. | |
| % No fabricated references. | |
| % ===================================================================== | |
| % ---- AI governance / verifiable claims ---- | |
| @techreport{brundage2020, | |
| author = {Brundage, Miles and Avin, Shahar and Wang, Jasmine and others}, | |
| title = {Toward Trustworthy {AI} Development: Mechanisms for Supporting Verifiable Claims}, | |
| year = {2020}, | |
| institution = {arXiv}, | |
| number = {arXiv:2004.07213}, | |
| note = {\url{https://arxiv.org/abs/2004.07213}}, | |
| doi = {10.48550/arXiv.2004.07213} | |
| } | |
| @misc{ntia, | |
| author = {{National Telecommunications and Information Administration}}, | |
| title = {{AI} Accountability Policy Report: Proof of Claims and Trustworthiness}, | |
| year = {2024}, | |
| howpublished = {\url{https://www.ntia.gov/issues/artificial-intelligence/ai-accountability-policy-report}} | |
| } | |
| @misc{slsa, | |
| author = {{Open Source Security Foundation}}, | |
| title = {{SLSA}: Supply-chain Levels for Software Artifacts (Levels 1--4)}, | |
| year = {2023}, | |
| howpublished = {\url{https://slsa.dev}} | |
| } | |
| % ---- Functional-equation aggregation / uniqueness ---- | |
| @article{aczel1948, | |
| author = {Acz{\'e}l, J{\'a}nos}, | |
| title = {On mean values}, | |
| journal = {Bulletin of the American Mathematical Society}, | |
| volume = {54}, | |
| number = {4}, | |
| pages = {392--400}, | |
| year = {1948}, | |
| note = {\url{https://eudml.org/doc/296298}}, | |
| doi = {10.1090/S0002-9904-1948-09020-9} | |
| } | |
| @article{aczelsaaty1983, | |
| author = {Acz{\'e}l, J{\'a}nos and Saaty, Thomas L.}, | |
| title = {Procedures for synthesizing ratio judgements}, | |
| journal = {Journal of Mathematical Psychology}, | |
| volume = {27}, | |
| number = {1}, | |
| pages = {93--102}, | |
| year = {1983}, | |
| doi = {10.1016/0022-2496(83)90028-7} | |
| } | |
| @article{csato2018, | |
| author = {Cs{\'a}t{\'o}, L{\'a}szl{\'o}}, | |
| title = {Characterization of the row geometric mean ranking with a group consensus axiom}, | |
| journal = {Group Decision and Negotiation}, | |
| volume = {27}, | |
| number = {6}, | |
| pages = {1011--1027}, | |
| year = {2018}, | |
| doi = {10.1007/s10726-018-9589-3}, | |
| note = {arXiv:1706.07256, \url{https://arxiv.org/abs/1706.07256}} | |
| } | |
| @misc{kolmogorov1930, | |
| author = {Kolmogorov, Andrey N.}, | |
| title = {Sur la notion de la moyenne}, | |
| year = {1930}, | |
| howpublished = {Atti della Accademia Nazionale dei Lincei 12:388--391}, | |
| note = {Quasi-arithmetic (Kolmogorov--Nagumo) means; see \url{https://en.wikipedia.org/wiki/Quasi-arithmetic_mean}} | |
| } | |
| @misc{quasiarith, | |
| author = {{Wikipedia}}, | |
| title = {Quasi-arithmetic mean (Kolmogorov--Nagumo--de Finetti characterization)}, | |
| year = {2024}, | |
| howpublished = {\url{https://en.wikipedia.org/wiki/Quasi-arithmetic_mean}} | |
| } | |
| @misc{naryqam2026, | |
| author = {Maksa, Gyula and Mokken, Robert J. and M{\"u}nnich, {\'A}kos}, | |
| title = {{$N$}-ary quasi-arithmetic means and families without regularity}, | |
| year = {2026}, | |
| howpublished = {arXiv:2606.05221, \url{https://arxiv.org/html/2606.05221v1}} | |
| } | |
| % ---- Information theory ---- | |
| @article{shannon1948, | |
| author = {Shannon, Claude E.}, | |
| title = {A Mathematical Theory of Communication}, | |
| journal = {Bell System Technical Journal}, | |
| volume = {27}, | |
| number = {3}, | |
| pages = {379--423}, | |
| year = {1948}, | |
| doi = {10.1002/j.1538-7305.1948.tb01338.x} | |
| } | |
| @article{kraft1949, | |
| author = {Kraft, Leon G.}, | |
| title = {A device for quantizing, grouping, and coding amplitude-modulated pulses}, | |
| journal = {M.S. Thesis, MIT}, | |
| year = {1949}, | |
| note = {Kraft inequality; see also McMillan 1956, doi:10.1109/TIT.1956.1056818} | |
| } | |
| % ---- Distributed systems / consensus ---- | |
| @article{psl1980, | |
| author = {Pease, Marshall and Shostak, Robert and Lamport, Leslie}, | |
| title = {Reaching Agreement in the Presence of Faults}, | |
| journal = {Journal of the ACM}, | |
| volume = {27}, | |
| number = {2}, | |
| pages = {228--234}, | |
| year = {1980}, | |
| doi = {10.1145/322186.322188} | |
| } | |
| @article{flp1985, | |
| author = {Fischer, Michael J. and Lynch, Nancy A. and Paterson, Michael S.}, | |
| title = {Impossibility of Distributed Consensus with One Faulty Process}, | |
| journal = {Journal of the ACM}, | |
| volume = {32}, | |
| number = {2}, | |
| pages = {374--382}, | |
| year = {1985}, | |
| doi = {10.1145/3149.214121} | |
| } | |
| @article{dls1988, | |
| author = {Dwork, Cynthia and Lynch, Nancy and Stockmeyer, Larry}, | |
| title = {Consensus in the Presence of Partial Synchrony}, | |
| journal = {Journal of the ACM}, | |
| volume = {35}, | |
| number = {2}, | |
| pages = {288--323}, | |
| year = {1988}, | |
| doi = {10.1145/42282.42283} | |
| } | |
| % ---- Cryptography / receipts ---- | |
| @inproceedings{merkle1979, | |
| author = {Merkle, Ralph C.}, | |
| title = {Secrecy, Authentication, and Public Key Systems}, | |
| year = {1979}, | |
| note = {Ph.D. dissertation, Stanford University; Merkle trees / hash trees}, | |
| publisher = {Stanford University} | |
| } | |
| @misc{rfc6962, | |
| author = {Laurie, Ben and Langley, Adam and Kasper, Emilia}, | |
| title = {{RFC 6962}: Certificate Transparency}, | |
| year = {2013}, | |
| howpublished = {\url{https://www.rfc-editor.org/info/rfc6962/}}, | |
| doi = {10.17487/RFC6962} | |
| } | |
| @misc{proverif, | |
| author = {Blanchet, Bruno and others}, | |
| title = {Automatic verification of transparency protocols}, | |
| year = {2023}, | |
| howpublished = {arXiv:2303.04500, \url{https://arxiv.org/abs/2303.04500}} | |
| } | |
| % ---- Quantum / convexity (CI-pending re-exports) ---- | |
| @article{tsirelson1980, | |
| author = {Tsirelson, Boris S.}, | |
| title = {Quantum generalizations of Bell's inequality}, | |
| journal = {Letters in Mathematical Physics}, | |
| volume = {4}, | |
| number = {2}, | |
| pages = {93--100}, | |
| year = {1980}, | |
| doi = {10.1007/BF00417500} | |
| } | |
| @article{chsh1969, | |
| author = {Clauser, John F. and Horne, Michael A. and Shimony, Abner and Holt, Richard A.}, | |
| title = {Proposed Experiment to Test Local Hidden-Variable Theories}, | |
| journal = {Physical Review Letters}, | |
| volume = {23}, | |
| number = {15}, | |
| pages = {880--884}, | |
| year = {1969}, | |
| doi = {10.1103/PhysRevLett.23.880} | |
| } | |
| @article{jensen1906, | |
| author = {Jensen, Johan L. W. V.}, | |
| title = {Sur les fonctions convexes et les in{\'e}galit{\'e}s entre les valeurs moyennes}, | |
| journal = {Acta Mathematica}, | |
| volume = {30}, | |
| pages = {175--193}, | |
| year = {1906}, | |
| doi = {10.1007/BF02418571} | |
| } | |
| % ---- Measurement theory / mechanism design ---- | |
| @book{foundmeas, | |
| author = {Krantz, David H. and Luce, R. Duncan and Suppes, Patrick and Tversky, Amos}, | |
| title = {Foundations of Measurement, Vol.~I: Additive and Polynomial Representations}, | |
| publisher = {Academic Press}, | |
| year = {1971}, | |
| note = {Vols. II--III, 1989/1990; \url{https://philpapers.org/rec/KRAFOM}} | |
| } | |
| % ---- Formal epistemology / philosophy of science ---- | |
| @misc{reliabilism, | |
| author = {Goldman, Alvin I.}, | |
| title = {What Is Justified Belief? (Process Reliabilism)}, | |
| year = {1979}, | |
| howpublished = {Reliabilist Epistemology, Stanford Encyclopedia of Philosophy, \url{https://plato.stanford.edu/entries/reliabilism/}} | |
| } | |
| @book{nozick, | |
| author = {Nozick, Robert}, | |
| title = {Philosophical Explanations (Truth-Tracking / Sensitivity)}, | |
| publisher = {Harvard University Press}, | |
| year = {1981} | |
| } | |
| @article{gettier, | |
| author = {Gettier, Edmund L.}, | |
| title = {Is Justified True Belief Knowledge?}, | |
| journal = {Analysis}, | |
| volume = {23}, | |
| number = {6}, | |
| pages = {121--123}, | |
| year = {1963}, | |
| doi = {10.1093/analys/23.6.121} | |
| } | |
| @book{lakatos, | |
| author = {Lakatos, Imre}, | |
| title = {Proofs and Refutations: The Logic of Mathematical Discovery}, | |
| publisher = {Cambridge University Press}, | |
| year = {1976}, | |
| note = {\url{https://en.wikipedia.org/wiki/Proofs_and_Refutations}} | |
| } | |
| % ---- Security philosophy ---- | |
| @article{saltzer1975, | |
| author = {Saltzer, Jerome H. and Schroeder, Michael D.}, | |
| title = {The Protection of Information in Computer Systems}, | |
| journal = {Proceedings of the IEEE}, | |
| volume = {63}, | |
| number = {9}, | |
| pages = {1278--1308}, | |
| year = {1975}, | |
| doi = {10.1109/PROC.1975.9939} | |
| } | |
| % ===================================================================== | |
| % v24 additions -- frontier theorem source papers + artifacts | |
| % ===================================================================== | |
| % ---- Deep equilibrium models (CF-13) ---- | |
| @inproceedings{baikolter2019, | |
| author = {Bai, Shaojie and Kolter, J. Zico and Koltun, Vladlen}, | |
| title = {Deep Equilibrium Models}, | |
| booktitle = {Advances in Neural Information Processing Systems (NeurIPS)}, | |
| year = {2019}, | |
| note = {arXiv:1909.01377, \url{https://arxiv.org/abs/1909.01377}}, | |
| doi = {10.48550/arXiv.1909.01377} | |
| } | |
| % ---- Numerical stability (CF-17) ---- | |
| @book{higham2002, | |
| author = {Higham, Nicholas J.}, | |
| title = {Accuracy and Stability of Numerical Algorithms}, | |
| edition = {2}, | |
| publisher = {Society for Industrial and Applied Mathematics (SIAM)}, | |
| year = {2002}, | |
| note = {Floating-point summation error model, \S2.2--\S4.2}, | |
| doi = {10.1137/1.9780898718027} | |
| } | |
| % ---- Alternating series / Madhava--Leibniz (CF-18) ---- | |
| @book{plofker2009, | |
| author = {Plofker, Kim}, | |
| title = {Mathematics in India}, | |
| publisher = {Princeton University Press}, | |
| year = {2009}, | |
| note = {\S7.4, M\=adhava--Leibniz series and remainder; ISBN 978-0-691-12067-6} | |
| } | |
| % ---- Reed--Solomon / Singleton (CF-19) ---- | |
| @article{reedsolomon1960, | |
| author = {Reed, Irving S. and Solomon, Gustave}, | |
| title = {Polynomial Codes over Certain Finite Fields}, | |
| journal = {Journal of the Society for Industrial and Applied Mathematics}, | |
| volume = {8}, | |
| number = {2}, | |
| pages = {300--304}, | |
| year = {1960}, | |
| doi = {10.1137/0108018} | |
| } | |
| @article{singleton1964, | |
| author = {Singleton, Richard C.}, | |
| title = {Maximum Distance $q$-nary Codes}, | |
| journal = {IEEE Transactions on Information Theory}, | |
| volume = {10}, | |
| number = {2}, | |
| pages = {116--118}, | |
| year = {1964}, | |
| doi = {10.1109/TIT.1964.1053661} | |
| } | |
| % ---- VCG mechanism (CF-20) ---- | |
| @article{vickrey1961, | |
| author = {Vickrey, William}, | |
| title = {Counterspeculation, Auctions, and Competitive Sealed Tenders}, | |
| journal = {The Journal of Finance}, | |
| volume = {16}, | |
| number = {1}, | |
| pages = {8--37}, | |
| year = {1961}, | |
| doi = {10.1111/j.1540-6261.1961.tb02789.x} | |
| } | |
| @article{clarke1971, | |
| author = {Clarke, Edward H.}, | |
| title = {Multipart Pricing of Public Goods}, | |
| journal = {Public Choice}, | |
| volume = {11}, | |
| pages = {17--33}, | |
| year = {1971}, | |
| doi = {10.1007/BF01726210} | |
| } | |
| @article{groves1973, | |
| author = {Groves, Theodore}, | |
| title = {Incentives in Teams}, | |
| journal = {Econometrica}, | |
| volume = {41}, | |
| number = {4}, | |
| pages = {617--631}, | |
| year = {1973}, | |
| doi = {10.2307/1914085} | |
| } | |
| @book{nisan2007, | |
| author = {Nisan, Noam and Roughgarden, Tim and Tardos, {\'E}va and Vazirani, Vijay V.}, | |
| title = {Algorithmic Game Theory}, | |
| publisher = {Cambridge University Press}, | |
| year = {2007}, | |
| note = {Ch.~9, VCG mechanisms; ISBN 978-0-521-87282-9}, | |
| doi = {10.1017/CBO9780511800481} | |
| } | |
| % ---- Information theory: log-sum / Gibbs (CF-21) ---- | |
| @book{coverthomas2006, | |
| author = {Cover, Thomas M. and Thomas, Joy A.}, | |
| title = {Elements of Information Theory}, | |
| edition = {2}, | |
| publisher = {Wiley-Interscience}, | |
| year = {2006}, | |
| note = {\S2.6--2.8, log-sum inequality (Thm~2.7.1), Gibbs' inequality (Thm~2.6.3); ISBN 978-0-471-24195-9}, | |
| doi = {10.1002/047174882X} | |
| } | |
| % ---- Aczel--Maksa functional equations (CUT-1 / separability lineage) ---- | |
| @book{aczel1966, | |
| author = {Acz{\'e}l, J{\'a}nos}, | |
| title = {Lectures on Functional Equations and Their Applications}, | |
| publisher = {Academic Press}, | |
| year = {1966}, | |
| note = {Bisymmetry / associativity characterizations of means} | |
| } | |
| % ---- Lean / Mathlib toolchain ---- | |
| @misc{mathlib2020, | |
| author = {{The Mathlib Community}}, | |
| title = {The {Lean} Mathematical Library}, | |
| year = {2020}, | |
| howpublished = {Proc. CPP 2020; \url{https://github.com/leanprover-community/mathlib4}}, | |
| doi = {10.1145/3372885.3373824} | |
| } | |
| @misc{lean4, | |
| author = {de Moura, Leonardo and Ullrich, Sebastian}, | |
| title = {The {Lean 4} Theorem Prover and Programming Language}, | |
| year = {2021}, | |
| howpublished = {CADE-28; \url{https://leanprover.github.io}}, | |
| doi = {10.1007/978-3-030-79876-5_37} | |
| } | |
| % ---- seL4 (prior art comparison) ---- | |
| @inproceedings{sel4, | |
| author = {Klein, Gerwin and Elphinstone, Kevin and Heiser, Gernot and others}, | |
| title = {{seL4}: Formal Verification of an {OS} Kernel}, | |
| booktitle = {Proc. ACM SOSP}, | |
| year = {2009}, | |
| doi = {10.1145/1629575.1629596} | |
| } | |
| % ---- Artifact / concept DOI ---- | |
| @misc{zenodoconcept, | |
| author = {Lutar, Stephen P.}, | |
| title = {The Ouroboros Thesis / Unified Substrate --- Concept Record (always-latest)}, | |
| year = {2026}, | |
| howpublished = {Zenodo concept DOI}, | |
| doi = {10.5281/zenodo.19944926}, | |
| note = {\url{https://doi.org/10.5281/zenodo.19944926}} | |
| } | |
| @misc{lutarlean, | |
| author = {{SZL Holdings}}, | |
| title = {lutar-lean: Machine-checked governance formulas in Lean~4}, | |
| year = {2026}, | |
| howpublished = {\url{https://github.com/szl-holdings/lutar-lean}} | |
| } | |