December 18, 2024MONOCODER: Domain-Specific Code Language Model for HPC Codes and TasksAICode MetalDecember 18, 2024Verified Code Transpiration with LLMsAICode MetalRoboticsDecember 18, 2024Combining AI with formal verification for efficient migration of legacy codeCode MetalAIDecember 18, 2024Code migration with formal verification for performance improvement of legacy codeNo items found.