Treffer: AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants
Title:
AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants
Authors:
Source:
2025 IEEE/ACM 47th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) ICSE-NIER Software Engineering: New Ideas and Emerging Results (ICSE-NIER), 2025 IEEE/ACM 47th International Conference on. :1-5 Apr, 2025
Relation:
2025 IEEE/ACM 47th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)
Database:
IEEE Xplore Digital Library