InferenceLang

Today, we present Inference Language and AI Prover at TAITRONICS—the biggest event and trade show showcasing the world's best technologies. Thanks to @ITRI_Taiwan, we are in the space tech pavilion because Inference is the best technology to verify algorithms for aerospace

Finally, the time for kick off the TAcc++ aerospace program organized by @ITRI_Taiwan and the government of Taiwan. Many thanks and look forward having the great and productive time in Taiwan.