The line between human and artificial intelligence is growing ever more blurry. Since 2021, AI has deciphered ancient texts ...

Abstract: Breast cancer is a significant contributor to female mortality across the world, displaying one of the highest occurrence rates among the various cancer types. In response to the need for ...

Abstract: Fault detection in power systems is critical for ensuring system reliability and stability. This study presents a rule-based classification approach for identifying fault types, including ...

This repo contains the resources for the paper "From Accuracy to Robustness: A Study of Rule- and Model-based Verifiers in Mathematical Reasoning." In this work, we take mathematical reasoning as a ...