metareflection

AI & ML interests

Formal Verification

Recent Activity

cassanof  updated a dataset 8 months ago

metareflection/dafny-docs-chunked

cassanof  authored a paper 10 months ago

StarCoder 2 and The Stack v2: The Next Generation

cassanof  authored a paper 10 months ago

MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation

View all activity

Team members 10