伯克利-教育的忠实自动形式化 Faithful Auto-formalization for Education.pdf

伯克利-教育的忠实自动形式化 Faithful Auto-formalization for Education.pdf

FaithfulAuto-formalizationforEducation

ArnavMehta

ElectricalEngineeringandComputerSciences

UniversityofCalifornia,Berkeley

TechnicalReportNo.UCB/EECS-2026-193

/Pubs/TechRpts/2026/EECS-2026-193.html

May15,2

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档