J C PRO
dark-pen
AI & ML interests
None yet
Recent Activity
upvoted
a
collection
about 7 hours ago
Re:Form
liked
a dataset
about 7 hours ago
Veri-Code/ReForm-Python2Dafny-Dataset
liked
a dataset
about 7 hours ago
Veri-Code/ReForm-DafnyComp-Benchmark