https://afm.episciences.org/
Annals of Formalized Mathematics - Home
annalsformalizedmathematics
https://dkharlanau.github.io/datasets/view/ai-business-signals/aibs-004/
Supply Chain AI Strategy Remains Under-Formalized
Apr 13, 2026 - Ground AI strategy discussions in supply chain data rather than generic enthusiasm.
supply chain aistrategyremainsformalized
https://archive.org/details/mathematicallogi0000roge?view=theater&ui=embed&wrapper=false
Mathematical logic and formalized theories; a survey of basic concepts and results : Rogers,...
mathematical logic
https://iris.cnr.it/handle/20.500.14243/264289
Probabilistic models for determining the input-output relationship in formalized neurons - I. A...
https://jfr.unibo.it/article/view/1979
An introduction to small scale reflection in Coq | Journal of Formalized Reasoning
an introduction tosmall scale
https://dev.to/felipecarzo/i-formalized-the-human-in-the-ai-energy-equation-293f
I formalized the human in the AI energy equation - DEV Community
Nobody had connected human-in-the-loop, task decomposition, and energy consumption into one model. So I wrote a paper that does. Tagged with ai, llm,...
the humanai energyformalizedequationdev
https://www.em.cs.uni-frankfurt.de/index.php?id=40&L=0
Entwurfsmethodik: ASDeX (Formalized Specification of Analog Circuits)
formalizedspecificationanalogcircuits
https://jfr.unibo.it/announcement
Announcements | Journal of Formalized Reasoning
announcementsjournalformalizedreasoning
https://impactinged.pitt.edu/ojs/ImpactingEd/article/view/476
Generative AI Use in an EdD Program: Informal, Independent Student Use and Formalized,...
generative ai
https://hraf.yale.edu/ehc/variables/5123
Information for Little formalized leadership on Explaining Human Culture
Documents, Hypotheses, and OCMs that have looked at the variable Little formalized leadership
information forlittleformalizedleadershipexplaining
https://jfr.unibo.it/article/view/4593
Hammering towards QED | Journal of Formalized Reasoning
hammeringtowardsqedjournalformalized
https://groups.google.com/g/lojban/c/AVnd42r-0JQ
Baseline Lojban is 1% formalized
baselinelojbanformalized