113°Near Reinvention
Before
The web scraper for AI
After
Neurosymbolic AI
Full description — before
Engineers use Saldor's API to provide high quality web data to their AI agents.
Full description — after
Using formal verification to guide LLMs to correctness.
Category shift
AI Data & Analytics ToolsAI Design & Prototyping
Summary
Saldor shifted from offering an API for web data extraction (web scraper for AI agents) to building formal verification and correctness frameworks for LLMs, which is a completely different product for a totally different problem and likely customer.
Detected 1 year ago · 2024-10-24