·
DataBubble
  • Home
  • Models
  • News
  • Compare
  • Boards
  • Pricing
  • About
  • Newsletter
  • Methodology
  • Contact
Latest
Dave Eggers told OpenAI staff that ChatGPT was ‘silencing an entire generation’12h◆Kimi: Threat or menace?14h◆The apps, gadgets, and tools every reader needs21h◆Neil Rimer thinks the AI money is coming back out1d◆The Steering Budget: Examples beat Knobs1d◆Polestar: Drift-Aware Cache Calibration and Token Commitment for Efficient Inference of Diffusion LLMs1d◆RxBrain: Embodied Cognition Foundation Model with Joint Language-Visual Reasoning and Imagination1d◆HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization1d◆When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models1d◆SAGA: Schema-Aware Grounding for Agentic Text-to-SPARQL Generation1d◆ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent System1d◆LBA: Textual Hard-Label Adversarial Attack under Low Query Budgets1d◆Eta Given Delta: Defining LLM Tool Efficiency With Marginal Tool Utility1d◆Simplicity Paradox: Debunking myths about prompting and datasets for LLM evaluation1d◆LIGO-PINN: Learned Initialization via Gated Optimization to Alleviate Convergence Failures in Physics Informed Neural Networks1d◆OmniaBench: Benchmarking General AI Agents Across Diverse Scenarios1d◆When AI Blurs the Boundaries of Contribution: An Empirical Study of Authorship Calibration1d◆Digital Pantheon: Simulating and Auditing Coalition Formation with LLM Agents1d◆Inoculation Adapters: Improved Selective Generalization of Capabilities with Fewer Surprising Backdoors1d◆Large Audio Language Models for Spoofing-Aware Speaker Verification1d◆Dave Eggers told OpenAI staff that ChatGPT was ‘silencing an entire generation’12h◆Kimi: Threat or menace?14h◆The apps, gadgets, and tools every reader needs21h◆Neil Rimer thinks the AI money is coming back out1d◆The Steering Budget: Examples beat Knobs1d◆Polestar: Drift-Aware Cache Calibration and Token Commitment for Efficient Inference of Diffusion LLMs1d◆RxBrain: Embodied Cognition Foundation Model with Joint Language-Visual Reasoning and Imagination1d◆HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization1d◆When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models1d◆SAGA: Schema-Aware Grounding for Agentic Text-to-SPARQL Generation1d◆ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent System1d◆LBA: Textual Hard-Label Adversarial Attack under Low Query Budgets1d◆Eta Given Delta: Defining LLM Tool Efficiency With Marginal Tool Utility1d◆Simplicity Paradox: Debunking myths about prompting and datasets for LLM evaluation1d◆LIGO-PINN: Learned Initialization via Gated Optimization to Alleviate Convergence Failures in Physics Informed Neural Networks1d◆OmniaBench: Benchmarking General AI Agents Across Diverse Scenarios1d◆When AI Blurs the Boundaries of Contribution: An Empirical Study of Authorship Calibration1d◆Digital Pantheon: Simulating and Auditing Coalition Formation with LLM Agents1d◆Inoculation Adapters: Improved Selective Generalization of Capabilities with Fewer Surprising Backdoors1d◆Large Audio Language Models for Spoofing-Aware Speaker Verification1d◆
News/Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
techcrunch
PublishedJune 17, 2026 at 2:15 PM
—neutral

Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI

Source
techcrunch.comfull article ↗
Read on techcrunch→
Publisher summary· verbatim

Pramaana will focus on highly sensitive verticals like law, drug discovery, and tax preparation — where errors can be costly and reliability is at a premium.

Stay posted· Newsletter

A 5-min weekly brief — top movers, price watch, story of the week.

// no spam · unsubscribe one-click · free forever

Discussion
Source
↗
techcrunch
Read original ↗All from techcrunch →

No replies yet. Be first.

Source
↗
techcrunch
Read original ↗All from techcrunch →

Related coverage

More from TECHCRUNCH
techcrunchKimi: Threat or menace?14htechcrunchNeil Rimer thinks the AI money is coming back out1d
The Bubble Brief
WEEKLY

Read AI insights every Tuesday — top movers, new releases, story of the week.

// no spam · unsubscribe one-click · free forever

Originally published on techcrunch ↗
HomeModelsNews