Abstract: Mathematical reasoning remains an ongoing challenge for AI models, especially for geometry problems, which require both linguistic and visual signals. As the vision encoders of most MLLMs ...
Abstract: Safety requirements play a crucial role in ensuring the reliability of Cyber-Physical Systems. Causal graphs provide structured support for the generation and validation of safety ...