E-ACT, Enforcing Arithmetic Constraints in CTC Trellises for Structured Identifier Recognition
Dohyeop Lim, MinKi Jeong, Jongyoul Park (Under review)
A factorized CTC decoder that enforces identifier length, allowed characters, and checksums. Works with existing recognizers without retraining.
Defined the problem, implemented checksum tracking through the CTC trellis, and evaluated recognition accuracy and error propagation.
GreedyE-ACT admissible path
Standard OCR
Read text, then check the rules.
Validation can reject the reading, but cannot revise it.
E-ACT
Apply the rules during decoding.
Select a reading that satisfies the identifier rules.
