Close Menu
    Trending
    • Implementing IBCS rules in Power BI
    • What comes next for AI copyright lawsuits?
    • Why PDF Extraction Still Feels LikeHack
    • GenAI Will Fuel People’s Jobs, Not Replace Them. Here’s Why
    • Millions of websites to get ‘game-changing’ AI bot blocker
    • I Worked Through Labor, My Wedding and Burnout — For What?
    • Cloudflare will now block AI bots from crawling its clients’ websites by default
    • 🚗 Predicting Car Purchase Amounts with Neural Networks in Keras (with Code & Dataset) | by Smruti Ranjan Nayak | Jul, 2025
    AIBS News
    • Home
    • Artificial Intelligence
    • Machine Learning
    • AI Technology
    • Data Science
    • More
      • Technology
      • Business
    AIBS News
    Home»Data Science»Imandra Inc. Updates Neurosymbolic AI Reasoning Engine
    Data Science

    Imandra Inc. Updates Neurosymbolic AI Reasoning Engine

    Team_AIBS NewsBy Team_AIBS NewsFebruary 25, 2025No Comments2 Mins Read
    Share Facebook Twitter Pinterest LinkedIn Tumblr Reddit Telegram Email
    Share
    Facebook Twitter LinkedIn Pinterest Email


    AUSTIN, TX – February 25, 2025 – Imandra Inc., a neurosymbolic reasoning AI startup, immediately introduced ImandraX, the most recent launch of its Imandra automated reasoning engine.

    The corporate mentioned ImandraX marks an development in AI-driven logical reasoning, introducing highly effective reasoning algorithms and architectural options for integration with AI brokers.

    With the rising reliance on AI in high-stakes industries—together with finance, healthcare, and autonomous methods—reliable, explainable, and mathematically rigorous reasoning is extra important than ever. ImandraX units a brand new commonplace in AI-driven logical evaluation with cutting-edge improvements in proof automation, counterexample era, and resolution procedures that enhance each efficiency and reliability.

    “ImandraX is a transformational step in making superior symbolic reasoning a core a part of AI workflows,” mentioned Denis Ignatovich, Co-founder of Imandra Inc. “By equipping AI brokers with highly effective automated logical reasoning and formal verification capabilities, we’re pushing the boundaries of what clever methods can obtain.”

    Co-founder Dr Grant Passmore added: “ImandraX is the end result of years of analysis and real-world deployment throughout a number of the most demanding industries—together with finance, protection, and AI. Our clients and companions depend on Imandra’s automated reasoning to make sure the security and reliability of mission-critical methods, from monetary exchanges to autonomous brokers. With ImandraX, we’re not simply making rigorous reasoning accessible—we’re making it indispensable for the following era of AI-powered decision-making.”

    ImandraX introduces a spread of capabilities, together with:

    • Breakthroughs in Proof Automation – Introduces new strategies for combined discrete and steady recursive features over datatypes, enabling the primary formal mannequin and verification of the brand new IEEE P3109 commonplace for small (<16) bit binary floating-point codecs. These new codecs are important for correct quantization and distillation of neural networks and are being developed by the IEEE P3109 working group.
    • Progress in Neural Community Security Verification –Integrates higher-order bounded mannequin checking and induction, powering the primary formally verified proof checker for neural community security property verification.
    • Foundational Developments in State-House Area Decomposition – Delivers >4x speedups for area decomposition jobs, considerably enhancing effectivity for finance customers producing high-coverage take a look at suites for FIX connectivity and different mission-critical purposes.
    • Enhanced Developer Expertise – A brand new VS Code plugin permits parallel proof improvement with concurrent jobs operating in Imandra’s reasoning cloud, streamlining the formal verification workflow.





    Source link

    Share. Facebook Twitter Pinterest LinkedIn Tumblr Email
    Previous ArticleIEEE Manga Contest Winners Create EE-Inspired Storylines
    Next Article What is Machine Learning? Real- World Examples | by Prarthana Singh | Feb, 2025
    Team_AIBS News
    • Website

    Related Posts

    Data Science

    GenAI Will Fuel People’s Jobs, Not Replace Them. Here’s Why

    July 1, 2025
    Data Science

    Futurwise: Unlock 25% Off Futurwise Today

    July 1, 2025
    Data Science

    National Lab’s Machine Learning Project to Advance Seismic Monitoring Across Energy Industries

    July 1, 2025
    Add A Comment
    Leave A Reply Cancel Reply

    Top Posts

    Implementing IBCS rules in Power BI

    July 1, 2025

    I Tried Buying a Car Through Amazon: Here Are the Pros, Cons

    December 10, 2024

    Amazon and eBay to pay ‘fair share’ for e-waste recycling

    December 10, 2024

    Artificial Intelligence Concerns & Predictions For 2025

    December 10, 2024

    Barbara Corcoran: Entrepreneurs Must ‘Embrace Change’

    December 10, 2024
    Categories
    • AI Technology
    • Artificial Intelligence
    • Business
    • Data Science
    • Machine Learning
    • Technology
    Most Popular

    Top Colleges Now Value What Founders Have Always Hired For

    May 30, 2025

    A Comprehensive Analysis of Claude 3.7 Sonnet: Unifying Rapid Intuition with Deep Reasoning | by Dinmay kumar Brahma | Feb, 2025

    February 25, 2025

    Kelly Criterion vs. Mean-Variance Optimization: A Practical Portfolio Allocation Study | by Farid Soroush, Ph.D. | May, 2025

    May 8, 2025
    Our Picks

    Implementing IBCS rules in Power BI

    July 1, 2025

    What comes next for AI copyright lawsuits?

    July 1, 2025

    Why PDF Extraction Still Feels LikeHack

    July 1, 2025
    Categories
    • AI Technology
    • Artificial Intelligence
    • Business
    • Data Science
    • Machine Learning
    • Technology
    • Privacy Policy
    • Disclaimer
    • Terms and Conditions
    • About us
    • Contact us
    Copyright © 2024 Aibsnews.comAll Rights Reserved.

    Type above and press Enter to search. Press Esc to cancel.