HannaJMuggie
HannaJMuggie
AI & ML interests
None yet
Recent Activity
upvoted a paper 21 days ago
OProver: A Unified Framework for Agentic Formal Theorem Proving published a dataset 7 months ago
HannaJMuggie/MMEdit updated a dataset 7 months ago
HannaJMuggie/MMEditOrganizations
None yet