Published: 2023-12-15

Articles

Advanced Techniques in Autoformalization

Golnaz Kazemi (Author)
PDF

Enhancing Interpretability of Autoformalization Outputs

Maryam Taheri (Author)
PDF

Enhancing Model Confidence through Adaptive Learning Techniques

Fatemeh Norouzi (Author)
PDF

Cross-disciplinary Impacts of Autoformalization

Fatemeh Ghaffari (Author)
PDF

Evaluating Large Language Models for Mathematical Proofs

Sahar Jafari (Author)
PDF

Comparative Analysis of Autoformalization Tools

Taraneh Farhadi (Author)
PDF

Integrating Autoformalization in Automated Theorem Provers

Hamid Safari (Author)
PDF

Future Directions in Autoformalization Research

Leila Ebrahimi (Author)
PDF

Applications of Autoformalization in Scientific Research

Maryam Soleimani (Author)
PDF

Understanding the Limitations of Language Models in Real-World Applications

Sara Abbasi (Author)
PDF

Challenges in Scaling Autoformalization Solutions

Arman Pahlavi (Author)
PDF

Evaluating the Impact of Uncertainty in AI Decision-Making

Navid Nouri (Author)
PDF