Published: 2023-09-15

Articles

Exploring Autoformalization in Small Language Models

Maryam Mohammadi (Author)
PDF

Scalability Challenges in Autoformalization Systems

Sahar Akbari (Author)
PDF

Evaluating the Accuracy of Autoformalization Techniques

Mahsa Norouzi (Author)
PDF

Applications of Autoformalization in Legal Text Processing

Parisa Danesh (Author)
PDF

Future Directions for Autoformalization in AI Research

Mahsa Farhadi (Author)
PDF

Comparative Study of Autoformalization Across Different Domains

Leila Ghaffari (Author)
PDF

Enhancing Autoformalization with Multi-Modal Inputs

Navid Moradi (Author)
PDF

Autoformalization's Role in Educational Technologies

Taraneh Akbari (Author)
PDF