Leni Aniva
leni.shLeni Aniva is a Computer Science PhD candidate at Stanford University specializing in machine-assisted theorem proving, SMT solvers, and neurosymbolic systems. Her research focuses on developing formal methods and machine-learning agents to automate mathematical proof generation within proof assistants like Lean 4. She has contributed to industry-adopted tools such as Pantograph and Nazrin for advanced reasoning and data extraction.
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 Leni Aniva mentions POST v3/ai_optimization/llm_mentions/search/live [ { "target": [ { "keyword": "Leni Aniva", "search_scope": ["any"] } ], "platform": "chat_gpt", "order_by" : ["ai_search_volume,desc"] } ]
