Mario DePavia

According to our database, Mario DePavia authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

A Systematic Study of the Role of Data Quality and Alignment for Fine-tuning LLMs for Enhanced Autoformalization.

Krrish Chawla, Mario DePavia, Aryan Sahai, Brando Miranda

Proceedings of the Second Tiny Papers Track at ICLR 2024, 2024