TY - RPRT TI - A Decidability-Based Loss Function AU - Pedro Silva AU - Gladston Moreira AU - Vander Freitas AU - Rodrigo Silva AU - David Menotti AU - Eduardo Luz PY - 2022 UR - https://arxiv.org/abs/2109.05524 ID - 2109.05524 ER -