Physlib
physlib.ioPhyslib is an open-source community project dedicated to formalizing and digitalizing physics results using the Lean 4 theorem prover. It provides a comprehensive library of verified definitions, theorems, and calculations to ensure mathematical correctness in theoretical physics. The platform serves as an interface for physicists and formal-methods researchers, facilitating the integration of experimental data with rigorous theoretical frameworks.
LLM mention score The LLM mention score is the total number of mentions of this brand in different LLM chatbots, normalized to the scale from 0 to 100. You can get actual, non-normalized numbers via the LLM Mention API from DataForSEO.
Normalized 0–100 · last 8 weeks
DataForSEO API
Get LLM mention data of any company via DataForSEO API
Get access to the structured data on keyword, brand, and website mentions in LLMs, including metrics like AI search volume, impressions, and mentions count.
How to get LLM mention data →// Fetch Physlib mentions POST v3/ai_optimization/llm_mentions/search_mentions/live [ { "target": [ { "domain": "physlib.io", "search_filter": "include", "search_scope": ["sources"] } ], "order_by": ["ai_search_volume,desc"] } ]
