Research & Insights
Explore our latest research on AI, edge computing, MLOps, and enterprise technology solutions.

December 18, 2024
MONOCODER: Domain-Specific Code Language Model for HPC Codes and Tasks

October 15, 2025
Verified Code Transpilation with LLMs

December 18, 2024
Combining AI with formal verification for efficient migration of legacy code

December 20, 2023
Code migration with formal verification for performance improvement of legacy code