The Axiomatic Platform

The Axiomatic platform allows scientists and developers alike to solve complex problems with our automated interpretable reasoning services. While we are in development, we are making available specific parts of our application available to users - we call these “tools”.

Toolsets

Photonic Integrated Circuits (PICs)

Axiomatic AI provides tools that enable users to design photonic integrated circuits (PICs) directly with our AI powered assitent. Starting from a design described in text or PDF format, our tools formalize the query and, based on the specified process design kit (PDK), generate the corresponding netlist and GDS file. Users can also optimize their designs using the provided APIs to meet specific constraints. Throughout the design and optimization processes, the tools perform design rule checks (DRC) and validate the outputs against the original query. By automating key steps and ensuring design accuracy, Axiomatic AI’s tools significantly simplify and accelerate PIC development.

Access to these features is currently available through our API and PIC designer tool. We will soon develop integrated code assitants and further interfaces.

Lean

We provide services to use the formalize and verify mathematical statements with Lean and z3.