Viewing profile — sandeepsr

Enterprises and consumers are experiencing "model anxiety": an unprecedented uncertainty about which AI model and cloud provider to choose in today's rapidly evolving landscape. Th…

Please checkout multiple models debating papers from Arxiv on X, using multillm.ai. Models debating technical papers, gives deep insights into the main points and potential reasoni…

We @VerifAI hypothesize that using the collective intelligence of multiple models is the way forward, and no single model will be the winner. Each model will leapfrog one another, …

Formal verification does not scale, and has not scaled for 2 decades. Although, LLMs can help write properties, that required a skilled person (Phd) to write. In pre-silicon verifi…