What are the challenges of formula recognition?Challenges include achieving high accuracy and efficiency while maintaining a manageable model size.