AUSTIN, TX – 25. Februar 2025 – Imandra Inc., ein KI -Startup mit neurosymbolischem Argument, kündigte heute IMANDRAX an, die jüngste Veröffentlichung seiner iMandra Automated Requeming Engine.
Das Unternehmen sagte, dass Imandrax einen Fortschritt in der kI-gesteuerten logischen Argumentation markiert und leistungsstarke Argumentationsalgorithmen und architektonische Merkmale für die Integration in KI-Agenten einführt.
Angesichts der zunehmenden Abhängigkeit von KI in Hochstöcken Branchen-einschließlich Finanzen, Gesundheitsversorgung und autonomen Systemen-ist die schärfende, erklärbare und mathematisch strenge Argumentation kritischer als je zuvor. Imandrax legt einen neuen Commonplace in der kI-gesteuerten logischen Analyse mit hochmodernen Innovationen in Bezug auf die Beweisautomatisierung, die Erzeugung des Counterspiels und die Entscheidungsverfahren fest, die sowohl die Leistung als auch die Zuverlässigkeit verbessern.
„Imandrax ist ein transformierender Schritt, um fortgeschrittene symbolische Argumentation zu einem zentralen Bestandteil von AI-Workflows zu machen“, sagte Denis Ignatovich, Mitbegründer von Imandra Inc. „Durch die Ausrüstung von KI -Agenten mit leistungsfähigen automatisierten logischen Argumenten und formalen Überprüfungsfunktionen überschreiten wir die Grenzen dessen, was intelligente Systeme erreichen können.“
Mitbegründer Dr. Grant Passmore fügte hinzu: „Imandrax ist der Höhepunkt jahrelanger Forschung und des realen Einsatzes in einigen der anspruchsvollsten Branchen-einschließlich Finanzen, Verteidigung und KI. Unsere Kunden und Accomplice verlassen sich auf das automatisierte Denken von Imandra, um die Sicherheit und Zuverlässigkeit von missionskritischen Systemen zu gewährleisten, vom Finanzbörsen bis hin zu autonomen Agenten. Mit Imandrax machen wir nicht nur strenge Argumentation zugänglich, sondern dass wir es für die nächste Technology der KI-angetriebenen Entscheidungsfindung unverzichtbar machen. “
Imandrax führt eine Reihe von Fähigkeiten vor, darunter:
- Durchbrüche in der Beweisautomatisierung-führt neue Techniken für gemischte diskrete und kontinuierliche rekursive Funktionen über DataTypes ein, wodurch das erste formale Modell und die Überprüfung des neuen IEEE P3109-Requirements für kleine (<16) Bit-Bit-Bitary-Schwimmpunktformate ermöglicht werden. Diese neuen Formate sind für eine genaue Quantisierung und Destillation neuronaler Netze von wesentlicher Bedeutung und werden von der IEEE P3109 -Arbeitsgruppe entwickelt.
- Fortschritte bei der Sicherheitsüberprüfung des neuronalen Netzwerks-Integriert das Begrenzungsmodellüberprüfungen und -induktion höherer Ordnung, wodurch der erste formell verifizierte Proof Checker für die Überprüfung der Besitzverifizierung neuronaler Netzwerke.
- Grundlegende Fortschritte in der Zersetzung von Staatsraumregionen-liefert> 4x-Beschleunigung für die Zersetzung von Regionen und verbessert die Effizienz für Finanzbenutzer erheblich, die Testsuiten für Hochdecke für die Behebung von Konnektivität und andere missionskritische Anwendungen erzeugen.
- Verbessertes Entwicklererlebnis – Ein neues VS -Code -Plugin ermöglicht eine parallele Beweisentwicklung mit gleichzeitigen Jobs in der Argumentation von Imandra, wodurch der formelle Überprüfungs -Workflow optimiert wird.