markm39/openproof-tactic-pairs
Viewer • Updated • 365k • 30
Mark Miller
markm39
AI & ML interests
None yet
Recent Activity
updated a model 16 days ago
markm39/openproof-tactic-2b published a model 16 days ago
markm39/openproof-tactic-2b updated a dataset 18 days ago
markm39/openproof-tactic-pairsOrganizations
None yet