Skip to main content

Research & Insights

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

MONOCODER: Domain-Specific Code Language Model for HPC Codes and Tasks
December 18, 2024
MONOCODER: Domain-Specific Code Language Model for HPC Codes and Tasks
Verified Code Transpilation with LLMs
October 15, 2025
Verified Code Transpilation with LLMs
Combining AI with formal verification for efficient migration of legacy code
December 18, 2024
Combining AI with formal verification for efficient migration of legacy code
Code migration with formal verification for performance improvement of legacy code
December 20, 2023
Code migration with formal verification for performance improvement of legacy code