metareflection

AI & ML interests

Formal Verification

Recent Activity

gpoesia  published a model 2 days ago

metareflection/dafny-annotator

cassanof  authored a paper 5 months ago

PhD Knowledge Not Required: A Reasoning Challenge for Large Language Models

cassanof  updated a dataset over 1 year ago

metareflection/dafny-docs-chunked

View all activity

Team members 10