Project Lens is an alpha-level demo. The data sets are incomplete and imbalanced and algorithm parameters are being tuned. Results should thus be considered directional. Want to provide feedback, request features, or collaborate?

github.com/leanprover-community/mathlib

GitHub

vs. Baseline Lens Category
15.2x Social Epistemology Culture and Political Economy
8.2x Rationality Culture and Political Economy
7.9x Village Global Venture Capital
4.8x Arnold Kling's Fantasy Intellectual Teams Culture and Political Economy
4.7x Mercatus Center Think Tanks
4.4x Bismark Analysis Culture and Political Economy
4.3x Bloomberg Opinion Journalism
4.1x Works in Progress Culture and Political Economy
3.7x Climate Solutions Culture and Political Economy
2.9x Y Combinator Venture Capital
2.8x Progress Studies Culture and Political Economy
2.7x A16Z Venture Capital
2.6x Effective Altruism Culture and Political Economy
2.6x Khosla Ventures Venture Capital
2.5x Ecomodernists Culture and Political Economy
2.1x Persuasion Community Culture and Political Economy
2.0x Heterodox Academy Culture and Political Economy
1.8x Degrowth Culture and Political Economy
1.7x The Long Now Foundation Culture and Political Economy
1.6x EconTwitter Science
1.6x Hudson Institute Think Tanks
1.5x Foundation Against Intolerance and Racism Culture and Political Economy
1.4x Benchmark Capital Venture Capital
1.4x Zig Software Engineering
1.3x Palladium Magazine Journalism
1.2x Crypto VC Crypto
1.2x New Yorker Journalism
1.2x Biotech Science
1.1x Initialized Capital Venture Capital
1.1x The New York Post Journalism
1.1x Rust Software Engineering
1.0x Baseline system
0.9x Think Tanks system
0.9x Environmental Defense Fund Culture and Political Economy
0.9x Sierra Clib Culture and Political Economy
0.9x Extinction Rebellion Culture and Political Economy
0.9x Schumacher Circle Culture and Political Economy
0.9x Fair Vote Culture and Political Economy
0.9x Philosophy Twitter Science
0.8x Reuters Journalism
0.8x OANN Journalism
0.8x 350.org Culture and Political Economy
0.8x Asia Society Policy Institute Think Tanks
0.8x Heritage Foundation Think Tanks
0.8x Claremont Institute Culture and Political Economy
0.8x Sequioa Venture Capital
0.8x Harper's Open Letter Culture and Political Economy
0.8x Newsmax Journalism
0.8x Ecosocialism Culture and Political Economy
0.7x Cato Institute Think Tanks
0.6x The Daily Beast Journalism
0.5x My Climate Journey Venture Capital
0.5x Niskanen Center Think Tanks
0.5x Foreign Policy Journalism
0.5x American Enterprise Institute Think Tanks
0.5x National Bureau of Economic Research Think Tanks
0.5x VICE Journalism
0.5x Washington Post Journalism
0.4x Peterson Institute for International Economics Think Tanks
0.4x Environmental Journalists Culture and Political Economy
0.4x Populist Libertarians Culture and Political Economy
0.4x CNBC Journalism
0.4x Founders Informal Community
0.4x The Intercept Journalism
0.4x Eurasia Group Think Tanks
0.3x Wall Street Journal Journalism
0.3x Black Lives Matter Culture and Political Economy
0.3x The Atlantic Journalism
0.2x Belfer Center Think Tanks
0.2x Moderate Conservatism Culture and Political Economy
0.2x The Los Angeles Times Journalism
0.2x RAND Corporation Think Tanks
0.2x BuzzFeed Journalism
0.2x The New York Times Journalism
0.2x Anarachists Culture and Political Economy
0.2x Electronic Privacy Information Center (EPIC) Culture and Political Economy
0.2x Adam Smith Institute Think Tanks
0.2x Hoover Institution Think Tanks
0.2x Bessemer Venture Capital
0.2x Intergovernmental Panel on Climate Change (IPCC) Science
0.1x Foundation for Individual Rights in Education (FIRE) Culture and Political Economy
0.1x RadicalxChange Culture and Political Economy
0.1x Founders Fund Venture Capital
0.1x The Dispatch Journalism
0.1x ClimateTwitter Science
0.1x Recode Journalism
0.1x Sutter Hill Ventures Venture Capital
0.1x Columbia SIPA Center for Energy Policy Think Tanks
0.1x Crypto Journalists Crypto
0.1x Earth Institute Think Tanks
0.1x Decentralized Web Crypto
0.1x Berggruen Institute Think Tanks
0.1x Wired Journalism
0.1x IDEO Founder Collective Crypto
0.1x Non-Fungible Tokens (NFTs) Crypto
0.1x Homebrew Venture Capital
0.1x Crypto Infrastructure Crypto
0.1x Existential Risks Culture and Political Economy
0.1x The Information Journalism
0.0x Decentralized Autonomous Organizations (DAOs) Crypto
0.0x The Economist Journalism
0.0x The Verge Journalism
0.0x Techcrunch Journalism
0.0x Index Ventures Venture Capital
0.0x Public Goods Funding Crypto
0.0x Cosmos Crypto
0.0x Crypto Investing Crypto
0.0x Stat News Journalism
0.0x Urban Institute Think Tanks
0.0x Atlantic Council Think Tanks
0.0x Ethereum Crypto
0.0x Epidimiology Twitter Science
0.0x Epidemiology Journalism Science
0.0x Standard Crypto Venture Capital
0.0x EFF Culture and Political Economy
0.0x Financial Times Journalism
0.0x Accel Venture Capital
0.0x Decentralized Finance (DeFi) Crypto
0.0x Polkadot Crypto
0.0x Crypto Angels Crypto
0.0x Crypto Political Economy Crypto