yinghy18's repositories
compfiles
Catalog Of Math Problems Formalized In Lean
Language:LeanApache-2.0000
Language:PythonApache-2.0000
DARToriginal
An old version of the differential model prompting we used.
Language:PythonMIT000
Language:Roff000
AutoNER
Learning Named Entity Tagger from Domain-Specific Dictionary
Apache-2.0000